Publications
-
1.
2006Hosung Song; Kevin J. Compton; William C. Rounds
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Electronic Notes in Theoretical Computer Science. 2006;145:167-183. -
2.
2005Olgica Milenkovic; Kevin J. Compton
Average case analysis of Gosper's algorithm for a class of urn model inputs
Algorithmica (New York). 2005;43(3):211-244. -
3.
2004O. Milenkovic; K.J. Compton
Probabilistic transforms for combinatorial urn models
Combinatorics Probability and Computing. 2004;13(4-5):645-675.
Similar Experts
- Publications
- 130
- 191
- 157
- 28
Journals
-
Publications
-
ASEE Annual Conference Proceedings
2 -
Information and Computation
2
-
Journal of Combinatorial Theory, Series A
2
-
Annals of Pure and Applied Logic
2
-
Archiv für Mathematische Logik und Grundlagenforschung
1
Grants
-
1.
-
2.
Institutional Network
-
External OrganizationsShared Pub.
-
University Michigan Ann Arbor
8
-
University of Colorado at Boulder
3
-
University of Illinois
2
-
University of Wisconsin Green Bay
1
-
INRIA Institut National de Rechereche en Informatique et en Automatique
1
-
University of Waterloo
1
Coauthor Network
-
External CoauthorsShared Pub.
-
Olgica Milenkovic
4
-
C Ward Henson
2
-
Erich Graedel
2
-
Claude Laflamme
2
-
Yale N Patt
2
-
Chinya V Ravishankar
1
