Two variable vs. linear temporal logic in model checking and games
 Benedikt, M Lenhardt, R Worrell, J Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 6901 LNCS 497-511 (22 Sep 2011) doi:10.1007/978-3-642-23217-6_33
Regular repair of specifications
 Benedikt, M Puppis, G Riveros, C Proceedings - Symposium on Logic in Computer Science 335-344 (02 Sep 2011) doi:10.1109/LICS.2011.43
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) doi:10.1145/1989284.1989309
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) doi:10.1007/978-3-642-22012-8_18
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) doi:10.1007/978-3-642-21341-0_1
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) doi:10.1145/1967701.1967715
Introduction to categories and categorical logic
 Abramsky, S Tzevelekos, N Lecture Notes in Physics volume 813 3-94 (31 Jan 2011) doi:10.1007/978-3-642-12821-9_1
Coalgebras, Chu spaces, and representations of physical systems
 Abramsky, S Proceedings - Symposium on Logic in Computer Science 411-420 (01 Jan 2010) doi:10.1109/LICS.2010.35
Robin Milner's work on concurrency
 Abramsky, S Electronic Notes in Theoretical Computer Science volume 265 issue C 5-10 (06 Sep 2010) doi:10.1016/j.entcs.2010.08.002
Subscribe to