G. Michele Pinna
Orcid: 0000-0001-8911-1580
According to our database1,
G. Michele Pinna
authored at least 62 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Log., 2024
Proceedings of the Reversible Computation - 16th International Conference, 2024
2023
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
2022
2021
Log. Methods Comput. Sci., 2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the Coordination Models and Languages, 2020
2019
2018
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018
2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Membrane Computing, 2017
Proceedings of the Language and Automata Theory and Applications, 2017
2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
2015
Proceedings of the Distributed Computing and Internet Technology, 2015
2014
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010
2009
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009
2008
Fuzzy Sets Syst., 2008
2006
Fundam. Informaticae, 2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
2004
Theor. Comput. Sci., 2004
2003
2002
Math. Log. Q., 2002
2001
Int. J. Softw. Eng. Knowl. Eng., 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
2000
Math. Log. Q., 2000
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae, 2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
1999
Fundam. Informaticae, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1998
Proceedings of the Computer Safety, 1998
1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1995
Theor. Comput. Sci., 1995
Proceedings of the KORSO, 1995
1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992
1991
A compositional semantics for unmarked predicate/transition nets.
Fundam. Informaticae, 1991