Michael G. Main

34 papers A* 1B 10Journal 22Unranked 1

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Stability and Chaos in reaction Systems. Int. J. Found. Comput. Sci. Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg, Allison Thompson Brown
2011	J	`jnl`	A Tour of reaction Systems. Int. J. Found. Comput. Sci. Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
2011	J	`jnl`	Functions Defined by Reaction Systems. Int. J. Found. Comput. Sci. Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
2010	J	`jnl`	Combinatorics of Life and Death for Reaction Systems. Int. J. Found. Comput. Sci. Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
1997	B	`conf`	Foreword. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	B	`ed.`	Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995 MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	B	`conf`	Foreword and Dedication. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1994	B	`ed.`	Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1993	J	`jnl`	Complete Proof Rules for Strong Fairness and Strong Extreme Fairness. Theor. Comput. Sci. Michael G. Main
1993	J	`jnl`	Semantic Models for Total Correctness and Fairness. Theor. Comput. Sci. Michael G. Main, David L. Black
1992	J	`jnl`	A New Parsing Method for Non-LR(1) Grammars. Softw. Pract. Exp. Agnes Gayler Harford, Vincent P. Heuring, Michael G. Main
1992	B	`ed.`	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1990	J	`jnl`	Edge-Label Controlled Graph Grammars. J. Comput. Syst. Sci. Michael G. Main, Grzegorz Rozenberg
1990	B	`ed.`	Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1990	J	`jnl`	Results on NLC Grammars with One-Letter Terminal Alphabets. Theor. Comput. Sci. Jochen Hoffmann, Michael G. Main
1989	J	`jnl`	Detecting leftmost maximal periodicities. Discret. Appl. Math. Michael G. Main
1989	B	`conf`	Semantic Models for Total Correctness and Fairness. Mathematical Foundations of Programming Semantics Michael G. Main, David L. Black
1988	B	`ed.`	Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1987	J	`jnl`	Applications of an Infinite Square-Free CO-CFL. Theor. Comput. Sci. Michael G. Main, Walter Bucher, David Haussler
1987	J	`jnl`	Handle NLC Grammars and R.E. Languages. J. Comput. Syst. Sci. Michael G. Main, Grzegorz Rozenberg
1987	J	`jnl`	Trace, failure and testing equivalences for communicating processes. Int. J. Parallel Program. Michael G. Main
1987	J	`jnl`	Workshop Report: Third Workshop on the Mathematical Foundations of Programming Language Semantics, 1987, New Orleans. ACM SIGPLAN Notices David B. Benson, Michael G. Main
1986	—	`conf`	Fundamentals of edge-label controlled graph grammars. Graph-Grammars and Their Application to Computer Science Michael G. Main, Grzegorz Rozenberg
1985	J	`jnl`	An Infinite Square-Free co-CFL. Inf. Process. Lett. Michael G. Main
1985	A*	`conf`	Applications of an Infinite Squarefree CO-CFL. ICALP Michael G. Main, Walter Bucher, David Haussler
1985	B	`conf`	Free Constructions of Powerdomains. Mathematical Foundations of Programming Semantics Michael G. Main
1985	J	`jnl`	Free Semiring-Representations and Nondeterminism. J. Comput. Syst. Sci. Michael G. Main, David B. Benson
1984	J	`jnl`	An O(n log n) Algorithm for Finding All Repetitions in a String. J. Algorithms Michael G. Main, Richard J. Lorentz
1984	J	`jnl`	Functional Behvior of Nondeterministic and Concurrent Programs Inf. Control. Michael G. Main, David B. Benson
1984	J	`jnl`	Restrictions on NLC Graph Grammars. Theor. Comput. Sci. Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
1983	J	`jnl`	Denotational Semantics for "Natural" Language Question-Answering Programs. Am. J. Comput. Linguistics Michael G. Main, David B. Benson
1983	B	`conf`	Functional Behaviour of Nondeterministic Programs. FCT Michael G. Main, David B. Benson
1982	J	`jnl`	Permutations Are Not Context-Free: An Application of the Interchange Lemma. Inf. Process. Lett. Michael G. Main
1981	J	`jnl`	Free Upper Regular Bands. Theor. Comput. Sci. Michael G. Main, David B. Benson