Publications
]
2001. Conditions enabling the emergence of inter-agent signalling in an artificial world. Artificial Life. 7(1):3-32.
2007. Concurrently-secure blind signatures without random oracles or setup assumptions. Theory of Cryptography. :323-341.
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
2015. Concordance and discordance of sequence survey methods for molecular epidemiology. PeerJ. (8105394):e761.
2009. Conceptual modeling: past, present and the continuum of the future. Conceptual Modeling: Foundations and Applications. :139-152.
1994. Concept-based lexical selection. Proceedings of the AAAI-94 Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems.
2007. Concept disambiguation for improved subject access using multiple knowledge sources. Proceedings of the Workshop on Language Technology for Cultural Heritage Data (LaTeCH 2007). :25-25.
2010. Concentration of measure for the analysis of randomized algorithms by Devdatt P. Dubhashi and Alessandro Panconesi Cambridge University Press, 2009. SIGACT News. 41(1):28-30.
1990. Computing the eigenvalues and eigenvectors of symmetric arrowhead matrices. Journal of Computational Physics. 90(2):497-505.
1995. Computing stable and partial stable models of extended disjunctive logic programs. Non-Monotonic Extensions of Logic Programming. :205-229.
2007. COMPUTING PERFECT AND STABLE MODELS USING ORDERED MODEL TREES. Computational Intelligence. 11(1):89-112.
2007. Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^30,000 worlds. Annals of Mathematics and Artificial Intelligence. 51(2):295-331.
2011. Computing morse decompositions for triangulated terrains: an analysis and an experimental evaluation. Image Analysis and Processing–ICIAP 2011. :565-574.
2010. Computing marginal distributions over continuous markov networks for statistical relational learning. Advances in Neural Information Processing Systems (NIPS).
2009. Computing and visualizing a graph-based decomposition for non-manifold shapes. Graph-Based Representations in Pattern Recognition. :62-71.
2006. Computing and displaying intermolecular negative volume for docking. Scientific visualization: the visual extraction of knowledge from data. I:49-64.
1981. Computer-assisted medical decision making: a critical review. Annals of biomedical engineering. 9(5):605-619.
1984. Computer-aided assessment of transient ischemic attacks. A clinical evaluation.. Archives of neurology. 41(12):1248-1248.