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
Sexual competitiveness of a transgenic sexing strain of the Mediterranean fruit fly, Ceratitis capitata
Morrison, N
Segura, D
Stainton, K
Fu, G
Donnelly, C
Alphey, L
Entomologia Experimentalis Et Applicata
volume 133
issue 2
146-153
(01 Oct 2009)
doi:10.1111/j.1570-7458.2009.00909.x
Preface
Abramsky, S
Mislove, M
Palamidessi, C
Electronic Notes in Theoretical Computer Science
volume 249
1-2
(08 Aug 2009)
doi:10.1016/j.entcs.2009.07.080
Game Semantics for Access Control
Abramsky, S
Jagadeesan, R
Electronic Notes in Theoretical Computer Science
volume 249
135-156
(08 Aug 2009)
doi:10.1016/j.entcs.2009.07.088
From IF to BI : A tale of dependence and separation
Abramsky, S
Väänänen, J
Synthese
volume 167
issue 2
207-230
(01 Mar 2009)
doi:10.1007/s11229-008-9415-6
Types, orthogonality and genericity: Some tools for communicating process architectures
Abramsky, S
Concurrent Systems Engineering Series
volume 66
1-13
(28 Oct 2008)
doi:10.3233/978-1-58603-907-3-1
Petri nets, discrete physics, and distributed quantum computation
Abramsky, S
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
volume 5065 LNCS
527-543
(01 Jul 2008)
doi:10.1007/978-3-540-68679-8_33