Faculty Publications

Jonathan  Cook

J. Cook.   " Software Engineering Concerns for Mobile Agent Systems ".   Proc. Workshop on Software Engineering and Mobility at ICSE 2001, Toronto, Canada, May  2001

J. Cook.   " Open Source Development: an Arthurian Legend ".   Proc. Workshop on Open Source Software Development at ICSE 2001, Toronto, Canada, May  2001

J. Cook.   " Supporting Rapid Prototyping through Frequent and Reliable Deployment of Evolving Components ".   Proc. 12th IEEE Workshop on Rapid Prototyping, Monterey Bay, CA. June  2001

J. Cook, C. He, C. Ma.   " Measuring Behavioral Correspondence to a Timed Concurrent Model ".   Proc. IEEE International Conference on Software Maintenance, Florence, Italy, November  2001

J. Cook, A. Al-Gahmi, S. Devi, N. Vedagiri.   " Scripting Runtime Dynamic Analyses ".   Proc. 2003 Workshop on Dynamic Analysis, Portland, Oregon, USA, pp. 49-52, May  2003

A. Al-Gahmi, C. John, J.E. Cook, B. Du.   " Supporting Quick and Dirty CORBA Introspection and Manipulation ".   Proc. 2003 Working Conference on Reverse Engineering, Victoria, British Columbia, pp. 228-227, November  2003

J. Cook, M. Palankar.   " Ideas for Efficient Hardware-Assisted Data Breakpoints ".   Proc. 2nd International Workshop on Dynamic Analysis (WODA 2004), Edinburgh, Scotland, pp. 36-39, May  2004

N. Abbas, S. Tambe, J. Cook.   " Using DDL to understand and modify SimpleScalar ".   Proc. 2004 Working Conference on Reverse Engineering, Delft, Netherlands, November  2004

J.E. Cook, Z. Du, C. Liu, A.L. Wolf.   " Discovering Models of Behavior for Concurrent Workflows ".   Computers in Industry, pp. 297--319, vol. 53, no. 3, April  2004

J.E. Cook, Z. Du.   " Discovering Thread Interactions in a Concurrent System ".   Journal of Systems and Software, accepted to appear in a special issue on the best papers from WCRE  2002

Roger  Hartley

R.T. Hartley, H.D. Pfeiffer.   " Visual conceptual programming ".   International Conference on Visual Languages, Seattle, Washington, September  2000

R. T. Hartley, H. D. Pfeiffer.   " Representing procedural knowledge: a visual language approach ".   International Conference on Conceptual Structures, University of Darmstadt, Germany, August  2000

R. T. Hartley, K. W. Widmer, K. Oshima, S. Pillai.   " An approach to identify cryptosporidium parvum oocysts using artificial neural networks ".   General meeting of the Americal Society for Microbiology, Los Angeles, May  2000

R. T. Hartley, K. Crumpton.   " Quality of OCR for degraded text images ".   Proceedings of the 4th Digital Libraries conference DL99  1999

R. T. Hartley, J. A. Barnden.   " Semantic networks: visualization of knowledge ".   Trends in Cognitive Science. August  1997

R. T. Hartley.   " Knowledge management of large-scale archives ".   AAAI Spring Symposium on Knowledge management in artificial intelliegence, Stanford University, March  1997

Hing  Leung

J. Goldstine, M. Kappes, C.M.R. Kintala, H. Leung,.   " Descriptional Complexity of Machines with Limited Resources ".   Journal of Universal Computer Science 8, pp. 193--234  2002

H. Leung.   " Tight lower bounds on the size of sweeping automata ".   Journal of Computer and System Sciences 63, 384--393.  2001

H. Leung and D. Wotschke.   " On the size of parsers and LR(k)-grammars ".   Theoretical Computer Science 242, pp. 59--69.  2000

H. Leung, T. H. Tse, F. T. Chan, T. Y. Chen.   " Test case selection with and without replacement ".   Information Sciences 129, pp. 81--103.  2000

H. Leung and T.Y. Chen.   " A new perspective of the proportional sampling strategy ".   The Computer Journal 42, pp. 693--698.  1999

Joseph J.  Pfeiffer

Pfeiffer, J. J. Jr..   " Using brightness and saturation to visualize belief and uncertainty ".   Diagrammatic Reasoning and Inference (Proceedings of the Second International Conference, Diagrams), ed. Hagarty, Meyer, and Narayanan, pp. 279-289.  2002

Vinyard, R. L. Jr. and J. J. Pfeiffer, Jr..   " Semantic zooming in the specification of communication protocols ".   Proceedings of the 2002 International Workshop on Visual Computing, pp. 599-605  2002

Pfieffer, J. J., Jr., R. Vinyard, and B. Margolis.   " A Common Framework for Input, Processing, and Output in a Rule-Based Visual Language ".   Proceedings of the 2000 IEEE Symposium on Visual Languages, September  2000

Vinyard, R. L., J. J. Pfeiffer, Jr. and B. Margoli.   " Hardware Abstraction in a Visual Programming Environmnet ".   Proceedings of the International Multiconference on Systemics, Cybernetics, and Informatics, July  2000

Pfeiffer, J. J. Jr..   " A Language for Geometric Reasoning in Mobile Robots ".   Proceedings of the 1999 IEEE Symposium on Visual Languages, September  1999

Pfeiffer, J. J. Jr..   " Altaira: A Rule-based Visual Language for Small Mobile Robots ".   Journal of Visual Languages and Computing 9(2)  1998

Pfeiffer, J. J. Jr.   " Case Study: Developing a Visual Language for Small Mobile Robots ".   Proceedings of the 1998 IEEE Symposium on Visual Languages, September  1998

Pfeiffer, J. J. Jr..   " A Rule-Based Visual Language for Small Mobile Robots ".   Proceedings of the 1997 IEEE Symposium on Visual Languages, September  1997

Enrico  Pontelli

E. Pontelli.   " Experiments in Parallel Execution of Answer Set Programming ".   IEEE Int. Parallel Processing Symposium  2001

G. Gupta, E. Pontelli, M. Carlsson, M. Hermenegild.   " Parallel Execution of Prolog ".   ACM TOPLAS  2001

J. Iglesias, E. Pontelli, D. Ranjan, G. Gupta, B..   " Logic Programming Technology for Interoperability between Bioinformatics Software Tools ".   Symp. on Practical Aspects of Declarative Languages, Springer Verlag  2001

A. Dovier, C. Piazza, E. Pontelli, G. Rossi.   " Sets and Constraint Logic Programming ".   ACM TOPLAS  2000

A. Dovier, E. Pontelli, G. Rossi.   " Undecidability of Constructive Negation in Constraint Logic Programming ".   Information Processing Letters  2000

E. Pontelli, D. Ranjan, G. Gupta.   " On the Complexity of Or-Parallelism ".   New Generation Computing  1999

E. Pontelli and G. Gupta.   " A Constraint Programming Approach to Automatic Model Verification ".   IEEE Real-time Systems Symposium  1997

E. Pontelli, G. Gupta.   " Implementation Mechanisms for Dependent And-Parallelism ".   International Conference on Logic Programming  1997

E. Pontelli, F. Pulvirenti, G. Gupta, A. Ferro.   " Automatic Compile-time Annotation for Dependent And-Parallelism ".   International Conference on Logic Programming  1997

E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro.   " Improving the Efficiency of Independent And-Parallel Systems ".   Computer Languages  1996

A. Dovier, E. Pontelli, G. Rossi, E. Omodeo.   " {log}: Logic Programming with Finite Sets ".   Journal of Logic Programming  1996

E. Pontelli, G. Gupta.   " On the duality between And-Parallelism and Or-Parallelism ".   EuroPar  1995

Desh  Ranjan

A. Panconesi and D. Ranjan.   " Quantifiers and Approximation ".   Theoretical Computer Science, 107(1):145-163  Jan 1993

Dubhashi and Desh Ranjan, Some Correlation Inequal.   " Technical Report #MPI- I-94-143, Max Planck Institut fur Informatik, Saarbrucken, Germany ".   Submitted to Symposium on Discrete Algorithms  1994

D. Ranjan, S. Chari and P. Rohatgi.   " Improving Known Solutions is Hard ".   Computational Complexity 3:168-185  1993

D.Dubhashi, K.Mehlhorn, D. Ranjan and C.Thiel.   " Searching, Sorting and Randomised Algorithms for Central Elements and Ideal Counting in Posets ".   In Foundations of Software Technology and Theoretical Computer Science 13th Conference, Springer-Verlag Lecture Notes in Computer Science #761, 436- 443  1993

S. Chari, D. Ranjan and P. Rohatgi.   " On the Complexity of Incremental Computation ".   In Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, Springer-Verlag Lecture Notes in Computer Science #629, 172-180  1992

Son Cao  Tran

T.C. Son and J. Lobo.   " Reasoning about policies using logic programs ".   AAAI Spring Symposium: "Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning", AAAI Press  2001

S. McIlraith, T.C. Son, and H. Zeng.   " Mobilizing the Web with DAML-Enabled Web Services ".   In Proceedings of The Second International Workshop on the Semantic Web - SemWeb 2001 Hong Kong, China, May 1, April 1  2001

P.M. Dung and T.C. Son.   " An Argument-Based Approach to Reasoning with Specificity ".   Artificial Intelligence. Vol 103, 1-2, pp. 35-85  2001

S. McIlraith and T.C.Son.   " Adapting ConGolog for Programming the Semantics Web ".   In Working Notes of Common Sense - The Fifth International Symposium on Logical Formalization of Commonsense Reasoning  2001

T.C. Son, C. Baral, and S. McIlraith.   " Planning with different forms of domain-dependent control knowledge - an answer set programming approach ".   Proceedings of the 6th Internation Conference on Logic Programming and NonMonotonic Reasoning (LPRNM'01). Springer Verlag. Accepted  2001

T.C. Son and C. Baral.   " Formalizing sensing actions - a transition function based approach ".   Artificial Intelligence. Vol. 125, 1-2  2001

S. McIlraith, T.C. Son, and H. Zeng.   " Semantic Web services ".   In IEEE Intelligent Systems (Special Issue on the Semantic Web), March/April  2001

T.C. Son, C. Baral, and S. McIlraith.   " Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs ".   In AAAI Spring Symposium: "Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning", AAAI Press  2001

C. Baral, S. McIlraith, and T.C. Son.   " Formulating diagnostic problem solving using an action language with narratives and sensing ".   In Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000),  2000

P.M. Dung and T.C. Son.   " Default reasoning with specificity ".   In Proceedings of the First International Conference on Computational Logic (CL'00). Springer Verlag, NLCS 1861,  2000

P.H. Hanh and T.C. Son.   " Round-Table Architecture for Communication in Multi-Agent Softbot Systems ".   In Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning (IDEAL'00),  2000

Karen  Villaverde

V. Kreinovich, O. Kosheleva, S. Starks, K. Tupelly.   " From Intervals to Domains: Towards a General Description of Validated Uncertainty with Potential Applications to Geospatial and Meteorological Data ".   Journal of Computational and Applied Mathematics 199, pp 411–417,  2007

E. Pontelli, K. Villaverde, H. Guo, G. Gupta.   " Stack Splitting: A Technique for Efficient Exploitation of Search Parallelism on Share-Nothing Platforms ".   Journal of Parallel and Distributed Computing, vol 66, issue 10, pp 1267-1293,  2006

E. Pontelli, K. Villaverde, H. Guo, G. Gupta.   " PALS: Efficient Or-Parallel Execution of Prolog on Beowulf Clusters ".   Theory and Practice of Logic Programming, vol 7, issue 3, pp 1-63,  2006

D. Pengelley, I. Pivkina, D. Ranjan, K. Villaverde.   " Introducing a Primary Historical Source Project in a Discrete Mathematics and Computer Science Course: Counting Triangulations of a Polygon ".   37th Technical Symposium in Computer Science Education, pp 318-322,  2006

Tupelly, K., Kreinovich, V., Villaverde K.   " Checking if there exists a Monotonic Function that Is Consistent with the Measurement Results: An Efficient Algorithm ".   Reliable Computing, vol 11, pp 291-312,  2005

K. Villaverde and E. Pontelli.   " An Investigation of Scheduling in Distributed Constraint Logic Programming ".   17th International Conference on Parallel and Distributed Computing Systems, pp 98-123,  2004

K. Villaverde, E. Pontelli, H-F. Guo, and G. Gupta.   " A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms ".   9th International Euro-Par Conference on Parallel and Distributed Processing, pp 694-703,  2003

K. Villaverde, H. Guo, E. Pontelli, G. Gupta.   " High Performance (Constraint) Logic Programming on the Beowulf Architecture ".   17th International Conference on Logic Programming, Springer Verlag LNCS 2237, pp 27-42,  2002

K. Villaverde, E. Pontelli, H. Guo, G. Gupta.   " Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-based AI Systems ".   30th International Conference on Parallel Processing, pp 287-294,  2001