Lars Birkedal Coauthor index pubzone.org

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

DBLP keys2012
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Springer 2012
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Braband Jensen, Lars Birkedal: Fictional Separation Logic. ESOP 2012: 377-396
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft: Formalized Verification of Snapshotable Trees: Separation and Sharing. VSTTE 2012: 179-195
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Kristian Støvring, Jacob Thamsborg: A relational realizability model for higher-order stateful ADTs. J. Log. Algebr. Program. 81(4): 491-521 (2012)
2011
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal: Step-Indexed Relational Reasoning for Countable Nondeterminism. CSL 2011: 512-524
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal, Kristian Støvring: A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. FOSSACS 2011: 305-319
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Thamsborg, Lars Birkedal: A kripke logical relation for effect-based program transformations. ICFP 2011: 445-456
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal: Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. ITP 2011: 22-38
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring: First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. LICS 2011: 55-64
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasper Svendsen, Lars Birkedal, Aleksandar Nanevski: Partiality, State and Dependent Types. TLCA 2011: 198-212
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Buisse, Lars Birkedal, Kristian Støvring: Step-Indexed Kripke Model of Separation Logic for Storable Locks. Electr. Notes Theor. Comput. Sci. 276: 121-143 (2011)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Braband Jensen, Lars Birkedal, Peter Sestoft: Modular Verification of Linked Lists with Views via Separation Logic. Journal of Object Technology 10: 2: 1-20 (2011)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations Logical Methods in Computer Science 7(2): (2011)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-order Store Logical Methods in Computer Science 7(3): (2011)
2010
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKasper Svendsen, Lars Birkedal, Matthew J. Parkinson: Verifying Generics and Delegates. ECOOP 2010: 175-199
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus: A Semantic Foundation for Hidden State. FOSSACS 2010: 2-17
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Georg Neis, Lars Birkedal: The impact of higher-order state and control effects on local relational reasoning. ICFP 2010: 143-156
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal: A relational modal logic for higher-order stateful ADTs. POPL 2010: 185-198
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeel Krishnaswami, Lars Birkedal, Jonathan Aldrich: Verifying event-driven programs using ramified frame properties. TLDI 2010: 63-76
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Kristian Støvring, Jacob Thamsborg: Realisability semantics of parametric polymorphism, general references and recursive types. Mathematical Structures in Computer Science 20(4): 655-703 (2010)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Kristian Støvring, Jacob Thamsborg: The category-theoretic solution of recursive metric-space equations. Theor. Comput. Sci. 411(47): 4102-4122 (2010)
2009
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL 2009: 440-454
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Kristian Støvring, Jacob Thamsborg: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FOSSACS 2009: 456-470
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Kristian Støvring, Jacob Thamsborg: Relational parametricity for references and recursive types. TLDI 2009: 91-104
2008
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoah Torp-Smith, Lars Birkedal, John C. Reynolds: Local reasoning about a copying garbage collector. ACM Trans. Program. Lang. Syst. 30(4): (2008)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Logic 155(2): 115-133 (2008)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic CoRR abs/0805.0783: (2008)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Varming, Lars Birkedal: Higher-Order Separation Logic in Isabelle/HOLCF. Electr. Notes Theor. Comput. Sci. 218: 371-389 (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. Logical Methods in Computer Science 4(2): (2008)
2007
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. FoSSaCS 2007: 93-107
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBodil Biering, Lars Birkedal, Noah Torp-Smith: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5): (2007)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: Book Reviews. Studia Logica 86(1): 133-135 (2007)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388(1-3): 152-172 (2007)
2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Bohr, Lars Birkedal: Relational Reasoning for Recursive Types and References. APLAS 2006: 79-96
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages CoRR abs/cs/0610081: (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic CoRR abs/cs/0611004: (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. Electr. Notes Theor. Comput. Sci. 155: 191-217 (2006)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Electr. Notes Theor. Comput. Sci. 155: 219-245 (2006)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. Logical Methods in Computer Science 2(5): (2006)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Logical Methods in Computer Science 2(5): (2006)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTroels Christoffer Damgaard, Lars Birkedal: Axiomatizing Binding Bigraphs. Nord. J. Comput. 13(1-2): 58-77 (2006)
2005
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. ESOP 2005: 233-247
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS 2005: 260-269
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: Preface. Electr. Notes Theor. Comput. Sci. 122: 1- (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Rasmus Ejlers Møgelberg: Categorical models for Abadi and Plotkin's logic for parametricity. Mathematical Structures in Computer Science 15(4): 709-772 (2005)
2004
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Noah Torp-Smith, John C. Reynolds: Local reasoning about a copying garbage collector. POPL 2004: 220-231
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg: A Retrospective on Region-Based Memory Management. Higher-Order and Symbolic Computation 17(3): 245-265 (2004)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Lars Birkedal, Dana S. Scott: Equilogical spaces. Theor. Comput. Sci. 315(1): 35-59 (2004)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini: Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. 316(1): 1-2 (2004)
2002
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Jaap van Oosten: Relative and modified relative realizability. Ann. Pure Appl. Logic 118(1-2): 115-132 (2002)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: A general notion of realizability. Bulletin of Symbolic Logic 8(2): 266-282 (2002)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Mathematical Structures in Computer Science 12(3): 319-334 (2002)
2001
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Mads Tofte: A constraint-based region inference algorithm. Theor. Comput. Sci. 258(1-2): 299-392 (2001)
2000
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Lars Birkedal: Continuous Functionals of Dependent Types and Equilogical Spaces. CSL 2000: 202-216
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: A General Notion of Realizability. LICS 2000: 7-17
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMads Tofte, Lars Birkedal: Unification and polymorphism in region inference. Proof, Language, and Interaction 2000: 389-424
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: Developing Theories of Types and Computability via Realizability. Electr. Notes Theor. Comput. Sci. 34: 2 (2000)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: On propositions-as-types in realizability models. Electr. Notes Theor. Comput. Sci. 35: 52 (2000)
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Electr. Notes Theor. Comput. Sci. 23(1): 13-26 (1999)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott: Preface. Electr. Notes Theor. Comput. Sci. 23(1): 189-190 (1999)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal: Bibliography on Realizability. Electr. Notes Theor. Comput. Sci. 23(1): 40-57 (1999)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an Operational Setting. Inf. Comput. 155(1-2): 3-63 (1999)
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott: Type Theory via Exact Categories. LICS 1998: 188-198
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMads Tofte, Lars Birkedal: A Region Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 724-767 (1998)
1997
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an operational Setting (Summary). TACS 1997: 458-490
1996
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Mads Tofte, Magnus Vejlstrup: From Region Inference to von Neumann Machines via Region Representation Inference. POPL 1996: 171-183
1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. Lisp and Symbolic Computation 8(3): 191-208 (1995)
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. PEPM 1994: 61-71
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Morten Welinder: Hand-Writing Program Generator Generators. PLILP 1994: 198-214

Coauthor Index

1Amal Ahmed (Amal J. Ahmed) [45] [58] [69]
2Jonathan Aldrich [57] [63]
3Steven Awodey [11] [18]
4Andrej Bauer [16] [22]
5Jesper Bengtson [75]
6Bodil Biering [28] [43]
7Nina Bohr [39]
8Alexandre Buisse [57] [71]
9Aurelio Carboni [7]
10Troels Christoffer Damgaard [29] [42]
11Søren Debois [37] [38] [55]
12Derek Dreyer [58] [64] [65] [69]
13Ebbe Elsborg [37]
14Martin Elsman [23]
15Martín Hötzel Escardó [21]
16Arne J. Glenstrup [42]
17Paul Govereau [52]
18Niels Hallenberg [23]
19Robert Harper [5] [8]
20Thomas T. Hildebrandt [37] [38] [55]
21Jonas Braband Jensen [70] [75] [81]
22Achim Jung [21]
23Neelakantan R. Krishnaswami (Neel Krishnaswami) [57] [63]
24Hannes Mehnert [80]
25Robin Milner [42]
26Rasmus Ejlers Møgelberg [25] [31] [32] [33] [34] [40] [50] [74]
27J. Gregory Morrisett (Greg Morrisett) [36] [45] [47] [52] [54]
28Aleksandar Nanevski [36] [45] [47] [52] [54] [72]
29Georg Neis [64] [65]
30Henning Niss [37]
31Jaap van Oosten [10] [20]
32Matthew J. Parkinson [67]
33Rasmus Lerchedahl Petersen [31] [33] [34] [40] [54]
34François Pottier [66]
35Bernhard Reus [53] [60] [66] [68] [73]
36John C. Reynolds [24] [51]
37Giuseppe Rosolini [7] [10] [21] [32] [50]
38Andreas Rossberg [64]
39Jan Schwinghammer [53] [60] [66] [68] [73] [74] [77] [78]
40Dana S. Scott [7] [10] [11] [18] [22]
41Peter Sestoft [70] [80]
42Avraham Shinnar [52]
43Filip Sieczkowski [75] [80]
44Kristian Støvring [56] [59] [61] [62] [71] [73] [74] [77] [79]
45Kasper Svendsen [57] [67] [72]
46Jacob Thamsborg [56] [59] [61] [62] [73] [76] [79]
47Mads Tofte [4] [6] [14] [17] [23]
48Noah Torp-Smith [24] [27] [28] [30] [35] [43] [51]
49Carsten Varming [48]
50Magnus Vejlstrup [4]
51Morten Welinder [1] [2] [3]
52Hongseok Yang [27] [30] [35] [44] [46] [49] [53] [60] [66] [68] [73]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page