dblp.uni-trier.dewww.uni-trier.de

David A. Basin Vis

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

*2009
125 David A. Basin, Srdjan Capkun, Wenke Lee: Proceedings of the Second ACM Conference on Wireless Network Security, WISEC 2009, Zurich, Switzerland, March 16-19, 2009 ACM 2009
124EEDavid A. Basin, Samuel J. Burri, Günter Karjoth: Dynamic Enforcement of Abstract Separation of Duty Constraints. ESORICS 2009: 250-267
123EEAndreas P. Streich, Mario Frank, David A. Basin, Joachim M. Buhmann: Multi-assignment clustering for Boolean data. ICML 2009: 122
122EEThai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
121EEDavid A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs 2009: 1-22
2008
120EEMario Frank, David A. Basin, Joachim M. Buhmann: A class of probabilistic models for role engineering. ACM Conference on Computer and Communications Security 2008: 299-310
119EEAlexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter: Mechanisms for usage control. ASIACCS 2008: 240-244
118EEChristoph Sprenger, David A. Basin: Cryptographically-Sound Protocol-Model Abstractions. CSF 2008: 115-129
117EEDavid A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann: Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS 2008
116EEDavid A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109
115EEMichael Näf, David A. Basin: Two approaches to an information security laboratory. Commun. ACM 51(12): 138-142 (2008)
114EERolf Oppliger, Ralf Hauser, David A. Basin: SSL/TLS session-aware user authentication revisited. Computers & Security 27(3-4): 64-70 (2008)
113EERolf Oppliger, Ralf Hauser, David A. Basin: SSL/TLS Session-Aware User Authentication. IEEE Computer 41(3): 59-65 (2008)
2007
112EEBoris Köpf, David A. Basin: An information-theoretic model for adaptive side-channel attacks. ACM Conference on Computer and Communications Security 2007: 286-296
111EEPatrick Schaller, Srdjan Capkun, David A. Basin: BAP: Broadcast Authentication Using Cryptographic Puzzles. ACNS 2007: 401-419
110EEDiana von Bidder, David A. Basin, Germano Caronni: Midpoints Versus Endpoints: From Protocols to Firewalls. ACNS 2007: 46-64
109EEDavid A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç: Specifying and analyzing security automata using CSP-OZ. ASIACCS 2007: 70-81
108EEManuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter: A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546
107EERolf Oppliger, Ralf Hauser, David A. Basin, Aldo Rodenhaeuser, Bruno Kaiser: A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA). KiVS 2007: 225-236
106EEDavid A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435
105EEChristoph Sprenger, David A. Basin: A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs 2007: 302-318
104EEPaul E. Sevinç, Mario Strasser, David A. Basin: Securing the Distribution and Storage of Secrets with Trusted Platform Modules. WISTP 2007: 53-66
103EEDavid A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)
102EEMichael Backes, David A. Basin, Michael Waidner: Preface. Journal of Computer Security 15(6): 561 (2007)
2006
101EEDavid A. Basin: Model Driven Security. ARES 2006: 4
100EEChristoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. CSFW 2006: 153-166
99EEBoris Köpf, David A. Basin: Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS 2006: 243-262
98EEPaul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog: Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367
97EEPaul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin: Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust 2006: 80-95
96EEDavid A. Basin, Jürgen Doser, Torsten Lodderstedt: Model driven security: From UML models to access control infrastructures. ACM Trans. Softw. Eng. Methodol. 15(1): 39-91 (2006)
95EEAlexander Pretschner, Manuel Hilty, David A. Basin: Distributed usage control. Commun. ACM 49(9): 39-44 (2006)
94EERolf Oppliger, Ralf Hauser, David A. Basin: SSL/TLS session-aware user authentication - Or how to effectively thwart the man-in-the-middle. Computer Communications 29(12): 2238-2246 (2006)
93EEAlessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 36(1-2): 1-3 (2006)
92EECarlos Caleiro, Luca Viganò, David A. Basin: On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. 367(1-2): 88-122 (2006)
2005
91EEAlessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
90EEManuel Hilty, David A. Basin, Alexander Pretschner: On Obligations. ESORICS 2005: 98-117
89EEDavid A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
88EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: Algebraic Intruder Deductions. LPAR 2005: 549-564
87EEDiana Senn, David A. Basin, Germano Caronni: Firewall Conformance Testing. TestCom 2005: 226-241
86EECarlos Caleiro, Luca Viganò, David A. Basin: Metareasoning about Security Protocols using Distributed Temporal Logic. Electr. Notes Theor. Comput. Sci. 125(1): 67-89 (2005)
85EECarlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. Electr. Notes Theor. Comput. Sci. 135(1): 3-22 (2005)
84EEMichael Näf, David A. Basin: Konflikt oder Review zwei Ansätze für Labors in angewandter Informationssicherheit. Informatik Spektrum 28(5): 407-412 (2005)
83EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3): 181-208 (2005)
82EECarlos Caleiro, Luca Viganò, David A. Basin: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Logic Journal of the IGPL 13(6): 637-663 (2005)
2004
81 Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004 ACM 2004
80 David A. Basin, Michaël Rusinowitch: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Springer 2004
79EEDavid A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson: Synthesis of Programs in Computational Logic. Program Development in Computational Logic 2004: 30-65
78EEDavid A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
77EEDavid A. Basin, Olivier Danvy, Robert Harper: Editorial. Higher-Order and Symbolic Computation 17(3): 171-171 (2004)
2003
76 Michael Backes, David A. Basin: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003 ACM 2003
75 David A. Basin, Burkhart Wolff: Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Springer 2003
74EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: CDiff: a new reduction technique for constraint-based analysis of security protocols. ACM Conference on Computer and Communications Security 2003: 335-344
73EEDavid A. Basin, Sebastian Mödersheim, Luca Viganò: An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS 2003: 253-270
72EEDavid A. Basin, Jürgen Doser, Torsten Lodderstedt: Model driven security for process-oriented systems. SACMAT 2003: 100-109
71EEDavid A. Basin, Stefan Friedrich, Marek Gawkowski: Bytecode Verification by Model Checking. J. Autom. Reasoning 30(3-4): 399-444 (2003)
70EEAbdelwaheb Ayari, David A. Basin, Felix Klaedtke: Decision procedures for inductive Boolean functions based on alternating automata. Theor. Comput. Sci. 300(1-3): 301-329 (2003)
2002
69EEAlessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
68EEAbdelwaheb Ayari, David A. Basin: QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. FMCAD 2002: 187-201
67EEDavid A. Basin: The Next 700 Synthesis Calculi. FME 2002: 430
66EEDavid A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
65EEDavid A. Basin, Stefan Friedrich, Marek Gawkowski: Verified Bytecode Model Checkers. TPHOLs 2002: 47-66
64EETorsten Lodderstedt, David A. Basin, Jürgen Doser: SecureUML: A UML-Based Modeling Language for Model-Driven Security. UML 2002: 426-441
63EEDavid A. Basin, Frank Rittinger, Luca Viganò: A Formal Analysis of the CORBA Security Service. ZB 2002: 330-349
2001
62EEDavid A. Basin, Frank Rittinger, Luca Viganò: A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE 2001: 303-304
61EERafael Accorsi, David A. Basin, Luca Viganò: Towards an awareness-based semantics for security protocol analysis. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
60EEDavid A. Basin, Harald Ganzinger: Automated complexity analysis based on ordered resolution. J. ACM 48(1): 70-109 (2001)
59 David A. Basin, Amy P. Felty: Current Trends in Logical Frameworks and Metalanguages. J. Autom. Reasoning 27(1): 1-2 (2001)
58 Abdelwaheb Ayari, David A. Basin: A Higher-order Interpretation of Deductive Tableau. J. Symb. Comput. 31(5): 487-520 (2001)
57EEIan Frank, David A. Basin: A theoretical and empirical investigation of search in imperfect information games. Theor. Comput. Sci. 252(1-2): 217-256 (2001)
2000
56 Ian Frank, David A. Basin, Alan Bundy: Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI 2000: 195-200
55 Abdelwaheb Ayari, David A. Basin, Felix Klaedtke: Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. CAV 2000: 170-185
54 Abdelwaheb Ayari, David A. Basin: Bounded Model Construction for Monadic Second-Order Logics. CAV 2000: 99-112
53EEDavid A. Basin, Stefan Friedrich, Sebastian Mödersheim: B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD 2000: 91-107
52EEDavid A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
51EEDavid A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: (2000)
50 David A. Basin, Seán Matthews: Structuring Metatheory on Inductive Definitions. Inf. Comput. 162(1-2): 80-95 (2000)
49 Penny Anderson, David A. Basin: Program Development Schemata as Derived Rules. J. Symb. Comput. 30(1): 5-36 (2000)
1999
48EEDavid A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
47EEDavid A. Basin: Lazy Infinite-State Analysis of Security Protocols. CQRE 1999: 30-42
46EEAbdelwaheb Ayari, David A. Basin, Stefan Friedrich: Structural and Behavioral Modeling with Monadic Logics. ISMVL 1999: 142-151
45 David A. Basin, Stefan Friedrich: Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods in System Design 15(2): 99-122 (1999)
1998
44 Ian Frank, David A. Basin, Hitoshi Matsubara: Finding Optimal Strategies for Imperfect Information Games. AAAI/IAAI 1998: 500-507
43EEIan Frank, David A. Basin: Optimal Play against Best Defence: Complexity and Heuristics. Computers and Games 1998: 50-73
42EEDavid A. Basin: Logical-Framework-Based Program Development. ACM Comput. Surv. 30(3es): 1 (1998)
41EEIan Frank, David A. Basin: Search in Games with Incomplete Information: A Case Study Using Bridge Card Play. Artif. Intell. 100(1-2): 87-123 (1998)
40EEDavid A. Basin, Seán Matthews: Scoped metatheorems. Electr. Notes Theor. Comput. Sci. 15: (1998)
39 David A. Basin, Seán Matthews, Luca Viganò: Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information 7(3): 237-263 (1998)
38 David A. Basin, Seán Matthews, Luca Viganò: Natural Deduction for Non-Classical Logics. Studia Logica 60(1): 119-160 (1998)
1997
37EEAbdelwaheb Ayari, David A. Basin, Andreas Podelski: LISA: A Specification Language Based on WS2S. CSL 1997: 18-34
36 David A. Basin, Seán Matthews, Luca Viganò: Labelled Quantified Modal Logics. KI 1997: 171-182
35 David A. Basin, Seán Matthews, Luca Viganò: A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium 1997: 89-102
34 David A. Basin, Seán Matthews, Luca Viganò: Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. 7(6): 685-717 (1997)
1996
33EEDavid A. Basin, Seán Matthews: Structuring Metatheory on Inductive Definitions. CADE 1996: 171-185
32 Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin: Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108
31 David A. Basin, Seán Matthews, Luca Viganò: A Topography of Labelled Modal Logics. Frontiers of Combining Systems (FroCos) 1996: 75-92
30 David A. Basin, Seán Matthews, Luca Viganò: Implementing Modal and Relevance Logics in a Logical Framework. KR 1996: 386-397
29 David A. Basin, Harald Ganzinger: Complexity Analysis Based on Ordered Resolution. LICS 1996: 456-465
28 Abdelwaheb Ayari, David A. Basin: Generic System Support for Deductive Program Development. TACAS 1996: 313-328
27EEDavid A. Basin, Stefan Friedrich: Modeling a Hardware Synthesis Methodology in Isabelle. TPHOLs 1996: 33-50
26 Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)
25 David A. Basin, Toby Walsh: A Calculus for and Termination of Rippling. J. Autom. Reasoning 16(1-2): 147-180 (1996)
24 David A. Basin, Seán Matthews: Adding Metatheoretic Facilities to First-Order Theories. J. Log. Comput. 6(6): 835-849 (1996)
1995
23 Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. ASIAN 1995: 301-318
22EEDavid A. Basin, Nils Klarlund: Hardware Verification using Monadic Second-Order Logic. CAV 1995: 31-41
1994
21EEDavid A. Basin, Toby Walsh: Termination Orderings for Rippling. CADE 1994: 466-483
20 David A. Basin, Toby Walsh: A Calculus for Rippling. CTRS 1994: 15-30
19 Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin: Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89
18 David A. Basin: IsaWhelk Interpreted in Isabelle. ICLP 1994: 741
17 David A. Basin: Logic Frameworks for Logic Programs. LOPSTR 1994: 1-16
16 David A. Basin: Generalized Rewriting in Type Theory. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 249-259 (1994)
15 David A. Basin: A Term Equality Problem Equivalent to Graph Isomorphism. Inf. Process. Lett. 51(2): 61-66 (1994)
1993
14EEDavid A. Basin, Seán Matthews: A Conservative Extension of First-order Logic and Its Application to Theorem Proving. FSTTCS 1993: 151-160
13 Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455
12 David A. Basin, Toby Walsh: Difference Unification. IJCAI 1993: 116-122
11 David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171
10 Richard Barnett, David A. Basin, Jane Hesketh: A Recursion Planning Analysis of Inductive Completion. Ann. Math. Artif. Intell. 8(3-4): 363-381 (1993)
1992
9EEDavid A. Basin, Toby Walsh: Difference Matching. CADE 1992: 295-309
8 Ian Frank, David A. Basin, Alan Bundy: An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI 1992: 72-76
7 Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14
1991
6 David A. Basin, Fausto Giunchiglia, Paolo Traverso: Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57
5 David A. Basin, Douglas J. Howe: Some Normalization Properties of Martin-Löf's Type Theory, and Applications. TACS 1991: 475-494
1990
4EEDavid A. Basin: Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. CADE 1990: 251-260
1989
3EEDavid A. Basin, Peter Del Vecchio: Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis 1989: 333-357
2EEDavid A. Basin: Building Theories in Nuprl. Logic at Botik 1989: 12-25
1988
1EEDavid A. Basin: An Environment For Automated Reasoning About Partial Functions. CADE 1988: 101-110

Coauthor Index

1Jean-Raymond Abrial [122]
2Rafael Accorsi [61]
3Penny Anderson [23] [49]
4Alessandro Armando [69] [91] [93]
5Vijayalakshmi Atluri (Vijay Atluri) [81]
6Abdelwaheb Ayari [28] [37] [46] [54] [55] [58] [68] [70]
7Michael Backes [76] [81] [100] [102]
8Richard Barnett [10]
9Diana von Bidder (Diana Senn) [87] [110]
10Yohan Boichut [91]
11Mehdi Bouallagui [69]
12Joachim M. Buhmann [120] [123]
13Alan Bundy [7] [8] [11] [13] [19] [26] [32] [56]
14Samuel J. Burri [124]
15Carlos Caleiro [82] [85] [86] [92] [116]
16Srdjan Capkun [111] [121] [125]
17Germano Caronni [87] [110]
18Yannick Chevalier [69] [91]
19Manuel Clavel [52] [78] [106]
20Luca Compagna [69] [91]
21Jorge Cuéllar [91] [93]
22Olivier Danvy [77]
23Grit Denker [51]
24Yves Deville [79]
25Jürgen Doser [64] [72] [96] [106]
26Paul Hankes Drielsma [91] [97]
27Marina Egea [106]
28Amy P. Felty [59]
29Pierre Flener [79]
30Ian Frank [8] [41] [43] [44] [56] [57]
31Mario Frank [120] [123]
32Stefan Friedrich [27] [45] [46] [48] [53] [65] [66] [71]
33Harald Ganzinger [29] [60]
34Marek Gawkowski [65] [66] [71]
35Fausto Giunchiglia [6]
36Ian Green [19]
37Andreas Hamfelt [79]
38Robert Harper [77]
39Ralf Hauser [94] [107] [113] [114]
40Pierre-Cyrille Héam [91]
41Jane Hesketh [10]
42Manuel Hilty [90] [95] [108] [119]
43Thai Son Hoang [122]
44Douglas J. Howe [5]
45Bruno Kaiser [107]
46Günter Karjoth [124]
47Felix Klaedtke [55] [70] [117]
48Nils Klarlund [22]
49Boris Köpf [99] [112]
50Olga Kouchnarenko [91]
51Ina Kraan [7] [11] [13] [26]
52Hironobu Kuruma [89] [103] [122]
53Wenke Lee [125]
54Torsten Lodderstedt [64] [72] [96]
55Jacopo Mantovani [91]
56Hitoshi Matsubara [44]
57Seán Matthews [11] [14] [24] [30] [31] [33] [34] [35] [36] [38] [39] [40] [50]
58José Meseguer [52] [78]
59Kunihiko Miyazaki [103]
60Sebastian Mödersheim [53] [69] [73] [74] [83] [88] [91] [97]
61Samuel Müller [117]
62Michael Näf [84] [115]
63Jørgen Fischer Nilsson [79]
64David von Oheimb [91]
65Ernst-Rüdiger Olderog [98] [109]
66Rolf Oppliger [94] [107] [113] [114]
67Francisco J. Cantú Ortiz (Francisco J. Cantu) [32]
68Birgit Pfitzmann [100] [117]
69Andreas Podelski [37]
70Joachim Posegga [48] [66]
71Alexander Pretschner [90] [95] [108] [119]
72Jaime Ramos [116]
73Frank Rittinger [62] [63]
74Aldo Rodenhaeuser [107]
75Michaël Rusinowitch [69] [80] [91] [93]
76Judson Santiago [91]
77Christian Schaefer [108] [119]
78Patrick Schaller [111] [121]
79Benedikt Schmidt [121]
80Paul E. Sevinç [98] [104] [109]
81Alan Smaill [32]
82Christoph Sprenger [100] [105] [118]
83Mario Strasser [104]
84Andreas P. Streich [123]
85Kazuo Takaragi [89] [103]
86Paolo Traverso [6]
87Mathieu Turuani [69] [91]
88Peter Del Vecchio [3]
89Luca Viganò [30] [31] [34] [35] [36] [38] [39] [61] [62] [63] [69] [73] [74] [82] [83] [85] [86] [88] [91] [92] [93] [97] [116]
90Laurent Vigneron [69] [91]
91Harald Vogt [48]
92Michael Waidner [81] [100] [102]
93Toby Walsh [9] [12] [19] [20] [21] [25]
94Thomas Walter [108] [119]
95Burkhart Wolff [75] [89] [103]
96Tetsuya Yoshida [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)