Michael W. Mislove
Orcid: 0000-0002-6650-1399Affiliations:
- Tulane University, New Orleans, Department of Mathematics
According to our database1,
Michael W. Mislove
authored at least 81 papers
between 1980 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
2
2
1
1
2
1
1
1
2
1
2
2
1
3
3
1
2
4
1
1
2
1
1
1
1
3
2
2
3
1
1
2
2
1
3
1
2
4
1
3
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on entcs.org
-
on tulane.edu
-
on andrej.com
On csauthors.net:
Bibliography
2024
2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021
2020
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020
2019
2018
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
2015
2014
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
2013
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Dagstuhl Reports, 2012
2011
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010
Proceedings of the Semantics of Information, 06.06. - 11.06.2010, 2010
2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
2006
Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
2004
Theor. Comput. Sci., 2004
Math. Struct. Comput. Sci., 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2003
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003
Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Theor. Comput. Sci., 2002
2001
25 Years.
Theor. Comput. Sci., 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
2000
Proceedings of the Parallel and Distributed Processing, 2000
Proceedings of the CONCUR 2000, 2000
1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Trace Theory and State Explosion.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
1998
Proceedings of the Foundations of Software Science and Computation Structure, 1998
1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
1992
Proceedings of the Sematics: Foundations and Applications, 1992
1991
Proceedings of the Mathematical Foundations of Programming Semantics, 1991
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
1987
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987
1985
Proceedings of the Mathematical Foundations of Programming Semantics, 1985
1980
A compendium of continous lattices.
Springer, ISBN: 978-3-540-10111-6, 1980