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
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) doi:10.1007/978-3-642-15205-4_12
The compositional structure of multipartite quantum entanglement
 Coecke, B Kissinger, A Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 6199 LNCS issue PART 2 297-308 (01 Jan 2010) doi:10.1007/978-3-642-14162-1_25
Positive higher-order queries
 Benedikt, M Puppis, G Vu, H Proceedings of the ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems 27-38 (06 Jun 2010) doi:10.1145/1807085.1807091
Erratum: The basic leucine zipper transcription factor E4BP4 is essential for natural killer cell development (Nature Immunology (2009) 10 (1118-1124))
 Gascoyne, D Long, E Veiga-Fernandes, H De Boer, J Williams, O Seddon, B Coles, M Kioussis, D Brady, H Nature Immunology volume 11 issue 6 543 (01 Jun 2010) doi:10.1038/ni0610-543a
Subscribe to