Samson Abramsky Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Logic and Geometry of Agents in Agent-Based Modeling. Encyclopedia of Complexity and Systems Science 2009: 5286-5299
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Big Toy Models: Representing Physical Systems As Chu Spaces CoRR abs/0910.2393: (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories CoRR abs/0910.2931: (2009)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: Abstract Physical Traces CoRR abs/0910.3144: (2009)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Coalgebras, Chu Spaces, and Representations of Physical Systems CoRR abs/0910.3959: (2009)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Michael W. Mislove, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 249: 1-2 (2009)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Game Semantics for Access Control. Electr. Notes Theor. Comput. Sci. 249: 135-156 (2009)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Jouko A. Väänänen: From IF to BI. Synthese 167(2): 207-230 (2009)
2008
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErol Gelenbe, Samson Abramsky, Vladimiro Sassone: Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008 British Computer Society 2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis: Grand Challenge 7: Journeys in Non-Classical Computation. BCS Int. Acad. Conf. 2008: 407-421
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures. CPA 2008: 1-13
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Petri Nets, Discrete Physics, and Distributed Quantum Computation. Concurrency, Graphs and Models 2008: 527-543
2007
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract). CSL 2007: 1-2
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Petri Nets, Discrete Physics, and Distributed Quantum Computation. ICATPN 2007: 1-2
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Event Domains, Stable Functions and Proof-Nets. Electr. Notes Theor. Comput. Sci. 172: 33-67 (2007)
2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Erich Grädel, Johann A. Makowsky: The Ackermann Award 2006. CSL 2006: 622-626
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: What are the Fundamental Structures of Concurrency?: We still don't know! Electr. Notes Theor. Comput. Sci. 162: 37-41 (2006)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Ross Duncan: A categorical quantum logic. Mathematical Structures in Computer Science 16(3): 469-489 (2006)
2005
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. CALCO 2005: 1-29
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Algorithmic Game Semantics and Static Analysis. SAS 2005: 1
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: Discrete classical vs. continuous quantum data in abstract quantum mechanics. Spatial Representation 2005
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: A Cook's Tour of the Finitary Non-Well-Founded Sets. We Will Show Them! (1) 2005: 1-18
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: A game semantics for generic polymorphism. Ann. Pure Appl. Logic 133(1-3): 3-37 (2005)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Marina Lenisa: Linear realizability and full completeness for typed lambda-calculi. Ann. Pure Appl. Logic 134(2-3): 122-168 (2005)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Ross Duncan: A Categorical Quantum Logic CoRR abs/quant-ph/0512114: (2005)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Marios Mavronicolas: Game Theory Meets Theoretical Computer Science. Theor. Comput. Sci. 343(1-2): 1-3 (2005)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: A structural approach to reversible computation. Theor. Comput. Sci. 347(3): 441-464 (2005)
2004
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian D. B. Stark: Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: High-Level Methods for Quantum Computation and Information. LICS 2004: 410-414
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: A Categorical Semantics of Quantum Protocols. LICS 2004: 415-425
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong: Applying Game Semantics to Compositional Software Modeling and Verification. TACAS 2004: 421-435
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: A categorical semantics of quantum protocols CoRR quant-ph/0402130: (2004)
2003
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: A Game Semantics for Generic Polymorphism. FoSSaCS 2003: 1-22
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Sequentiality vs. Concurrency In Games And Logic. Mathematical Structures in Computer Science 13(4): 531-565 (2003)
2002
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing CoRR cs.CG/0207057: (2002)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing. Electr. Notes Theor. Comput. Sci. 69: (2002)
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Esfandiar Haghverdi, Philip J. Scott: Geometry of Interaction and Linear Combinatory Algebras. Mathematical Structures in Computer Science 12(5): 625-665 (2002)
2001
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Springer 2001
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Marina Lenisa: Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. CSL 2001: 443-457
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Luca Aceto, Anna Ingólfsdóttir: Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. Inf. Comput. 165(2): 119-122 (2001)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Thomsen, Samson Abramsky: A fully abstract denotational semantics for the calculus of higher-order communicating systems. Theor. Comput. Sci. 254(1-2): 557-589 (2001)
2000
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Marina Lenisa: A Fully Complete PER Model for ML Polymorphic Types. CSL 2000: 140-155
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Game Semantics: Achievements and Prospects. ICALP 2000: 1
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Marina Lenisa: Axiomatizing Fully Complete Models for ML Polymorphic Types. MFCS 2000: 141-151
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Axioms for definability and full completeness. Proof, Language, and Interaction 2000: 55-76
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan, Pasquale Malacaria: Full Abstraction for PCF. Inf. Comput. 163(2): 409-470 (2000)
1999
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Paul-André Melliès: Concurrent Games and Full Completeness. LICS 1999: 431-442
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Process Realizability. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Specification Structure for Deadlock-Freedom of Synchronous Processes. Theor. Comput. Sci. 222(1-2): 1-53 (1999)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Guy McCusker: Full Abstraction for Idealized Algol with Passive Expressions. Theor. Comput. Sci. 227(1-2): 3-42 (1999)
1998
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Kohei Honda, Guy McCusker: A Fully Abstract Game Semantics for General References. LICS 1998: 334-344
1997
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Guy McCusker: Call-by-Value Games. CSL 1997: 1-17
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDusko Pavlovic, Samson Abramsky: Specifying Interaction Categories. Category Theory and Computer Science 1997: 147-158
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Game Semantics for Programming Languages (Abstract). MFCS 1997: 3-4
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS 1997: 295-320
1996
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Semantics of Interaction (Abstract). CAAP 1996: 1
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Retracing Some Paths in Process Algebra. CONCUR 1996: 1-17
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Guy McCusker: Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. Electr. Notes Theor. Comput. Sci. 3: (1996)
1995
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop 1995: 5-40
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Guy McCusker: Games and Full Abstraction for the Lazy lambda-Calculus LICS 1995: 234-243
1994
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Pasquale Malacaria, Radha Jagadeesan: Full Abstraction for PCF. TACS 1994: 1-15
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Guy McCusker: Games for Recursive Types. Theory and Formal Methods 1994: 1-20
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction Inf. Comput. 111(1): 53-119 (1994)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Log. 59(2): 543-574 (1994)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Proofs as Processes. Theor. Comput. Sci. 135(1): 5-9 (1994)
1993
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Mackie, Leopoldo Román, Samson Abramsky: An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Interaction Categories. Theory and Formal Methods 1993: 57-69
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Mackie, Leopoldo Román, Samson Abramsky: An internal language for autonomous categories. Applied Categorical Structures 1(3): 311-343 (1993)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach: An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, C.-H. Luke Ong: Full Abstraction in the Lazy Lambda Calculus Inf. Comput. 105(2): 159-267 (1993)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Steven Vickers: Quantales, Observational Logic and Process Semantics. Mathematical Structures in Computer Science 3(2): 161-227 (1993)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Computational Interpretations of Linear Logic. Theor. Comput. Sci. 111(1&2): 3-57 (1993)
1992
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract). FSTTCS 1992: 291-301
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction LICS 1992: 211-222
1991
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) Springer 1991
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) Springer 1991
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings Springer 1991
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Thomas P. Jensen: A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. POPL 1991: 49-54
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Domain Theory in Logical Form. Ann. Pure Appl. Logic 51(1-2): 1-77 (1991)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: A Domain Equation for Bisimulation Inf. Comput. 92(2): 161-218 (1991)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky: OOPSLA panel on object-based concurrent programming. OOPS Messenger 2(2): 3-15 (1991)
1990
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa: Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Abstract Interpretation, Logical Relations and Kan Extensions. J. Log. Comput. 1(1): 5-40 (1990)
1989
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Observational Logic and Process Semantics (Abstract). Logic at Botik 1989: 1
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: A Generalized Kahn Principle for Abstract Asynchronous Networks. Mathematical Foundations of Programming Semantics 1989: 1-21
1988
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Fuller, Samson Abramsky: Mixed Computation of Prolog Programs. New Generation Comput. 6(2&3): 119-141 (1988)
1987
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Chris Hankin: Abstract Interpretation of Declarative Languages Ellis Horwood 1987
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Domain Theory in Logical Form LICS 1987: 47-53
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Observation Equivalence as a Testing Equivalence. Theor. Comput. Sci. 53: 225-241 (1987)
1986
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings Springer 1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey L. Burn, Chris Hankin, Samson Abramsky: Strictness Analysis for Higher-Order Functions. Sci. Comput. Program. 7(3): 249-278 (1986)
1985
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Introduction. CTCS 1985: 3-6
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, R. Sykes: Secd-m: a Virtual Machine for Applicative Programming. FPCA 1985: 81-98
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Strictness analysis and polymorphic invariance. Programs as Data Objects 1985: 1-23
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey L. Burn, Chris Hankin, Samson Abramsky: The theory of strictness analysis for higher order functions. Programs as Data Objects 1985: 42-62
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming. FCT 1983: 1-13
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky: On Semantic Foundations for Applicative Multiprogramming. ICALP 1983: 1-14

Coauthor Index

1Luca Aceto [59]
2Andrew Adamatzky (Andy Adamatzky) [89]
3Gul A. Agha (Gul Agha) [16] [17]
4Krysia Broda [29]
5Geoffrey L. Burn [3] [7]
6Bob Coecke [63] [64] [67] [69] [78] [95]
7Pierre-Louis Curien [21]
8Sophia Drossopoulou [29]
9Ross Duncan [74] [81]
10Susan Eisenbach [29]
11Anthony Finkelstein [29]
12David A. Fuller [12]
13Simon J. Gay [39] [41] [44] [50]
14Erol Gelenbe [90]
15Dan R. Ghica [68] [71]
16Erich Grädel [83]
17Esfandiar Haghverdi [62]
18Chris Hankin [3] [7] [11]
19Carl Hewitt [16]
20Kohei Honda [48]
21Anna Ingólfsdóttir [59]
22Radha Jagadeesan [24] [25] [34] [35] [37] [53] [66] [76] [92]
23Thomas P. Jensen [20]
24Colin G. Johnson [89]
25Jeff Kramer [29]
26Marina Lenisa [55] [57] [60] [75]
27Ian Mackie [30] [32]
28T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [22] [23]
29Johann A. Makowsky (Janos Makowsky) [83]
30Pasquale Malacaria [37] [53]
31Marios Mavronicolas [73]
32Guy McCusker [36] [38] [40] [47] [48] [49]
33Paul-André Melliès [52]
34Robin Milner [16]
35Michael W. Mislove [93]
36Andrzej S. Murawski [68] [71]
37Rajagopal Nagarajan [39] [41] [44] [50]
38C.-H. Luke Ong [28] [68] [71]
39Catuscia Palamidessi [93]
40Dusko Pavlovic [46]
41David H. Pitt [8] [21]
42Andrew M. Pitts [21]
43Axel Poigné [8] [21]
44Leopoldo Román [30] [32]
45David E. Rydeheard [8] [21]
46Vladimiro Sassone [90]
47Philip J. Scott [62]
48Ian D. B. Stark [71]
49Susan Stepney [89]
50R. Sykes [5]
51B. Thomsen [58]
52Jonathan Timmis (Jon Timmis) [89]
53Jouko A. Väänänen [91]
54Steven J. Vickers (Steven Vickers) [27]
55Peter Wegner [16] [17]
56Akinori Yonezawa [16] [17]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)