PUBLICATIONS
- An Asymptotic Formula for the Number of Classes of Sets
of n Indistinguishable Elements, J. Comb. Theory, (A) 19
(1975), 109-112. pdf
- The Equivalence of Theorem Proving and the
Interconnection Problem, ACM SIGDA Newsletter 5 (1975),
31-36. pdf
addendum pdf
- (with J. Mycielski),
Advanced Problem 6233, American Math. Monthly 85 (1978),
686.
- Almost Sure Theories, Ann. Math. Logic 18
(1980), 91-135. pdf
- The Visually Distinct Configurations of k Sets, Discrete
Math. 33 (1981), 281-287. pdf
- On Sets of Relations Definable by Addition, J.
Symbolic Logic 47 (1982), 659-668. pdf
- Complexity Classes and Theories of Finite Models, Math.
Systems Theory 15 (1982), 127-144.
- Probabilities of First-Order Sentences about Unary
Functions, Transactions of the AMS 287 (1985), 543-568. pdf
- Enumeration of Taxonomic Classes of Sets, Congressus Numerantium
47 (1985), 315-316.
- (with M. Goldberg) Lower and Upper Bounds for the
Bisection Width of a Random Graph, Congressus
Numerantium 49 (1985), 19-25.
- A Depth-Size Tradeoff for Boolean Circuits with
Unbounded Fan-In, Structure in Complexity Theory, Lecture Notes in
Computer Science 223, Springer-Verlag,
Berlin, Heidelberg, New York (1986), 234-248.
- (with V. Bedian, M. Roberts,
and F. Zhang) A Neural Network Model with Applications to Pleurobranchaea, Soc. Neurosci.
Abstr. 14 (1988), 259.
- (with V. Bedian and F. Zhang)
A Neural Net Editor with Biological Applications, Proc. International
Joint Conference on Neural Networks, Vol. I, Lawrence Erlbaum
Associates, Hillsdale, N.J. (1990), 35-38.
- Taxonomic Classes of Sets, J. Comb. Theory, (A) 55
(1990), 143-152. pdf
- (with V. Bedian, M. Roberts,
and F. Zhang) A Biologically Realistic and Efficient Neural Network
Simulator, in Neural and Intelligent Systems Integration, Branko Souček, ed.,
Wiley-Interscience, New York (1991), 37-69.
- Probabilities of Sentences about Very Sparse Random
Graphs, Random Struct. Alg. 3
(1992), 33-53.
- The Quantifier Structure of Sentences that Characterize
Nondeterministic Time Complexity, Comput.
Complexity 2 (1992), 40-66.
- Convergence Laws for Random Words, Australasian J.
of Combinatorics 7 (1993), 145-156. pdf
- (with P. Dolan) The Logic of Ordered Random Structures,
Random Struct. Alg. 4 (1993),
429-445.
- Antichaos in a Class of Random
Boolean Cellular Automata, Physica D
69 (1993), 201-208. pdf
- A Criterion for Stability in Random Boolean Cellular
Automata, Ulam Quarterly 2
(1993), 32-44. pdf ps
- Threshold Functions for Markov Chains: a Graph
Theoretic Approach, Combinatorics,
Probability and Computing 2 (1993), 351-362.
- An Extension of 0-1 Laws, Random Struct.
Alg. 5 (1994), 155-172.
- Random Resource Allocation Graphs and the Probability
of Deadlock, SIAM J. Discrete Math. 7 (1994), 458-473.
- A Phase Transition in Random Boolean Networks, in Artificial
Life IV, Rodney A. Brooks and Pattie Maes,
eds., The MIT Press, Cambridge, MA (1994), 236-245.
- On the Threshold of Chaos in Random Boolean Cellular
Automata, Random Struct. Alg. 6
(1995), 239-260.
- (with J. Tyszkiewicz) The Infinitary Logic of Sparse Random Graphs, Proc.
Tenth Ann. IEEE Symp. on
Logic in Computer Science (1995), 46-53.
- A Relation between Complexity and Entropy, Ulam Quarterly 3 (1995), 7-14. pdf ps
- Pebble Games in Model Theory, Structures in Logic
and Computer Science, Lecture Notes in Computer Science 1261,
J. Mycielski, G. Rozenberg,
and A. Salomaa, eds., Springer-Verlag, Berlin, Heidelberg, New York (1997), 66-83.
- Editor (with R. Boppana), Logic
and Random Structures, DIMACS Series in Discrete Mathematics and
Theoretical Computer Science 33, American Mathematical Society
(1997).
- Infinitary Logics and Very Sparse
Random Graphs, J. Symbolic Logic 62 (1997), 609-623. pdf
- Special Year on Logic and Algorithms tutorial notes:
Random finite models, DIMACS Tech. Report 97-56 (1997). pdf ps
- Convergence Laws for Random Graphs, Logic Colloquium
'95, Lecture Notes in Logic 11, J. Makowsky
and E. Ravve, eds., Springer-Verlag,
Berlin, Heidelberg, New York (1998), 115-133.
- Critical Points for Random Boolean Networks, Physica D 172 (2002), 49-64. pdf
- Analysis and Application of Adaptive Sampling, J.
Comp. Sys. Sci. 66 (2003), 2-19. pdf
- Convergence Law for Random Graphs with Specified Degree
Sequence, ACM Trans. Computational Logic 6 (2005), 727-748. pdf
- Dynamics of Random Boolean Networks, Current
Developments in Mathematical Biology, Proceedings of the Conference on
Mathematical Biology and Dynamical Systems, K. Mahdavi,
R. Culshaw, and J. Boucher, eds., World
Scientific Publishing Co. (2007), 15-38. pdf
- A Logical Characterization of Individual-Based Models, Proc.
23rd Ann. IEEE Symp. on
Logic in Computer Science (2008), 379-390. (pdf)
- (with O. Kahramanoğulları
and F. Jordán) CoSBiLab
LIME: A Language Interface for Stochastic Dynamical Modelling
in Ecology, Environmental Modelling &
Software 26 (2011), 685-687.
- (with O. Kahramanoğulları
and C. Priami) Algorithmic Systems Ecology:
Experiments on Multiple Interaction Types and Patches, InSuEdu
2012, Lecture Notes in Computer Science 7991, A. Cerone et al., eds., Springer (to appear 2014). (pdf)
- (with O. Kahramanoğulları)
Stochastic flux analysis of chemical reaction networks, BMC Systems Biology
7 (2013), 133.
- (with O. Kahramanoğulları)
A Theory of Model Equivalence, Essays
for the Luca Cardelli Fest, M. Abadi, P. Gardner, A. D. Gordon, and R. Mardare, eds,
Tech Report MSR-TR-2014-104, Microsoft Research (2014), 141-154. pdf