David A. Basin

	2012
166		David A. Basin, Cas J. F. Cremers, Simon Meier: Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST 2012: 129-148
165		David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu: Enforceable Security Policies Revisited. POST 2012: 309-328
164		Mario Frank, Andreas P. Streich, David A. Basin, Joachim M. Buhmann: Multi-Assignment Clustering for Boolean Data. Journal of Machine Learning Research 13: 459-489 (2012)
	2011
163		David A. Basin, Patrick Schaller, Michael Schläpfer: Applied Information Security - a Hands-on Approach. Springer 2011: I-XIV, 1-202
162		David A. Basin, Samuel J. Burri, Günter Karjoth: Separation of duties as a service. ASIACCS 2011: 423-429
161		David A. Basin, Samuel J. Burri, Günter Karjoth: Obstruction-Free Authorization Enforcement: Aligning Security with Business Objectives. CSF 2011: 99-113
160		David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo: Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD 2011: 101-124
159		Petar Tsankov, Mohammad Torabi-Dashti, David A. Basin: Constructing Mid-Points for Two-Party Asynchronous Protocols. OPODIS 2011: 481-496
158		Bruno Conchinha, David A. Basin, Carlos Caleiro: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA 2011: 11-20
157		David A. Basin, Felix Klaedtke, Eugen Zalinescu: Algorithms for Monitoring Real-Time Properties. RV 2011: 260-275
156		David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu: MONPOLY: Monitoring Usage-Control Policies. RV 2011: 360-364
155		David A. Basin, Manuel Clavel, Marina Egea: A decade of model-driven security. SACMAT 2011: 1-10
154		David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu: Monitoring Usage-Control Policies in Distributed Systems. TIME 2011: 88-95
153		David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur. 14(2): 16 (2011)
152		Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin: Secure Deletion on Log-structured File Systems CoRR abs/1106.0917: (2011)
151		Boris Köpf, David A. Basin: Automatically deriving information-theoretic bounds for adaptive side-channel attacks. Journal of Computer Security 19(1): 1-31 (2011)
150		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412(31): 4007-4043 (2011)
	2010
149		Dengguo Feng, David A. Basin, Peng Liu: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010 ACM 2010
148		Christoph Sprenger, David A. Basin: Developing security protocols by refinement. ACM Conference on Computer and Communications Security 2010: 361-374
147		Christina Pöpper, David A. Basin, Srdjan Capkun, Cas J. F. Cremers: Keeping data secret under full compromise using porter devices. ACSAC 2010: 241-250
146		David A. Basin, Felix Klaedtke, Samuel Müller: Policy Monitoring in First-Order Temporal Logic. CAV 2010: 1-18
145		Simon Meier, Cas J. F. Cremers, David A. Basin: Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF 2010: 231-245
144		Benedikt Schmidt, Patrick Schaller, David A. Basin: Impossibility Results for Secret Establishment. CSF 2010: 261-273
143		David A. Basin, Cas J. F. Cremers: Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. CSL 2010: 1-18
142		David A. Basin, Cas J. F. Cremers: Modeling and Analyzing Security in the Presence of Compromising Adversaries. ESORICS 2010: 340-356
141		David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer: Automatic Generation of Smart, Security-Aware GUI Models. ESSoS 2010: 201-217
140		Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin: How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. Financial Cryptography Workshops 2010: 182-194
139		Bruno Conchinha, David A. Basin, Carlos Caleiro: Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust 2010: 34-49
138		Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea: SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) 2010: 311-312
137		David A. Basin, Felix Klaedtke, Samuel Müller: Monitoring security policies with metric first-order temporal logic. SACMAT 2010: 23-34
136		Mario Frank, Joachim M. Buhmann, David A. Basin: On the definition of role mining. SACMAT 2010: 35-44
135		Sebastian Mödersheim, Luca Viganò, David A. Basin: Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. Journal of Computer Security 18(4): 575-618 (2010)
134		Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler: Efficient analysis of pattern-based constraint specifications. Software and System Modeling 9(2): 225-255 (2010)
	2009
133		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
132		Mario Frank, Andreas P. Streich, David A. Basin, Joachim M. Buhmann: A probabilistic approach to hybrid role mining. ACM Conference on Computer and Communications Security 2009: 101-111
131		Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun: Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. CSF 2009: 109-123
130		David A. Basin, Samuel J. Burri, Günter Karjoth: Dynamic Enforcement of Abstract Separation of Duty Constraints. ESORICS 2009: 250-267
129		Andreas P. Streich, Mario Frank, David A. Basin, Joachim M. Buhmann: Multi-assignment clustering for Boolean data. ICML 2009: 122
128		Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
127		David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs 2009: 1-22
126		David A. Basin, Cas J. F. Cremers: From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. IACR Cryptology ePrint Archive 2009: 79 (2009)
125		David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: Automated analysis of security-design models. Information & Software Technology 51(5): 815-831 (2009)
124		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19(6): 1245-1279 (2009)
123		Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing topology discovery in Event-B. Sci. Comput. Program. 74(11-12): 879-899 (2009)
	2008
122		Mario 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
121		Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter: Mechanisms for usage control. ASIACCS 2008: 240-244
120		Christoph Sprenger, David A. Basin: Cryptographically-Sound Protocol-Model Abstractions. CSF 2008: 115-129
119		David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann: Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS 2008: 49-60
118		Daniel Fischer, David A. Basin, Thomas Engel: Topology dynamics and routing for predictable mobile networks. ICNP 2008: 207-217
117		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109
116		Michael Näf, David A. Basin: Two approaches to an information security laboratory. Commun. ACM 51(12): 138-142 (2008)
115		Rolf Oppliger, Ralf Hauser, David A. Basin: SSL/TLS session-aware user authentication revisited. Computers & Security 27(3-4): 64-70 (2008)
114		Rolf Oppliger, Ralf Hauser, David A. Basin: SSL/TLS Session-Aware User Authentication. IEEE Computer 41(3): 59-65 (2008)
	2007
113		Boris Köpf, David A. Basin: An information-theoretic model for adaptive side-channel attacks. ACM Conference on Computer and Communications Security 2007: 286-296
112		Patrick Schaller, Srdjan Capkun, David A. Basin: BAP: Broadcast Authentication Using Cryptographic Puzzles. ACNS 2007: 401-419
111		Diana von Bidder, David A. Basin, Germano Caronni: Midpoints Versus Endpoints: From Protocols to Firewalls. ACNS 2007: 46-64
110		David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç: Specifying and analyzing security automata using CSP-OZ. ASIACCS 2007: 70-81
109		Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter: A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546
108		Rolf 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
107		David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435
106		Christoph Sprenger, David A. Basin: A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs 2007: 302-318
105		Paul E. Sevinç, Mario Strasser, David A. Basin: Securing the Distribution and Storage of Secrets with Trusted Platform Modules. WISTP 2007: 53-66
104		David 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)
103		Michael Backes, David A. Basin, Michael Waidner: Preface. Journal of Computer Security 15(6): 561 (2007)
	2006
102		David A. Basin: Model Driven Security. ARES 2006: 4
101		Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. CSFW 2006: 153-166
100		Boris Köpf, David A. Basin: Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS 2006: 243-262
99		Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog: Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367
98		Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin: Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust 2006: 80-95
97		David 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)
96		Alexander Pretschner, Manuel Hilty, David A. Basin: Distributed usage control. Commun. ACM 49(9): 39-44 (2006)
95		Rolf 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)
94		Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. IACR Cryptology ePrint Archive 2006: 47 (2006)
93		Alessandro 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)
92		Carlos 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
91		Alessandro 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
90		Manuel Hilty, David A. Basin, Alexander Pretschner: On Obligations. ESORICS 2005: 98-117
89		David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
88		David A. Basin, Sebastian Mödersheim, Luca Viganò: Algebraic Intruder Deductions. LPAR 2005: 549-564
87		Diana Senn, David A. Basin, Germano Caronni: Firewall Conformance Testing. TestCom 2005: 226-241
86		Carlos Caleiro, Luca Viganò, David A. Basin: Metareasoning about Security Protocols using Distributed Temporal Logic. Electr. Notes Theor. Comput. Sci. 125(1): 67-89 (2005)
85		Carlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. Electr. Notes Theor. Comput. Sci. 135(1): 3-22 (2005)
84		Michael Näf, David A. Basin: Konflikt oder Review zwei Ansätze für Labors in angewandter Informationssicherheit. Informatik Spektrum 28(5): 407-412 (2005)
83		David A. Basin, Sebastian Mödersheim, Luca Viganò: OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3): 181-208 (2005)
82		Carlos 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, Washington, 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
79		David 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
78		David A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
77		David A. Basin, Olivier Danvy, Robert Harper: Editorial. Higher-Order and Symbolic Computation 17(3): 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
74		David 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
73		David A. Basin, Sebastian Mödersheim, Luca Viganò: An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS 2003: 253-270
72		David A. Basin, Jürgen Doser, Torsten Lodderstedt: Model driven security for process-oriented systems. SACMAT 2003: 100-109
71		David A. Basin, Stefan Friedrich, Marek Gawkowski: Bytecode Verification by Model Checking. J. Autom. Reasoning 30(3-4): 399-444 (2003)
70		Abdelwaheb 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
69		Alessandro 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
68		Abdelwaheb Ayari, David A. Basin: QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. FMCAD 2002: 187-201
67		David A. Basin: The Next 700 Synthesis Calculi. FME 2002: 430
66		David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
65		David A. Basin, Stefan Friedrich, Marek Gawkowski: Verified Bytecode Model Checkers. TPHOLs 2002: 47-66
64		Torsten Lodderstedt, David A. Basin, Jürgen Doser: SecureUML: A UML-Based Modeling Language for Model-Driven Security. UML 2002: 426-441
63		David A. Basin, Frank Rittinger, Luca Viganò: A Formal Analysis of the CORBA Security Service. ZB 2002: 330-349
	2001
62		David A. Basin, Frank Rittinger, Luca Viganò: A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE 2001: 303-304
61		Rafael Accorsi, David A. Basin, Luca Viganò: Towards an awareness-based semantics for security protocol analysis. Electr. Notes Theor. Comput. Sci. 55(1): 5-24 (2001)
60		David 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)
57		Ian 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
53		David A. Basin, Stefan Friedrich, Sebastian Mödersheim: B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD 2000: 91-107
52		David A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
51		David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: 235-256 (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
48		David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
47		David A. Basin: Lazy Infinite-State Analysis of Security Protocols. CQRE 1999: 30-42
46		Abdelwaheb 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
43		Ian Frank, David A. Basin: Optimal Play against Best Defence: Complexity and Heuristics. Computers and Games 1998: 50-73
42		David A. Basin: Logical-Framework-Based Program Development. ACM Comput. Surv. 30(3es): 1 (1998)
41		Ian 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)
40		David A. Basin, Seán Matthews: Scoped metatheorems. Electr. Notes Theor. Comput. Sci. 15: 353-366 (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
37		Abdelwaheb 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
33		David 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
27		David 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
22		David A. Basin, Nils Klarlund: Hardware Verification using Monadic Second-Order Logic. CAV 1995: 31-41
	1994
21		David 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
14		David 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
9		David 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
4		David A. Basin: Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. CADE 1990: 251-260
	1989
3		David A. Basin, Peter Del Vecchio: Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis 1989: 333-357
2		David A. Basin: Building Theories in Nuprl. Logic at Botik 1989: 12-25
	1988
1		David A. Basin: An Environment For Automated Reasoning About Partial Functions. CADE 1988: 101-110

Coauthor Index

1	Jean-Raymond Abrial	[123] [128]
2	Rafael Accorsi	[61]
3	Penny Anderson	[23] [49]
4	Alessandro Armando	[69] [91] [93]
5	Vijayalakshmi Atluri (Vijay Atluri)	[81]
6	Abdelwaheb Ayari	[28] [37] [46] [54] [55] [58] [68] [70]
7	Michael Backes	[76] [81] [94] [101] [103]
8	Richard Barnett	[10]
9	Diana von Bidder (Diana Senn)	[87] [111]
10	Yohan Boichut	[91]
11	Mehdi Bouallagui	[69]
12	Achim D. Brucker	[134]
13	Joachim M. Buhmann	[122] [129] [132] [136] [164]
14	Alan Bundy	[7] [8] [11] [13] [19] [26] [32] [56]
15	Samuel J. Burri	[130] [161] [162]
16	Carlos Caleiro	[82] [85] [86] [92] [117] [124] [139] [150] [158]
17	Srdjan Capkun	[112] [127] [131] [133] [147] [152] [153]
18	Germano Caronni	[87] [111]
19	Yannick Chevalier	[69] [91]
20	Manuel Clavel	[52] [78] [107] [125] [138] [141] [155] [160]
21	Luca Compagna	[69] [91]
22	Bruno Conchinha	[139] [158]
23	Cas J. F. Cremers	[126] [142] [143] [145] [147] [166]
24	Jorge Cuéllar (Jorge Ricardo Cuellar)	[91] [93]
25	Carolina Dania	[138] [160]
26	Olivier Danvy	[77]
27	Grit Denker	[51]
28	Yves Deville	[79]
29	Miguel Angel García de Dios	[138] [160]
30	Jürgen Doser	[64] [72] [97] [107] [125]
31	Paul Hankes Drielsma	[91] [98]
32	Marina Egea	[107] [125] [138] [141] [155] [160]
33	Thomas Engel	[118]
34	Amy P. Felty	[59]
35	Dengguo Feng	[149]
36	Daniel Fischer	[118]
37	Pierre Flener	[79]
38	Ian Frank	[8] [41] [43] [44] [56] [57]
39	Mario Frank	[122] [129] [132] [136] [164]
40	Stefan Friedrich	[27] [45] [46] [48] [53] [65] [66] [71]
41	Harald Ganzinger	[29] [60]
42	Marek Gawkowski	[65] [66] [71]
43	Fausto Giunchiglia	[6]
44	Ian Green	[19]
45	Andreas Hamfelt	[79]
46	Robert Harper	[77]
47	Matús Harvan	[154] [156]
48	Ralf Hauser	[95] [108] [114] [115]
49	Pierre-Cyrille Héam	[91]
50	Jane Hesketh	[10]
51	Manuel Hilty	[90] [96] [109] [121]
52	Thai Son Hoang	[123] [128]
53	Douglas J. Howe	[5]
54	Vincent Jugé	[165]
55	Bruno Kaiser	[108]
56	Günter Karjoth	[130] [161] [162]
57	Felix Klaedtke	[55] [70] [119] [137] [146] [154] [156] [157] [165]
58	Nils Klarlund	[22]
59	Jana Koehler (Jana Köhler)	[134]
60	Boris Köpf	[100] [113] [151]
61	Olga Kouchnarenko	[91]
62	Ina Kraan	[7] [11] [13] [26]
63	Hironobu Kuruma	[89] [104] [123] [128]
64	Wenke Lee	[133]
65	Peng Liu	[149]
66	Torsten Lodderstedt	[64] [72] [97]
67	Jacopo Mantovani	[91]
68	Claudio Marforio	[152]
69	Hitoshi Matsubara	[44]
70	Shin'ichiro Matsuo	[140]
71	Seán Matthews	[11] [14] [24] [30] [31] [33] [34] [35] [36] [38] [39] [40] [50]
72	Simon Meier	[145] [166]
73	José Meseguer	[52] [78]
74	Kunihiko Miyazaki	[104] [140]
75	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[53] [69] [73] [74] [83] [88] [91] [98] [135]
76	Samuel Müller	[119] [137] [146]
77	Michael Näf	[84] [116]
78	Jørgen Fischer Nilsson	[79]
79	David von Oheimb	[91]
80	Ernst-Rüdiger Olderog	[99] [110]
81	Rolf Oppliger	[95] [108] [114] [115]
82	Francisco J. Cantú Ortiz (Francisco J. Cantu)	[32]
83	Gonzalo Ortiz	[160]
84	Akira Otsuka	[140]
85	Birgit Pfitzmann	[94] [101] [119]
86	Andreas Podelski	[37]
87	Christina Pöpper	[147]
88	Joachim Posegga	[48] [66]
89	Alexander Pretschner	[90] [96] [109] [121]
90	Jaime Ramos	[117] [124] [150]
91	Joel Reardon	[152]
92	Frank Rittinger	[62] [63]
93	Aldo Rodenhaeuser	[108]
94	Michaël Rusinowitch	[69] [80] [91] [93]
95	Judson Santiago	[91]
96	Christian Schaefer	[109] [121]
97	Patrick Schaller	[112] [127] [131] [144] [153] [163]
98	Michael Schläpfer	[138] [141] [163]
99	Benedikt Schmidt	[127] [131] [144] [153]
100	Paul E. Sevinç	[99] [105] [110]
101	Alan Smaill	[32]
102	Christoph Sprenger	[94] [101] [106] [120] [148]
103	Mario Strasser	[105]
104	Andreas P. Streich	[129] [132] [164]
105	Kazuo Takaragi	[89] [104]
106	Mohammad Torabi-Dashti	[159]
107	Paolo Traverso	[6]
108	Petar Tsankov	[159]
109	Mathieu Turuani	[69] [91]
110	Javier Valdazo	[160]
111	Peter Del Vecchio	[3]
112	Luca Viganò	[30] [31] [34] [35] [36] [38] [39] [61] [62] [63] [69] [73] [74] [82] [83] [85] [86] [88] [91] [92] [93] [98] [117] [124] [135] [150]
113	Laurent Vigneron	[69] [91]
114	Harald Vogt	[48]
115	Michael Wahler	[134]
116	Michael Waidner	[81] [94] [101] [103]
117	Toby Walsh	[9] [12] [19] [20] [21] [25]
118	Thomas Walter	[109] [121]
119	Burkhart Wolff	[75] [89] [104]
120	Tetsuya Yoshida	[19]
121	Eugen Zalinescu	[154] [156] [157] [165]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page