Regular repair of specifications
Benedikt, M
Puppis, G
Riveros, C
Proceedings - Symposium on Logic in Computer Science
335-344
(02 Sep 2011)
Determining relevance of accesses at runtime
Benedikt, M
Gottlob, G
Senellart, P
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
211-222
(15 Jul 2011)
The cost of traveling between languages
Benedikt, M
Puppis, G
Riveros, C
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 6756 LNCS
issue PART 2
234-245
(11 Jul 2011)
The logic and topology of non-locality and contextuality
Abramsky, S
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 6714 LNCS
1
(23 Jun 2011)
Quantitative automata model checking of autonomous stochastic hybrid systems
Abate, A
Katoen, J
Mereacre, A
HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control
83-92
(20 May 2011)
Big toy models - Representing physical systems as Chu spaces
Abramsky, S
Synthese
1-22
(20 Apr 2011)
Introduction to categories and categorical logic
Abramsky, S
Tzevelekos, N
Lecture Notes in Physics
volume 813
3-94
(31 Jan 2011)
Coalgebras, Chu spaces, and representations of physical systems
Abramsky, S
Proceedings - Symposium on Logic in Computer Science
411-420
(01 Jan 2010)
Robin Milner's work on concurrency
Abramsky, S
Electronic Notes in Theoretical Computer Science
volume 265
issue C
5-10
(06 Sep 2010)
Automata vs. logics on data words
Benedikt, M
Ley, C
Puppis, G
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 6247 LNCS
110-124
(20 Sep 2010)