Paola Giannini
Orcid: 0000-0003-2239-9529Affiliations:
- Università del Piemonte Orientale, Alessandria, Italy
According to our database1,
Paola Giannini
authored at least 93 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
4
1
1
3
2
2
2
1
2
1
3
1
1
1
2
1
1
1
1
1
1
3
1
3
1
1
3
3
6
3
1
3
3
3
1
6
1
1
2
2
1
3
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Fundam. Informaticae, 2024
Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024
Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
2023
Proc. ACM Program. Lang., October, 2023
Theor. Comput. Sci., September, 2023
J. Log. Algebraic Methods Program., February, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022
Proceedings of the 17th International Conference on Software Technologies, 2022
2020
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
2018
Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Models, Mindsets, 2018
2017
Sci. Ann. Comput. Sci., 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016
2015
Nano Commun. Networks, 2015
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015
2014
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014
2013
Int. J. Softw. Informatics, 2013
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013
Proceedings of the Software Technologies - 8th International Joint Conference, 2013
Proceedings of the ICSOFT 2013, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012
2011
RAIRO Theor. Informatics Appl., 2011
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011
Proceedings of the Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 2011
2010
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010
2009
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009
The essence of static and dynamic bindings.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the Software and Data Technologies - 4th International Conference, 2009
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
Proceedings of the ICSOFT 2009, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2008
Fundam. Informaticae, 2008
Acta Informatica, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
2006
Sci. Comput. Program., 2006
Proceedings of the Software and Data Technologies - First International Conference, 2006
2005
2004
Proceedings of the Second Workshop on Object Oriented Developments, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2003
Proceedings of the Workshop on Object Oriented Developments, 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
2002
ACM Trans. Program. Lang. Syst., 2002
Proceedings of the Foundations of Wide Area Network Computing, 2002
2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001
2000
J. Funct. Program., 2000
Proceedings of the Semantics, 2000
1999
1997
Proceedings of the Typed Lambda Calculi and Applications, 1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1996
Proceedings of the Static Analysis, Third International Symposium, 1996
1995
Inf. Comput., October, 1995
1994
Inf. Comput., 1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
Type Inference: Some Results, Some Problems.
Fundam. Informaticae, 1993
1992
Proceedings of the CAAP '92, 1992
1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
1984