×
Author ID: veith.helmut Recent zbMATH articles by "Veith, Helmut"
Published as: Veith, Helmut; Veith, H.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 64 Publications since 1995, including 2 Books
5 Contributions as Editor
Biographic References: 5 Publications
Co-Authors: 75 Co-Authors with 65 Joint Publications
2,001 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 738 times in 559 Documents Cited by Year
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
153
2000
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
115
2003
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
62
2018
Handbook of model checking. Zbl 1390.68001
43
2018
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
32
2015
Complexity and resource bound analysis of imperative programs using difference constraints. Zbl 1409.68076
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
19
2017
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
18
2002
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
17
1999
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
16
2008
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
16
2004
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
12
2017
Environment abstraction for parameterized verification. Zbl 1176.68117
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut
11
2006
Succinct representation, leaf languages, and projection reductions. Zbl 0909.68079
Veith, Helmut
11
1998
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
11
2014
SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172
Konnov, Igor; Veith, Helmut; Widder, Josef
10
2015
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176
Konnov, Igor; Veith, Helmut; Widder, Josef
10
2017
Parameterized model checking of rendezvous systems. Zbl 1417.68112
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
10
2014
Proving Ptolemy right: The environment abstraction framework for model checking concurrent systems. Zbl 1134.68403
Clarke, Edmund; Talupur, Murali; Veith, Helmut
9
2008
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
9
1999
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1995
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136
Konnov, Igor; Veith, Helmut; Widder, Josef
8
2014
Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133
Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef
8
2014
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
How to encode a logical structure by an OBDD. Zbl 0935.68051
Veith, Helmut
7
1998
An abstract interpretation-based framework for control flow reconstruction from binaries. Zbl 1206.68091
Kinder, Johannes; Zuleger, Florian; Veith, Helmut
6
2009
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
Counterexamples revisited: principles, algorithms, applications. Zbl 1274.68179
Clarke, Edmund; Veith, Helmut
6
2003
Parameterized model checking of rendezvous systems. Zbl 1451.68165
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
6
2018
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
6
2016
Languages represented by Boolean formulas. Zbl 1337.68139
Veith, Helmut
6
1997
Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Zbl 1268.68032
6
2013
The first order definability of graphs: Upper bounds for quantifier depth. Zbl 1109.03023
Pikhurko, Oleg; Veith, Helmut; Verbitsky, Oleg
5
2006
\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
5
2017
What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115
Konnov, Igor; Veith, Helmut; Widder, Josef
5
2016
Encoding treewidth into SAT. Zbl 1247.68259
Samer, Marko; Veith, Helmut
4
2009
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
4
2005
On the notion of vacuous truth. Zbl 1137.68438
Samer, Marko; Veith, Helmut
4
2007
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
Information reuse for multi-goal reachability analyses. Zbl 1381.68148
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
4
2013
Parameterized vacuity. Zbl 1117.68436
Samer, Marko; Veith, Helmut
3
2004
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Query-driven program testing. Zbl 1206.68089
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
3
2009
Validity of CTL queries revisited. Zbl 1116.03320
Samer, Marko; Veith, Helmut
3
2003
Empirical software metrics for benchmarking of verification tools. Zbl 1360.68371
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
3
2017
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
A syntactic characterization of distributive LTL queries. Zbl 1099.68058
Samer, Marko; Veith, Helmut
2
2004
Local linearizability for concurrent container-type data structures. Zbl 1392.68152
Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas; Kirsch, Christoph M.; Lippautz, Michael; Payer, Hannes; Sezgin, Ali; Sokolova, Ana; Veith, Helmut
2
2016
An introduction to test specification in FQL. Zbl 1325.68148
Holzer, Andreas; Tautschnig, Michael; Schallhart, Christian; Veith, Helmut
2
2011
Generalized quantifiers in logic programs. Zbl 0966.68043
Eiter, Thomas; Gottlob, Georg; Veith, Helmut
1
1999
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
On the automated verification of web applications with embedded SQL. Zbl 1402.68123
Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian
1
2017
Introduction to model checking. Zbl 1392.68242
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut
1
2018
On compiling Boolean circuits optimized for secure multi-party computation. Zbl 1386.68020
Büscher, Niklas; Franz, Martin; Holzer, Andreas; Veith, Helmut; Katzenbeisser, Stefan
1
2017
On the structure and complexity of rational sets of regular languages. Zbl 1359.68170
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
1
2013
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
2014
Model checking. 2nd expanded and updated edition. Zbl 1423.68002
Clarke, Edmund M. jun.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
62
2018
Handbook of model checking. Zbl 1390.68001
43
2018
Parameterized model checking of rendezvous systems. Zbl 1451.68165
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
6
2018
Introduction to model checking. Zbl 1392.68242
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut
1
2018
Complexity and resource bound analysis of imperative programs using difference constraints. Zbl 1409.68076
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
19
2017
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
12
2017
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176
Konnov, Igor; Veith, Helmut; Widder, Josef
10
2017
\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279
Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef
5
2017
Empirical software metrics for benchmarking of verification tools. Zbl 1360.68371
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
3
2017
On the automated verification of web applications with embedded SQL. Zbl 1402.68123
Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian
1
2017
On compiling Boolean circuits optimized for secure multi-party computation. Zbl 1386.68020
Büscher, Niklas; Franz, Martin; Holzer, Andreas; Veith, Helmut; Katzenbeisser, Stefan
1
2017
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
6
2016
What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115
Konnov, Igor; Veith, Helmut; Widder, Josef
5
2016
Local linearizability for concurrent container-type data structures. Zbl 1392.68152
Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas; Kirsch, Christoph M.; Lippautz, Michael; Payer, Hannes; Sezgin, Ali; Sokolova, Ana; Veith, Helmut
2
2016
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
32
2015
SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172
Konnov, Igor; Veith, Helmut; Widder, Josef
10
2015
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
11
2014
Parameterized model checking of rendezvous systems. Zbl 1417.68112
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
10
2014
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136
Konnov, Igor; Veith, Helmut; Widder, Josef
8
2014
Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133
Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef
8
2014
On the complexity of symbolic verification and decision problems in bit-vector logic. Zbl 1426.68127
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin
1
2014
Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Zbl 1268.68032
6
2013
Information reuse for multi-goal reachability analyses. Zbl 1381.68148
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
4
2013
On the structure and complexity of rational sets of regular languages. Zbl 1359.68170
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
1
2013
An introduction to test specification in FQL. Zbl 1325.68148
Holzer, Andreas; Tautschnig, Michael; Schallhart, Christian; Veith, Helmut
2
2011
An abstract interpretation-based framework for control flow reconstruction from binaries. Zbl 1206.68091
Kinder, Johannes; Zuleger, Florian; Veith, Helmut
6
2009
Encoding treewidth into SAT. Zbl 1247.68259
Samer, Marko; Veith, Helmut
4
2009
Query-driven program testing. Zbl 1206.68089
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut
3
2009
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
16
2008
Proving Ptolemy right: The environment abstraction framework for model checking concurrent systems. Zbl 1134.68403
Clarke, Edmund; Talupur, Murali; Veith, Helmut
9
2008
On the notion of vacuous truth. Zbl 1137.68438
Samer, Marko; Veith, Helmut
4
2007
Environment abstraction for parameterized verification. Zbl 1176.68117
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut
11
2006
The first order definability of graphs: Upper bounds for quantifier depth. Zbl 1109.03023
Pikhurko, Oleg; Veith, Helmut; Verbitsky, Oleg
5
2006
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
4
2005
Verification by network decomposition. Zbl 1099.68653
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut
16
2004
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
Parameterized vacuity. Zbl 1117.68436
Samer, Marko; Veith, Helmut
3
2004
A syntactic characterization of distributive LTL queries. Zbl 1099.68058
Samer, Marko; Veith, Helmut
2
2004
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
115
2003
Counterexamples revisited: principles, algorithms, applications. Zbl 1274.68179
Clarke, Edmund; Veith, Helmut
6
2003
Validity of CTL queries revisited. Zbl 1116.03320
Samer, Marko; Veith, Helmut
3
2003
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
18
2002
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
153
2000
An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. Zbl 0943.03020
Baaz, Matthias; Veith, Helmut
3
2000
Interpolation in fuzzy logic. Zbl 0936.03026
Baaz, Matthias; Veith, Helmut
17
1999
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
9
1999
Quantifier elimination in fuzzy logic. Zbl 0933.03022
Baaz, Matthias; Veith, Helmut
4
1999
Generalized quantifiers in logic programs. Zbl 0966.68043
Eiter, Thomas; Gottlob, Georg; Veith, Helmut
1
1999
Succinct representation, leaf languages, and projection reductions. Zbl 0909.68079
Veith, Helmut
11
1998
How to encode a logical structure by an OBDD. Zbl 0935.68051
Veith, Helmut
7
1998
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
Languages represented by Boolean formulas. Zbl 1337.68139
Veith, Helmut
6
1997
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1995
all top 5

Cited by 1,081 Authors

16 Veith, Helmut
11 Widder, Josef
10 Kröning, Daniel
9 Eiter, Thomas
9 Esparza, Javier
9 Kupferman, Orna
9 Zuleger, Florian
8 Cimatti, Alessandro
8 Grumberg, Orna
7 Clarke, Edmund Melson jun.
7 Tonetta, Stefano
6 Gottlob, Georg
6 Henzinger, Thomas A.
6 Leone, Nicola
6 Marques-Silva, João P.
6 Montagna, Franco
6 Sharygina, Natasha
6 Vardi, Moshe Ya’akov
5 Baaz, Matthias
5 Duan, Zhenhua
5 Giacobazzi, Roberto
5 Gurfinkel, Arie
5 Janota, Mikoláš
5 Podelski, Andreas
5 Raskin, Mikhail
5 Rubin, Sasha
5 Schuppan, Viktor
5 Shoham, Sharon
5 Weissenbacher, Georg
5 Zhang, Nan
4 Abdulla, Parosh Aziz
4 Aminof, Benjamin
4 Balasubramanian, A. R.
4 Bozga, Marius
4 Chaki, Sagar
4 Delzanno, Giorgio
4 Faber, Wolfgang
4 Ghilardi, Silvio
4 Griggio, Alberto
4 Haniková, Zuzana
4 Hoenicke, Jochen
4 Iosif, Radu
4 Jansen, Nils
4 Järvisalo, Matti
4 Kamide, Norihiro
4 Lazić, Marijana
4 Lohrey, Markus
4 Marchioni, Enrico
4 Meyer, Roland
4 Otop, Jan
4 Raskin, Jean-François
4 Reynolds, Mark Alexander
4 Rümmer, Philipp
4 Rybalchenko, Andrey
4 Spegni, Francesco
4 Tian, Cong
4 Verbitsky, Oleg
4 Woltran, Stefan
4 Zhang, Lijun
3 Albert, Elvira
3 Alberti, Francesco
3 Anureev, Igor’ Sergeevich
3 Avni, Guy
3 Barrett, Clark W.
3 Bertrand, Nathalie
3 Beyer, Dirk
3 Bloem, Roderick
3 Bollig, Benedikt
3 Bourhis, Pierre
3 Bouyer, Patricia
3 Chatterjee, Krishnendu
3 Chockler, Hana
3 Dang, Thao
3 Ganty, Pierre
3 Gastin, Paul
3 Giesl, Jürgen
3 Gottwald, Siegfried
3 Gupta, Aarti
3 Hajdu, Ákos
3 Kiefer, Stefan
3 Larsen, Kim Guldstrand
3 Legay, Axel
3 Leucker, Martin
3 Liu, Yang
3 Majumdar, Rupak
3 Majzik, Istvan
3 Martí-Oliet, Narciso
3 Mastroeni, Isabella
3 Metcalfe, George
3 Mover, Sergio
3 Murano, Aniello
3 Niskanen, Andreas
3 Pagani, Elena
3 Păsăreanu, Corina S.
3 Piazza, Carla
3 Ranzato, Francesco
3 Roveri, Marco
3 Scharpfenecker, Patrick
3 Schmidt, David A.
3 Shirmohammadi, Mahsa
...and 981 more Authors
all top 5

Cited in 75 Serials

49 Formal Methods in System Design
30 Theoretical Computer Science
25 Information and Computation
24 Formal Aspects of Computing
18 Artificial Intelligence
12 Journal of Automated Reasoning
11 Acta Informatica
11 Logical Methods in Computer Science
8 Journal of Logical and Algebraic Methods in Programming
7 Fuzzy Sets and Systems
7 Programming and Computer Software
6 Journal of Computer and System Sciences
6 Science of Computer Programming
6 Archive for Mathematical Logic
6 Annals of Mathematics and Artificial Intelligence
6 Fundamenta Informaticae
6 Theory and Practice of Logic Programming
5 Annals of Pure and Applied Logic
5 Theory of Computing Systems
5 Soft Computing
4 Automatica
4 Studia Logica
4 Journal of Symbolic Computation
4 Discrete Event Dynamic Systems
4 Modelirovanie i Analiz Informatsionnykh Sistem
3 Information Processing Letters
3 Real-Time Systems
3 Distributed Computing
3 Journal of Logic, Language and Information
3 Nonlinear Analysis. Hybrid Systems
2 Order
2 Journal of Computer Science and Technology
2 MSCS. Mathematical Structures in Computer Science
2 International Journal of Foundations of Computer Science
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of Combinatorial Optimization
2 International Journal of Applied Mathematics and Computer Science
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
2 ACM Transactions on Computational Logic
2 Science China. Information Sciences
1 International Journal of General Systems
1 Computing
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Synthese
1 European Journal of Combinatorics
1 New Generation Computing
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 Journal of Cryptology
1 AI Communications
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Cybernetics and Systems Analysis
1 Journal of Applied Non-Classical Logics
1 Combinatorics, Probability and Computing
1 Mathematical Logic Quarterly (MLQ)
1 The Electronic Journal of Combinatorics
1 Journal of Functional Programming
1 The Bulletin of Symbolic Logic
1 Constraints
1 European Journal of Control
1 Informatica (Vilnius)
1 Higher-Order and Symbolic Computation
1 Foundations of Science
1 Journal of Applied Logic
1 Mathematical Biosciences and Engineering
1 Science in China. Series F
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Foundations and Trends in Theoretical Computer Science
1 Games
1 Numerical Algebra, Control and Optimization
1 Frontiers of Computer Science in China
1 Computer Science Review

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.