×

zbMATH — the first resource for mathematics

Basin, David A.

Compute Distance To:
Author ID: basin.david-a Recent zbMATH articles by "Basin, David A."
Published as: Basin, David; Basin, David A.
Documents Indexed: 96 Publications since 1988, including 5 Books
Reviewing Activity: 10 Reviews
all top 5

Co-Authors

6 single-authored
18 Viganò, Luca
12 Klaedtke, Felix
12 Matthews, Seán
8 Zălinescu, Eugen
7 Caleiro, Carlos
6 Ayari, Abdelwaheb
5 Friedrich, Stefan R.
4 Kuruma, Hironobu
4 Traytel, Dmitry
3 Clavel, Manuel
3 Cremers, Cas J. F.
3 Gawkowski, Marek
3 Krstić, Srđan
3 Walsh, Toby
3 Wolff, Burkhart
2 Abrial, Jean-Raymond
2 Bhatt, Bhargav Nagaraja
2 Bodei, Chiara
2 Bundy, Alan
2 Capkun, Srdjan
2 Caronni, Germano
2 Costa, Gabriele
2 Degano, Pierpaolo
2 Galletta, Letterio
2 Hoang, Thai Son
2 Meseguer Guaita, José
2 Mödersheim, Sebastian A.
2 Müller, Samuel
2 Petric Maretić, Grgur
2 Posegga, Joachim
2 Ramos, Jaime
2 Rusinowitch, Michaël
2 Sasse, Ralf
2 Schaller, Patrick
2 Takaragi, Kazuo
2 Torabi Dashti, Mohammad
1 Accorsi, Rafael
1 Anderson, Penny
1 Armando, Alessandro
1 Barnett, Richard C.
1 Bouallagui, Mehdi
1 Brix, Frederik
1 Buhmann, Joachim M.
1 Chevalier, Yannick
1 Compagna, Luca
1 Conchinha, Bruno
1 Constable, Robert Lee
1 Cotrini Jiménez, Carlos
1 D’Agostino, Marcello
1 Dania, Carolina
1 Denker, Grit
1 Deville, Yves
1 Doser, Jürgen
1 Egea, Marina
1 Ereth, Sarah
1 Felty, Amy P.
1 Fischer Nilsson, Jørgen
1 Flener, Pierre
1 Frank, Ian
1 Frank, Mario
1 Gabbay, Dov M.
1 Ganzinger, Harald
1 García de Dios, Miguel A.
1 Hamfelt, Andreas
1 Harvan, Matúš
1 Hesketh, Jane
1 Hirschi, Lucca
1 Hutter, Dieter
1 Ireland, Andrew
1 Jugé, Vincent
1 Kaufmann, Matt
1 Keller, Michel
1 Kraan, Ina
1 Krieg-Brückner, Bernd
1 Lochbihler, Andreas
1 Lodderstedt, Torsten
1 Mantel, Heiko
1 Marinovic, Srdjan
1 Meadows, Catherine A.
1 Meier, Simon
1 Mitchell, John C.
1 Miyazaki, Kunihiko
1 Ortiz, Gonzalo
1 Pfitzmann, Birgit
1 Podelski, Andreas
1 Radomirović, Saša
1 Raszyk, Martin
1 Rittinger, Frank
1 Schmidt, Benedikt
1 Schneider, Joshua P.
1 Sefidgar, S. Reza
1 Sprenger, Christoph
1 Streich, Andreas P.
1 Turuani, Mathieu
1 Valdazo, Javier
1 Vigneron, Laurent
1 Vogt, Harald
1 von Bidder-Senn, Diana

Publications by Year

Citations contained in zbMATH

62 Publications have been cited 251 times in 194 Documents Cited by Year
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Automated complexity analysis based on ordered resolution. Zbl 1320.68163
Basin, David; Ganzinger, Harald
13
2001
QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. Zbl 1019.68597
Ayari, Abdelwaheb; Basin, David
12
2002
Monitoring metric first-order temporal properties. Zbl 1333.68177
Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen
10
2015
Metalogical frameworks. Zbl 0922.03019
Basin, David A.; Constable, Robert L.
9
1993
Difference matching. Zbl 0925.68401
Basin, David; Walsh, Toby
8
1992
Scalable offline monitoring of temporal specifications. Zbl 1380.68268
Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko
7
2016
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
7
2004
Natural deduction for non-classical logics. Zbl 0954.03010
Basin, David; Matthews, Seán; Viganò, Luca
7
1998
Labelled propositional modal logics: Theory and practice. Zbl 0902.03007
Basin, David; Matthews, Seán; Viganò, Luca
7
1997
A calculus for and termination of rippling. Zbl 0847.68105
Basin, David A.; Walsh, Toby
7
1996
On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450
Caleiro, Carlos; Viganò, Luca; Basin, David
6
2006
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
Rewriting logic as a metalogical framework. Zbl 1044.03020
Basin, David; Clavel, Manuel; Meseguer, José
6
2000
Combining WS1S and HOL. Zbl 0988.03024
Basin, David; Friedrich, Stefan
6
2000
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan
6
1996
The Boyer-Moore prover and Nuprl: An experimental comparison. Zbl 0799.68169
Basin, David; Kaufmann, Matt
6
1991
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
5
2018
Enforceable security policies revisited. Zbl 1354.68165
Basin, David; Jugé, Vincent; Klaedtke, Felix; Zălinescu, Eugen
5
2012
Runtime monitoring of metric first-order temporal properties. Zbl 1248.68318
Basin, David; Klaedtke, Felix; Müller, Samuel; Pfitzmann, Birgit
5
2008
Labelled tableaux for distributed temporal logic. Zbl 1196.03044
Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca
4
2009
Let’s get physical: Models and methods for real-world security protocols. Zbl 1252.68040
Basin, David; Capkun, Srdjan; Schaller, Patrick; Schmidt, Benedikt
4
2009
Algebraic intruder deductions. Zbl 1143.94339
Basin, David; Mödersheim, Sebastian; Viganò, Luca
4
2005
Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039
Caleiro, Carlos; Viganò, Luca; Basin, David
4
2005
Bounded model construction for monadic second-order logics. Zbl 0974.68115
Ayari, Abdelwaheb; Basin, David
4
2000
Search in games with incomplete information: a case study using Bridge card play. Zbl 0906.68049
Frank, Ian; Basin, David
4
1998
Multi-assignment clustering for Boolean data. Zbl 1283.68288
Frank, Mario; Streich, Andreas P.; Basin, David; Buhmann, Joachim M.
3
2012
Provably repairing the ISO/IEC 9798 standard for entity authentication. Zbl 1354.94055
Basin, David; Cremers, Cas; Meier, Simon
3
2012
Degrees of security: protocol guarantees in the face of compromising adversaries. Zbl 1287.94049
Basin, David; Cremers, Cas
3
2010
Verifying a signature architecture: a comparative case study. Zbl 1111.68075
Basin, David; Kuruma, Hironobu; Miyazaki, Kunihiko; Takaragi, Kazuo; Wolff, Burkhart
3
2007
Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051
Caleiro, Carlos; Viganò, Luca; Basin, David
3
2005
Verified bytecode model checkers. Zbl 1013.68544
Basin, David; Friedrich, Stefan; Gawkowski, Marek
3
2002
The AVISS security protocol analysis tool. Zbl 1010.68795
Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent
3
2002
Maude versus Haskell: An experimental comparison in security protocol analysis. Zbl 0962.68056
Basin, David; Denker, Grit
3
2000
A new method for bounding the complexity of modal logics. Zbl 0886.03039
Basin, David; Matthews, Seán; Viganò, Luca
3
1997
Model checking security protocols. Zbl 1392.68228
Basin, David; Cremers, Cas; Meadows, Catherine
2
2018
Alice and Bob meet equational theories. Zbl 1321.68343
Basin, David; Keller, Michel; Radomirović, Saša; Sasse, Ralf
2
2015
FAST: an efficient decision procedure for deduction and static equivalence. Zbl 1236.94073
Conchinha, Bruno; Basin, David A.; Caleiro, Carlos
2
2011
Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053
Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca
2
2011
A monad-based modeling and verification toolbox with application to security protocols. Zbl 1144.68306
Sprenger, Christoph; Basin, David
2
2007
Deconstructing Alice and Bob. Zbl 1272.68052
Caleiro, Carlos; Viganò, Luca; Basin, David
2
2005
Verification of a signature architecture with HOL-Z. Zbl 1120.68407
Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
2
2005
Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022
Accorsi, Rafael; Basin, David; Viganò, Luca
2
2003
SecureUML: A UML-based modeling language for model-driven security. Zbl 1018.68738
Lodderstedt, Torsten; Basin, David; Doser, Jürgen
2
2002
CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121
Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza
1
2020
Almost event-rate independent monitoring. Zbl 1425.68249
Basin, David; Bhatt, Bhargav Nagaraja; Krstić, Srđan; Traytel, Dmitriy
1
2019
From natural projection to partial model checking and back. Zbl 1423.68275
Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio
1
2018
Failure-aware runtime verification of distributed systems. Zbl 1366.68010
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
1
2015
Monitoring of temporal first-order properties with aggregations. Zbl 1323.68362
Basin, David; Klaedtke, Felix; Marinovic, Srdjan; Zălinescu, Eugen
1
2015
Greedily computing associative aggregations on sliding windows. Zbl 1302.68335
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
1
2015
Deciding safety and liveness in TPTL. Zbl 1371.68101
Basin, David; Cotrini Jiménez, Carlos; Klaedtke, Felix; Zălinescu, Eugen
1
2014
Developing topology discovery in Event-B. Zbl 1192.68829
Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond
1
2009
Developing topology discovery in Event-B. Zbl 1211.68028
Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond
1
2009
A higher-order interpretation of deductive tableau. Zbl 0972.68509
Ayari, Abdelwaheb; Basin, David
1
2001
Structuring metatheory on inductive definitions. Zbl 1005.03008
Basin, David; Matthews, Seán
1
2000
Decision procedures for inductive Boolean functions based on alternating automata. Zbl 0974.94033
Ayari, Abdelwaheb; Basin, David; Klaedtke, Felix
1
2000
Java bytecode verification by model checking. System abstract. Zbl 1046.68575
Basin, David; Friedrich, Stefan; Posegga, Joachim; Vogt, Harald
1
1999
A modular presentation of modal logics in a logical framework. Zbl 0956.03008
Basin, David; Matthews, Seán; Viganò, Luca
1
1998
Labelled modal logics: Quantifiers. Zbl 0933.03016
Basin, David; Matthews, Seán; Viganò, Luca
1
1998
Structuring metatheory on inductive definitions. Zbl 1412.68205
Basin, David; Matthews, Seán
1
1996
Adding metatheoretic facilities to first-order theories. Zbl 0868.03006
Basin, David; Matthews, Seán
1
1996
A term equality problem equivalent to graph isomorphism. Zbl 0813.68149
Basin, David A.
1
1994
CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121
Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza
1
2020
Almost event-rate independent monitoring. Zbl 1425.68249
Basin, David; Bhatt, Bhargav Nagaraja; Krstić, Srđan; Traytel, Dmitriy
1
2019
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
5
2018
Model checking security protocols. Zbl 1392.68228
Basin, David; Cremers, Cas; Meadows, Catherine
2
2018
From natural projection to partial model checking and back. Zbl 1423.68275
Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio
1
2018
Scalable offline monitoring of temporal specifications. Zbl 1380.68268
Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko
7
2016
Monitoring metric first-order temporal properties. Zbl 1333.68177
Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen
10
2015
Alice and Bob meet equational theories. Zbl 1321.68343
Basin, David; Keller, Michel; Radomirović, Saša; Sasse, Ralf
2
2015
Failure-aware runtime verification of distributed systems. Zbl 1366.68010
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
1
2015
Monitoring of temporal first-order properties with aggregations. Zbl 1323.68362
Basin, David; Klaedtke, Felix; Marinovic, Srdjan; Zălinescu, Eugen
1
2015
Greedily computing associative aggregations on sliding windows. Zbl 1302.68335
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
1
2015
Deciding safety and liveness in TPTL. Zbl 1371.68101
Basin, David; Cotrini Jiménez, Carlos; Klaedtke, Felix; Zălinescu, Eugen
1
2014
Enforceable security policies revisited. Zbl 1354.68165
Basin, David; Jugé, Vincent; Klaedtke, Felix; Zălinescu, Eugen
5
2012
Multi-assignment clustering for Boolean data. Zbl 1283.68288
Frank, Mario; Streich, Andreas P.; Basin, David; Buhmann, Joachim M.
3
2012
Provably repairing the ISO/IEC 9798 standard for entity authentication. Zbl 1354.94055
Basin, David; Cremers, Cas; Meier, Simon
3
2012
FAST: an efficient decision procedure for deduction and static equivalence. Zbl 1236.94073
Conchinha, Bruno; Basin, David A.; Caleiro, Carlos
2
2011
Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053
Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca
2
2011
Degrees of security: protocol guarantees in the face of compromising adversaries. Zbl 1287.94049
Basin, David; Cremers, Cas
3
2010
Labelled tableaux for distributed temporal logic. Zbl 1196.03044
Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca
4
2009
Let’s get physical: Models and methods for real-world security protocols. Zbl 1252.68040
Basin, David; Capkun, Srdjan; Schaller, Patrick; Schmidt, Benedikt
4
2009
Developing topology discovery in Event-B. Zbl 1192.68829
Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond
1
2009
Developing topology discovery in Event-B. Zbl 1211.68028
Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond
1
2009
Runtime monitoring of metric first-order temporal properties. Zbl 1248.68318
Basin, David; Klaedtke, Felix; Müller, Samuel; Pfitzmann, Birgit
5
2008
Verifying a signature architecture: a comparative case study. Zbl 1111.68075
Basin, David; Kuruma, Hironobu; Miyazaki, Kunihiko; Takaragi, Kazuo; Wolff, Burkhart
3
2007
A monad-based modeling and verification toolbox with application to security protocols. Zbl 1144.68306
Sprenger, Christoph; Basin, David
2
2007
On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450
Caleiro, Carlos; Viganò, Luca; Basin, David
6
2006
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Algebraic intruder deductions. Zbl 1143.94339
Basin, David; Mödersheim, Sebastian; Viganò, Luca
4
2005
Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039
Caleiro, Carlos; Viganò, Luca; Basin, David
4
2005
Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051
Caleiro, Carlos; Viganò, Luca; Basin, David
3
2005
Deconstructing Alice and Bob. Zbl 1272.68052
Caleiro, Carlos; Viganò, Luca; Basin, David
2
2005
Verification of a signature architecture with HOL-Z. Zbl 1120.68407
Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
2
2005
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
7
2004
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022
Accorsi, Rafael; Basin, David; Viganò, Luca
2
2003
QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. Zbl 1019.68597
Ayari, Abdelwaheb; Basin, David
12
2002
Verified bytecode model checkers. Zbl 1013.68544
Basin, David; Friedrich, Stefan; Gawkowski, Marek
3
2002
The AVISS security protocol analysis tool. Zbl 1010.68795
Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent
3
2002
SecureUML: A UML-based modeling language for model-driven security. Zbl 1018.68738
Lodderstedt, Torsten; Basin, David; Doser, Jürgen
2
2002
Automated complexity analysis based on ordered resolution. Zbl 1320.68163
Basin, David; Ganzinger, Harald
13
2001
A higher-order interpretation of deductive tableau. Zbl 0972.68509
Ayari, Abdelwaheb; Basin, David
1
2001
Rewriting logic as a metalogical framework. Zbl 1044.03020
Basin, David; Clavel, Manuel; Meseguer, José
6
2000
Combining WS1S and HOL. Zbl 0988.03024
Basin, David; Friedrich, Stefan
6
2000
Bounded model construction for monadic second-order logics. Zbl 0974.68115
Ayari, Abdelwaheb; Basin, David
4
2000
Maude versus Haskell: An experimental comparison in security protocol analysis. Zbl 0962.68056
Basin, David; Denker, Grit
3
2000
Structuring metatheory on inductive definitions. Zbl 1005.03008
Basin, David; Matthews, Seán
1
2000
Decision procedures for inductive Boolean functions based on alternating automata. Zbl 0974.94033
Ayari, Abdelwaheb; Basin, David; Klaedtke, Felix
1
2000
Java bytecode verification by model checking. System abstract. Zbl 1046.68575
Basin, David; Friedrich, Stefan; Posegga, Joachim; Vogt, Harald
1
1999
Natural deduction for non-classical logics. Zbl 0954.03010
Basin, David; Matthews, Seán; Viganò, Luca
7
1998
Search in games with incomplete information: a case study using Bridge card play. Zbl 0906.68049
Frank, Ian; Basin, David
4
1998
A modular presentation of modal logics in a logical framework. Zbl 0956.03008
Basin, David; Matthews, Seán; Viganò, Luca
1
1998
Labelled modal logics: Quantifiers. Zbl 0933.03016
Basin, David; Matthews, Seán; Viganò, Luca
1
1998
Labelled propositional modal logics: Theory and practice. Zbl 0902.03007
Basin, David; Matthews, Seán; Viganò, Luca
7
1997
A new method for bounding the complexity of modal logics. Zbl 0886.03039
Basin, David; Matthews, Seán; Viganò, Luca
3
1997
A calculus for and termination of rippling. Zbl 0847.68105
Basin, David A.; Walsh, Toby
7
1996
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan
6
1996
Structuring metatheory on inductive definitions. Zbl 1412.68205
Basin, David; Matthews, Seán
1
1996
Adding metatheoretic facilities to first-order theories. Zbl 0868.03006
Basin, David; Matthews, Seán
1
1996
A term equality problem equivalent to graph isomorphism. Zbl 0813.68149
Basin, David A.
1
1994
Metalogical frameworks. Zbl 0922.03019
Basin, David A.; Constable, Robert L.
9
1993
Difference matching. Zbl 0925.68401
Basin, David; Walsh, Toby
8
1992
The Boyer-Moore prover and Nuprl: An experimental comparison. Zbl 0799.68169
Basin, David; Kaufmann, Matt
6
1991
all top 5

Cited by 371 Authors

22 Basin, David A.
11 Meseguer Guaita, José
9 Bundy, Alan
8 Viganò, Luca
6 Traytel, Dmitry
5 Falcone, Yliès
5 Wolff, Burkhart
4 Biere, Armin
4 Clavel, Manuel
4 Delaune, Stéphanie
4 Ireland, Andrew
4 Jebelean, Tudor
4 Klaedtke, Felix
4 Krstić, Srđan
4 Leitsch, Alexander
4 Martí-Oliet, Narciso
4 Masini, Andrea
4 Rusinowitch, Michaël
3 Braüner, Torben
3 Chevalier, Yannick
3 Cremers, Cas J. F.
3 Dixon, Lucas
3 Drămnesc, Isabela
3 Hetzl, Stefan
3 Lafourcade, Pascal
3 Lonsing, Florian
3 Lynch, Christopher A.
3 Matthews, Seán
3 Meadows, Catherine A.
3 Negri, Sara
3 Rollet, Antoine
3 Seidl, Martina
3 Volpe, Marco
3 Zălinescu, Eugen
2 Baratella, Stefano
2 Bhatt, Bhargav Nagaraja
2 Böhme, Sascha
2 Caleiro, Carlos
2 Dennis, Louise Abigail
2 Egly, Uwe
2 Eker, Steven
2 Francalanza, Adrian
2 Green, Ian
2 Heras, Jónathan
2 Hutter, Dieter
2 Janota, Mikoláš
2 Jéron, Thierry
2 Johansson, Moa
2 Kaufmann, Matt
2 Komendantskaya, Ekaterina
2 Kuruma, Hironobu
2 Leino, K. Rustan M.
2 Mantel, Heiko
2 Marchand, Hervé
2 Marques-Silva, João P.
2 Mödersheim, Sebastian A.
2 Nieuwenhuis, Robert
2 Nipkow, Tobias
2 Nishida, Naoki
2 Palomino, Miguel
2 Pattinson, Dirk
2 Piskac, Ruzica
2 Ranise, Silvio
2 Read, Stephen
2 Reis, Giselle
2 Renard, Matthieu
2 Ringeissen, Christophe
2 Roşu, Grigore
2 Schröder, Lutz
2 Smaill, Alan
2 Szeider, Stefan
2 Walsh, Toby
2 Weidenbach, Christoph
2 Weller, Daniel S.
1 Ábrahám, Erika
1 Abrial, Jean-Raymond
1 Aceto, Luca
1 Achilleos, Antonis
1 Ahrendt, Wolfgang
1 Almousa, Omar
1 Ambert, Fabrice
1 Arapinis, Myrto
1 Arieli, Ofer
1 Armando, Alessandro
1 Arnaud, Mathilde
1 Arsac, Wihem
1 Asperti, Andrea
1 Avanesov, Tigran
1 Barnes, Janet
1 Barnett, Richard C.
1 Bartocci, Ezio
1 Basin, D.
1 Belkhir, Walid
1 Bella, Giampaolo
1 Bellman, Kirstie L.
1 Berghofer, Stefan
1 Berkovich, Shay
1 Bianculli, Domenico
1 Blandford, Ann
1 Bodei, Chiara
...and 271 more Authors

Citations by Year