Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Michael G. Main
Observed names:
MICHAEL MAIN,
Main, Michael G.,
Michael G Main,
Michael Main
Institution:
University of Colorado Boulder
Observed institutions:
Harvey Mudd College,
University of Colorado Boulder,
University of Colorado System,
The University of Texas at San Antonio,
Washington State University
OpenAlex ID:
A5108362000
An O(n log n) algorithm for finding all repetitions in a string
1984
·
Michael G Main
, Richard J Lorentz
·
Journal of Algorithms
·
271
A Tour of Reaction Systems
2011
·
ROBERT BRIJDER
, ANDRZEJ EHRENFEUCHT
, et al.
·
International Journal of Foundations of Computer Science
·
124
Detecting leftmost maximal periodicities
1989
·
Michael G. Main
·
Discrete Applied Mathematics
·
115
PDF
Functions Defined by Reaction Systems
2011
·
ANDRZEJ EHRENFEUCHT
, MICHAEL MAIN
, et al.
·
International Journal of Foundations of Computer Science
·
80
Linear Time Recognition of Squarefree Strings
1985
·
Michael G. Main
, Richard J. Lorentz
·
Springer eBooks
·
60
Combinatorics of Life and Death for Reaction Systems
2010
·
ANDRZEJ EHRENFEUCHT
, MICHAEL MAIN
, et al.
·
International Journal of Foundations of Computer Science
·
56
Data Structures and Other Objects Using C
1995
·
Michael G. Main
·
43
Restrictions on NLC graph grammars
1984
·
Andrzej Ehrenfeucht
, Michael G. Main
, et al.
·
Theoretical Computer Science
·
27
Trace, failure and testing equivalences for communicating processes
1987
·
Michael G. Main
·
International Journal of Parallel Programming
·
22
An infinite square-free co-CFL
1985
·
Michael G. Main
·
Information Processing Letters
·
16
Functional behavior of nondeterministic and concurrent programs
1984
·
Michael G. Main
, David B. Benson
·
Information and Control
·
13
Free constructions of powerdomains
1986
·
Michael G. Main
·
Lecture notes in computer science
·
12
Applications of an infinite squarefree CO-CFL
2005
·
Michael G. Main
, Walter Bucher
, et al.
·
Springer eBooks
·
10
Handle NLC grammars and R. E. languages
1987
·
Michael G. Main
, Grzegorz Rozenberg
·
Journal of Computer and System Sciences
·
10
Edge-label controlled graph grammars
1990
·
Michael G. Main
, Grzegorz Rozenberg
·
Journal of Computer and System Sciences
·
9
Functional behavior of nondeterministic programs
1983
·
Michael G. Main
, David B. Benson
·
Lecture notes in computer science
·
8
Stability and Chaos in Reaction Systems
2012
·
ANDRZEJ EHRENFEUCHT
, MICHAEL MAIN
, et al.
·
International Journal of Foundations of Computer Science
·
7
Building malware infection trees
2011
·
Jose Andre Morales
, Michael Main
, et al.
·
International Conference on Malicious and Unwanted Software
·
7
Fundamentals of edge-label controlled graph grammars
1987
·
Michael G. Main
, Grzegorz Rozenberg
·
Lecture notes in computer science
·
7
Applications of an infinite square-free co-CFL
1987
·
Michael G. Main
, Walter Bucher
, et al.
·
Theoretical Computer Science
·
7
Data Structures & Other Objects Using C++
2004
·
Michael G. Main
, Walter J. Savitch
·
6
Permutations are not context-free: An application of the interchange lemma
1982
·
Michael G. Main
·
Information Processing Letters
·
6
Semantic models for total correctness and fairness
2006
·
Michael G. Main
, David L. Black
·
Springer eBooks
·
5
Complete proof rules for strong fairness and strong extreme fairness
1993
·
Michael G Main
·
Theoretical Computer Science
·
5
PDF
A Powerdomain Primer: A Tutorial for The Bulletin of the EATCS
1987
·
Michael G. Main
·
Defense Technical Information Center (DTIC)
·
5
Show more works
View as search
Works count:
67
Citation count:
966
H-index:
12
I10-index:
14
Year
Topic
Type
