Andrea Schalk
Affiliations:- The University of Manchester, UK
According to our database1,
Andrea Schalk
authored at least 15 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on d-nb.info
-
on cs.man.ac.uk
-
on andrej.com
On csauthors.net:
Bibliography
2024
2018
Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 2018
2015
Log. Methods Comput. Sci., 2015
2010
Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010
Proceedings of the Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010
2005
Concrete data structures as games.
Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004
2003
2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
Theor. Comput. Sci., 2001
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1993