Edit Profile Basin, David A. Compute Distance To: Compute Author ID: 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 all top 5 Serials 5 Journal of Automated Reasoning 4 Information Processing Letters 3 Theoretical Computer Science 3 Journal of Logic and Computation 3 Formal Methods in System Design 3 Lecture Notes in Computer Science 2 Journal of Symbolic Computation 2 Journal of the ACM 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Artificial Intelligence 1 Studia Logica 1 Science of Computer Programming 1 Information and Computation 1 Journal of Information Processing and Cybernetics 1 Journal of Cryptology 1 Formal Aspects of Computing 1 Journal of Logic, Language and Information 1 Annals of Mathematics and Artificial Intelligence 1 Logic Journal of the IGPL 1 Journal of Machine Learning Research (JMLR) 1 Cambridge Tracts in Theoretical Computer Science 1 Applied Logic Series all top 5 Fields 86 Computer science (68-XX) 44 Mathematical logic and foundations (03-XX) 16 Information and communication theory, circuits (94-XX) 4 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications 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.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 26 2005 Automated complexity analysis based on ordered resolution. Zbl 1320.68163Basin, David; Ganzinger, Harald 13 2001 QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. Zbl 1019.68597Ayari, Abdelwaheb; Basin, David 12 2002 Monitoring metric first-order temporal properties. Zbl 1333.68177Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen 10 2015 Metalogical frameworks. Zbl 0922.03019Basin, David A.; Constable, Robert L. 9 1993 Difference matching. Zbl 0925.68401Basin, David; Walsh, Toby 8 1992 Scalable offline monitoring of temporal specifications. Zbl 1380.68268Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko 7 2016 Reflective metalogical frameworks. Zbl 1407.03045Basin, David; Clavel, Manuel; Meseguer, José 7 2004 Natural deduction for non-classical logics. Zbl 0954.03010Basin, David; Matthews, Seán; Viganò, Luca 7 1998 Labelled propositional modal logics: Theory and practice. Zbl 0902.03007Basin, David; Matthews, Seán; Viganò, Luca 7 1997 A calculus for and termination of rippling. Zbl 0847.68105Basin, David A.; Walsh, Toby 7 1996 On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450Caleiro, Carlos; Viganò, Luca; Basin, David 6 2006 Synthesis of programs in computational logic. Zbl 1080.68562Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen 6 2004 Rewriting logic as a metalogical framework. Zbl 1044.03020Basin, David; Clavel, Manuel; Meseguer, José 6 2000 Combining WS1S and HOL. Zbl 0988.03024Basin, David; Friedrich, Stefan 6 2000 Middle-out reasoning for synthesis and induction. Zbl 0847.68104Kraan, Ina; Basin, David; Bundy, Alan 6 1996 The Boyer-Moore prover and Nuprl: An experimental comparison. Zbl 0799.68169Basin, David; Kaufmann, Matt 6 1991 Algorithms for monitoring real-time properties. Zbl 1395.68185Basin, David; Klaedtke, Felix; Zălinescu, Eugen 5 2018 Enforceable security policies revisited. Zbl 1354.68165Basin, David; Jugé, Vincent; Klaedtke, Felix; Zălinescu, Eugen 5 2012 Runtime monitoring of metric first-order temporal properties. Zbl 1248.68318Basin, David; Klaedtke, Felix; Müller, Samuel; Pfitzmann, Birgit 5 2008 Labelled tableaux for distributed temporal logic. Zbl 1196.03044Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 4 2009 Let’s get physical: Models and methods for real-world security protocols. Zbl 1252.68040Basin, David; Capkun, Srdjan; Schaller, Patrick; Schmidt, Benedikt 4 2009 Algebraic intruder deductions. Zbl 1143.94339Basin, David; Mödersheim, Sebastian; Viganò, Luca 4 2005 Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039Caleiro, Carlos; Viganò, Luca; Basin, David 4 2005 Bounded model construction for monadic second-order logics. Zbl 0974.68115Ayari, Abdelwaheb; Basin, David 4 2000 Search in games with incomplete information: a case study using Bridge card play. Zbl 0906.68049Frank, Ian; Basin, David 4 1998 Multi-assignment clustering for Boolean data. Zbl 1283.68288Frank, Mario; Streich, Andreas P.; Basin, David; Buhmann, Joachim M. 3 2012 Provably repairing the ISO/IEC 9798 standard for entity authentication. Zbl 1354.94055Basin, David; Cremers, Cas; Meier, Simon 3 2012 Degrees of security: protocol guarantees in the face of compromising adversaries. Zbl 1287.94049Basin, David; Cremers, Cas 3 2010 Verifying a signature architecture: a comparative case study. Zbl 1111.68075Basin, David; Kuruma, Hironobu; Miyazaki, Kunihiko; Takaragi, Kazuo; Wolff, Burkhart 3 2007 Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051Caleiro, Carlos; Viganò, Luca; Basin, David 3 2005 Verified bytecode model checkers. Zbl 1013.68544Basin, David; Friedrich, Stefan; Gawkowski, Marek 3 2002 The AVISS security protocol analysis tool. Zbl 1010.68795Armando, 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.68056Basin, David; Denker, Grit 3 2000 A new method for bounding the complexity of modal logics. Zbl 0886.03039Basin, David; Matthews, Seán; Viganò, Luca 3 1997 Model checking security protocols. Zbl 1392.68228Basin, David; Cremers, Cas; Meadows, Catherine 2 2018 Alice and Bob meet equational theories. Zbl 1321.68343Basin, David; Keller, Michel; Radomirović, Saša; Sasse, Ralf 2 2015 FAST: an efficient decision procedure for deduction and static equivalence. Zbl 1236.94073Conchinha, Bruno; Basin, David A.; Caleiro, Carlos 2 2011 Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 2 2011 A monad-based modeling and verification toolbox with application to security protocols. Zbl 1144.68306Sprenger, Christoph; Basin, David 2 2007 Deconstructing Alice and Bob. Zbl 1272.68052Caleiro, Carlos; Viganò, Luca; Basin, David 2 2005 Verification of a signature architecture with HOL-Z. Zbl 1120.68407Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart 2 2005 Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022Accorsi, Rafael; Basin, David; Viganò, Luca 2 2003 SecureUML: A UML-based modeling language for model-driven security. Zbl 1018.68738Lodderstedt, Torsten; Basin, David; Doser, Jürgen 2 2002 CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza 1 2020 Almost event-rate independent monitoring. Zbl 1425.68249Basin, David; Bhatt, Bhargav Nagaraja; Krstić, Srđan; Traytel, Dmitriy 1 2019 From natural projection to partial model checking and back. Zbl 1423.68275Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio 1 2018 Failure-aware runtime verification of distributed systems. Zbl 1366.68010Basin, David; Klaedtke, Felix; Zălinescu, Eugen 1 2015 Monitoring of temporal first-order properties with aggregations. Zbl 1323.68362Basin, David; Klaedtke, Felix; Marinovic, Srdjan; Zălinescu, Eugen 1 2015 Greedily computing associative aggregations on sliding windows. Zbl 1302.68335Basin, David; Klaedtke, Felix; Zălinescu, Eugen 1 2015 Deciding safety and liveness in TPTL. Zbl 1371.68101Basin, David; Cotrini Jiménez, Carlos; Klaedtke, Felix; Zălinescu, Eugen 1 2014 Developing topology discovery in Event-B. Zbl 1192.68829Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond 1 2009 Developing topology discovery in Event-B. Zbl 1211.68028Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond 1 2009 A higher-order interpretation of deductive tableau. Zbl 0972.68509Ayari, Abdelwaheb; Basin, David 1 2001 Structuring metatheory on inductive definitions. Zbl 1005.03008Basin, David; Matthews, Seán 1 2000 Decision procedures for inductive Boolean functions based on alternating automata. Zbl 0974.94033Ayari, Abdelwaheb; Basin, David; Klaedtke, Felix 1 2000 Java bytecode verification by model checking. System abstract. Zbl 1046.68575Basin, David; Friedrich, Stefan; Posegga, Joachim; Vogt, Harald 1 1999 A modular presentation of modal logics in a logical framework. Zbl 0956.03008Basin, David; Matthews, Seán; Viganò, Luca 1 1998 Labelled modal logics: Quantifiers. Zbl 0933.03016Basin, David; Matthews, Seán; Viganò, Luca 1 1998 Structuring metatheory on inductive definitions. Zbl 1412.68205Basin, David; Matthews, Seán 1 1996 Adding metatheoretic facilities to first-order theories. Zbl 0868.03006Basin, David; Matthews, Seán 1 1996 A term equality problem equivalent to graph isomorphism. Zbl 0813.68149Basin, David A. 1 1994 CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza 1 2020 Almost event-rate independent monitoring. Zbl 1425.68249Basin, David; Bhatt, Bhargav Nagaraja; Krstić, Srđan; Traytel, Dmitriy 1 2019 Algorithms for monitoring real-time properties. Zbl 1395.68185Basin, David; Klaedtke, Felix; Zălinescu, Eugen 5 2018 Model checking security protocols. Zbl 1392.68228Basin, David; Cremers, Cas; Meadows, Catherine 2 2018 From natural projection to partial model checking and back. Zbl 1423.68275Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio 1 2018 Scalable offline monitoring of temporal specifications. Zbl 1380.68268Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matúš; Klaedtke, Felix; Mantel, Heiko 7 2016 Monitoring metric first-order temporal properties. Zbl 1333.68177Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen 10 2015 Alice and Bob meet equational theories. Zbl 1321.68343Basin, David; Keller, Michel; Radomirović, Saša; Sasse, Ralf 2 2015 Failure-aware runtime verification of distributed systems. Zbl 1366.68010Basin, David; Klaedtke, Felix; Zălinescu, Eugen 1 2015 Monitoring of temporal first-order properties with aggregations. Zbl 1323.68362Basin, David; Klaedtke, Felix; Marinovic, Srdjan; Zălinescu, Eugen 1 2015 Greedily computing associative aggregations on sliding windows. Zbl 1302.68335Basin, David; Klaedtke, Felix; Zălinescu, Eugen 1 2015 Deciding safety and liveness in TPTL. Zbl 1371.68101Basin, David; Cotrini Jiménez, Carlos; Klaedtke, Felix; Zălinescu, Eugen 1 2014 Enforceable security policies revisited. Zbl 1354.68165Basin, David; Jugé, Vincent; Klaedtke, Felix; Zălinescu, Eugen 5 2012 Multi-assignment clustering for Boolean data. Zbl 1283.68288Frank, Mario; Streich, Andreas P.; Basin, David; Buhmann, Joachim M. 3 2012 Provably repairing the ISO/IEC 9798 standard for entity authentication. Zbl 1354.94055Basin, David; Cremers, Cas; Meier, Simon 3 2012 FAST: an efficient decision procedure for deduction and static equivalence. Zbl 1236.94073Conchinha, Bruno; Basin, David A.; Caleiro, Carlos 2 2011 Distributed temporal logic for the analysis of security protocol models. Zbl 1253.68053Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 2 2011 Degrees of security: protocol guarantees in the face of compromising adversaries. Zbl 1287.94049Basin, David; Cremers, Cas 3 2010 Labelled tableaux for distributed temporal logic. Zbl 1196.03044Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca 4 2009 Let’s get physical: Models and methods for real-world security protocols. Zbl 1252.68040Basin, David; Capkun, Srdjan; Schaller, Patrick; Schmidt, Benedikt 4 2009 Developing topology discovery in Event-B. Zbl 1192.68829Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond 1 2009 Developing topology discovery in Event-B. Zbl 1211.68028Hoang, Thai Son; Kuruma, Hironobu; Basin, David; Abrial, Jean-Raymond 1 2009 Runtime monitoring of metric first-order temporal properties. Zbl 1248.68318Basin, David; Klaedtke, Felix; Müller, Samuel; Pfitzmann, Birgit 5 2008 Verifying a signature architecture: a comparative case study. Zbl 1111.68075Basin, 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.68306Sprenger, Christoph; Basin, David 2 2007 On the semantics of Alice & Bob specifications of security protocols. Zbl 1153.94450Caleiro, Carlos; Viganò, Luca; Basin, David 6 2006 Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 26 2005 Algebraic intruder deductions. Zbl 1143.94339Basin, David; Mödersheim, Sebastian; Viganò, Luca 4 2005 Relating strand spaces and distributed temporal logic for security protocol analysis. Zbl 1098.03039Caleiro, Carlos; Viganò, Luca; Basin, David 4 2005 Metareasoning about security protocols using distributed temporal logic. Zbl 1272.68051Caleiro, Carlos; Viganò, Luca; Basin, David 3 2005 Deconstructing Alice and Bob. Zbl 1272.68052Caleiro, Carlos; Viganò, Luca; Basin, David 2 2005 Verification of a signature architecture with HOL-Z. Zbl 1120.68407Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart 2 2005 Reflective metalogical frameworks. Zbl 1407.03045Basin, David; Clavel, Manuel; Meseguer, José 7 2004 Synthesis of programs in computational logic. Zbl 1080.68562Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen 6 2004 Towards an awareness-based semantics for security protocol analysis. Zbl 1268.94022Accorsi, Rafael; Basin, David; Viganò, Luca 2 2003 QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. Zbl 1019.68597Ayari, Abdelwaheb; Basin, David 12 2002 Verified bytecode model checkers. Zbl 1013.68544Basin, David; Friedrich, Stefan; Gawkowski, Marek 3 2002 The AVISS security protocol analysis tool. Zbl 1010.68795Armando, 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.68738Lodderstedt, Torsten; Basin, David; Doser, Jürgen 2 2002 Automated complexity analysis based on ordered resolution. Zbl 1320.68163Basin, David; Ganzinger, Harald 13 2001 A higher-order interpretation of deductive tableau. Zbl 0972.68509Ayari, Abdelwaheb; Basin, David 1 2001 Rewriting logic as a metalogical framework. Zbl 1044.03020Basin, David; Clavel, Manuel; Meseguer, José 6 2000 Combining WS1S and HOL. Zbl 0988.03024Basin, David; Friedrich, Stefan 6 2000 Bounded model construction for monadic second-order logics. Zbl 0974.68115Ayari, Abdelwaheb; Basin, David 4 2000 Maude versus Haskell: An experimental comparison in security protocol analysis. Zbl 0962.68056Basin, David; Denker, Grit 3 2000 Structuring metatheory on inductive definitions. Zbl 1005.03008Basin, David; Matthews, Seán 1 2000 Decision procedures for inductive Boolean functions based on alternating automata. Zbl 0974.94033Ayari, Abdelwaheb; Basin, David; Klaedtke, Felix 1 2000 Java bytecode verification by model checking. System abstract. Zbl 1046.68575Basin, David; Friedrich, Stefan; Posegga, Joachim; Vogt, Harald 1 1999 Natural deduction for non-classical logics. Zbl 0954.03010Basin, David; Matthews, Seán; Viganò, Luca 7 1998 Search in games with incomplete information: a case study using Bridge card play. Zbl 0906.68049Frank, Ian; Basin, David 4 1998 A modular presentation of modal logics in a logical framework. Zbl 0956.03008Basin, David; Matthews, Seán; Viganò, Luca 1 1998 Labelled modal logics: Quantifiers. Zbl 0933.03016Basin, David; Matthews, Seán; Viganò, Luca 1 1998 Labelled propositional modal logics: Theory and practice. Zbl 0902.03007Basin, David; Matthews, Seán; Viganò, Luca 7 1997 A new method for bounding the complexity of modal logics. Zbl 0886.03039Basin, David; Matthews, Seán; Viganò, Luca 3 1997 A calculus for and termination of rippling. Zbl 0847.68105Basin, David A.; Walsh, Toby 7 1996 Middle-out reasoning for synthesis and induction. Zbl 0847.68104Kraan, Ina; Basin, David; Bundy, Alan 6 1996 Structuring metatheory on inductive definitions. Zbl 1412.68205Basin, David; Matthews, Seán 1 1996 Adding metatheoretic facilities to first-order theories. Zbl 0868.03006Basin, David; Matthews, Seán 1 1996 A term equality problem equivalent to graph isomorphism. Zbl 0813.68149Basin, David A. 1 1994 Metalogical frameworks. Zbl 0922.03019Basin, David A.; Constable, Robert L. 9 1993 Difference matching. Zbl 0925.68401Basin, David; Walsh, Toby 8 1992 The Boyer-Moore prover and Nuprl: An experimental comparison. Zbl 0799.68169Basin, David; Kaufmann, Matt 6 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 39 Serials 21 Journal of Automated Reasoning 15 Information and Computation 14 Theoretical Computer Science 12 Formal Methods in System Design 6 Artificial Intelligence 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Applied Logic 5 Journal of Symbolic Computation 5 The Journal of Logic and Algebraic Programming 4 Information Processing Letters 4 Journal of Applied Non-Classical Logics 3 Annals of Pure and Applied Logic 3 Formal Aspects of Computing 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Information Sciences 2 Synthese 2 ACM Transactions on Computational Logic 2 The Review of Symbolic Logic 1 Acta Informatica 1 Journal of Mathematical Analysis and Applications 1 Journal of Philosophical Logic 1 Algorithmica 1 Journal of Cryptology 1 Machine Learning 1 Designs, Codes and Cryptography 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Journal of Functional Programming 1 Constraints 1 Theory of Computing Systems 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 Mathematics in Computer Science 1 Logica Universalis 1 Advances in Mathematics of Communications 1 Logical Methods in Computer Science 1 Matematicheskaya Teoriya Igr i eë Prilozheniya all top 5 Cited in 13 Fields 165 Computer science (68-XX) 71 Mathematical logic and foundations (03-XX) 22 Information and communication theory, circuits (94-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 2 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year