×

zbMATH — the first resource for mathematics

Becker, Bernd

Compute Distance To:
Author ID: becker.bernd Recent zbMATH articles by "Becker, Bernd"
Published as: Becker, Bernd; Becker, B.; Becker, Bernd W.
Homepage: http://ira.informatik.uni-freiburg.de/~becker/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 68 Publications since 1982, including 3 Books
all top 5

Co-Authors

4 single-authored
16 Wimmer, Ralf D.
10 Ábrahám, Erika
10 Drechsler, Rolf
7 Schubert, Tobias
6 Lewis, Matthew D. T.
6 Molitor, Paul
5 Jansen, Nils
5 Katoen, Joost-Pieter
5 Scholl, Christoph
4 Braitling, Bettina
4 Herbstritt, Marc
4 Hermanns, Holger
4 Kolla, Reiner
4 Kupferschmid, Stefan
3 Ferrer Fioriti, Luis María
3 Günther, Wolfgang
3 Hatefi, Hassan
3 Hotz, Günter
3 Sauer, Matthias
3 Sparmann, Uwe
2 Abbott, John A.
2 Bigatti, Anna Maria
2 Brain, Martin
2 Buchberger, Bruno
2 Burchard, Jan
2 Cimatti, Alessandro
2 Davenport, James Harold
2 England, Matthew
2 Eschbach, Thomas
2 Fontaine, Pascal
2 Forrest, Stephen
2 Griggio, Alberto
2 Hartmann, Joachim
2 Keim, Martin
2 Kröning, Daniel
2 Marin, Paolo
2 Miller, Christian R.
2 Osthof, Hans Georg
2 Polian, Ilia
2 Reimer, Sven
2 Seiler, Werner M.
2 Steffen, Martin
2 Werchner, Ralph
2 Wimmer, Karina
1 Althaus, Ernst
1 Andres, Benjamin
1 Becker, Ruben
1 Behle, Markus
1 Corzilius, Florian
1 Czutro, Alexander
1 Dehnert, Christian
1 Dumitriu, Daniel
1 Ehlers, Rüdiger
1 Eisenbrand, Friedrich
1 Engelke, Piet
1 Fränzle, Martin
1 Gebser, Martin
1 Gitina, Karina
1 Große, Daniel
1 Hahn, Ralf
1 Harich, Thilo
1 Herde, Christian
1 Horáček, Jan
1 Junges, Sebastian
1 Karrenbauer, Andreas
1 Katelaan, Jens
1 Klaedtke, Felix
1 Kortus, Alexander
1 Kreuzer, Martin
1 Loup, Ulrich
1 Nist, Jennifer
1 Paxian, Tobias
1 Reddy, Sudhakar M.
1 Schaub, Torsten H.
1 Scheibler, Karsten
1 Schmiedle, Frank
1 Schönfeld, Robby
1 Simon, Hans-Ulrich
1 Strampp, Kelley
1 Theobald, Michael
1 Topcu, Ufuk
1 Weis, Thomas
1 Winterer, Leonore

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 115 times in 107 Documents Cited by Year
How robust is the n-cube? Zbl 0647.68007
Becker, Bernd; Simon, Hans-Ulrich
14
1988
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
11
2016
BDDs in a branch and cut framework. Zbl 1121.90422
Becker, Bernd; Behle, Markus; Eisenbrand, Friedrich; Wimmer, Ralf
10
2005
On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020
Becker, B.; Hotz, G.
9
1987
PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057
Schubert, Tobias; Lewis, Matthew; Becker, Bernd
8
2009
SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631
Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd
7
2006
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274
Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd
6
2013
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
5
2005
On the relation between BDDs and FDDs. Zbl 0839.68022
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph
3
1995
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
3
2012
Orthogonal hypergraph drawing for improved visibility. Zbl 1161.68665
Eschbach, Thomas; Guenther, Wolfgang; Becker, Bernd
3
2006
Counterexample generation for discrete-time Markov chains using bounded model checking. Zbl 1206.68195
Wimmer, Ralf; Braitling, Bettina; Becker, Bernd
3
2009
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
3
2011
Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. Zbl 1306.68168
Miller, Christian; Kupferschmid, Stefan; Lewis, Matthew; Becker, Bernd
3
2010
Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026
Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd
2
2010
Satisfiability problems for OFDDs. Zbl 0849.68057
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd
2
1996
Crossing reduction by windows optimization. Zbl 1037.68583
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd
2
2002
Craig interpolation in the presence of non-linear constraints. Zbl 1348.68141
Kupferschmid, Stefan; Becker, Bernd
2
2011
Layouts with wires of balanced length. Zbl 0622.94033
Becker, B.; Osthof, H. G.
2
1987
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
2
2011
Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004
Drechsler, Rolf; Becker, Bernd
1
1998
A uniform test approach for RCC-adders. Zbl 0716.94021
Becker, Bernd; Sparmann, Uwe
1
1991
Integration of an LP solver into interval constraint propagation. Zbl 1342.68307
Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
1
2011
The demand for reliability in probabilistic verification. Zbl 1156.68480
Wimmer, Ralf; Kortus, Alexander; Herbstritt, Marc; Becker, Bernd
1
2008
Conflict-based selection of branching rules. Zbl 1204.68199
Herbstritt, Marc; Becker, Bernd
1
2004
An easily testable optimal-time VLSI-multiplier. Zbl 0602.94019
Becker, Bernd
1
1987
Efficient testing of optimal time adders. Zbl 0604.94015
Becker, Bernd
1
1986
A logic-topological calculus for the construction of integrated circuits. I. (Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise. I.) Zbl 0617.94013
Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul
1
1986
Layouts with wires of balanced length. Zbl 0567.94028
Becker, B.; Osthof, H. G.
1
1985
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
1
2014
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046
Becker, Bernd; Drechsler, Rolf; Theobald, Michael
1
1995
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
11
2016
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
Abstraction-based computation of reward measures for Markov automata. Zbl 1432.68217
Braitling, Bettina; Ferrer Fioriti, Luis María; Hatefi, Hassan; Wimmer, Ralf; Becker, Bernd; Hermanns, Holger
1
2015
Cost vs. time in stochastic games and Markov automata. Zbl 1369.68253
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd
1
2015
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
1
2014
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274
Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd
6
2013
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
3
2012
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
3
2011
Craig interpolation in the presence of non-linear constraints. Zbl 1348.68141
Kupferschmid, Stefan; Becker, Bernd
2
2011
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
2
2011
Integration of an LP solver into interval constraint propagation. Zbl 1342.68307
Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
1
2011
Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. Zbl 1306.68168
Miller, Christian; Kupferschmid, Stefan; Lewis, Matthew; Becker, Bernd
3
2010
Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026
Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd
2
2010
PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057
Schubert, Tobias; Lewis, Matthew; Becker, Bernd
8
2009
Counterexample generation for discrete-time Markov chains using bounded model checking. Zbl 1206.68195
Wimmer, Ralf; Braitling, Bettina; Becker, Bernd
3
2009
The demand for reliability in probabilistic verification. Zbl 1156.68480
Wimmer, Ralf; Kortus, Alexander; Herbstritt, Marc; Becker, Bernd
1
2008
SIGREF – a symbolic bisimulation tool box. Zbl 1161.68631
Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd
7
2006
Orthogonal hypergraph drawing for improved visibility. Zbl 1161.68665
Eschbach, Thomas; Guenther, Wolfgang; Becker, Bernd
3
2006
BDDs in a branch and cut framework. Zbl 1121.90422
Becker, Bernd; Behle, Markus; Eisenbrand, Friedrich; Wimmer, Ralf
10
2005
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
5
2005
Conflict-based selection of branching rules. Zbl 1204.68199
Herbstritt, Marc; Becker, Bernd
1
2004
Crossing reduction by windows optimization. Zbl 1037.68583
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd
2
2002
Graph-based function representation. Boolean and pseudo-boolean functions. (Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen.) Zbl 0914.06004
Drechsler, Rolf; Becker, Bernd
1
1998
Satisfiability problems for OFDDs. Zbl 0849.68057
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd
2
1996
On the relation between BDDs and FDDs. Zbl 0839.68022
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph
3
1995
OKFDDs versus OBDDs and OFDDs. Zbl 1412.68046
Becker, Bernd; Drechsler, Rolf; Theobald, Michael
1
1995
A uniform test approach for RCC-adders. Zbl 0716.94021
Becker, Bernd; Sparmann, Uwe
1
1991
How robust is the n-cube? Zbl 0647.68007
Becker, Bernd; Simon, Hans-Ulrich
14
1988
On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020
Becker, B.; Hotz, G.
9
1987
Layouts with wires of balanced length. Zbl 0622.94033
Becker, B.; Osthof, H. G.
2
1987
An easily testable optimal-time VLSI-multiplier. Zbl 0602.94019
Becker, Bernd
1
1987
Efficient testing of optimal time adders. Zbl 0604.94015
Becker, Bernd
1
1986
A logic-topological calculus for the construction of integrated circuits. I. (Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise. I.) Zbl 0617.94013
Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul
1
1986
Layouts with wires of balanced length. Zbl 0567.94028
Becker, B.; Osthof, H. G.
1
1985
all top 5

Cited by 228 Authors

11 Becker, Bernd
6 Ábrahám, Erika
6 Davenport, James Harold
5 England, Matthew
5 Wimmer, Ralf D.
4 Cimatti, Alessandro
4 Ciré, André Augusto
4 van Hoeve, Willem-Jan
3 Beyersdorff, Olaf
3 Bright, Curtis
3 Eggers, Andreas
3 Fränzle, Martin
3 Ganesh, Vijay
3 Griggio, Alberto
3 Hermanns, Holger
3 Katoen, Joost-Pieter
3 Kotsireas, Ilias S.
3 Kremer, Gereon
3 Lonsing, Florian
3 Teige, Tino
3 Wang, Shiying
2 Blinkhorn, Joshua
2 Bonabeau, Eric
2 Chew, Leroy
2 Colbourn, Charles J.
2 De Bonis, Annalisa
2 Dehnert, Christian
2 Egly, Uwe
2 Hooker, John N. jun.
2 Jansen, Nils
2 Latifi, Shahram
2 Löbbing, Martin
2 Lozano, Leonardo
2 Mover, Sergio
2 Rasga, João
2 Sarkar, Kaushik
2 Schmidt, Renate A.
2 Scholl, Christoph
2 Semenov, Aleksandr Anatol’evich
2 Sernadas, Cristina S.
2 Suda, Martin
2 Tonetta, Stefano
2 Vaccaro, Ugo
2 Wegener, Ingo
2 Yang, Yuxing
2 Zhang, Guozhen
1 Abbott, John A.
1 Abreu, Salvador
1 Ahmed, Tanbir
1 Althaus, Ernst
1 Balbach, Frank J.
1 Bauer, Matthew Steven
1 Behle, Markus
1 Bigatti, Anna Maria
1 Böde, Eckard
1 Bollig, Beate
1 Boulgakov, Alexandre
1 Bradford, Russell J.
1 Brain, Martin
1 Braitling, Bettina
1 Brandes, Ulrik
1 Bridge, James P.
1 Brown, Christopher W.
1 Bruni, Renato
1 Bu, Lei
1 Buchberger, Bruno
1 Bulychev, Peter E.
1 Burchard, Jan
1 Caniou, Yves
1 Chadha, Rohit
1 Christian, Tjandraatmadja
1 Codognet, Philippe
1 Cohen, Gérard Denis
1 Colin de Verdière, Éric
1 Cornelsen, Sabine
1 Correia, Pedro
1 Corzilius, Florian
1 Cowen, Leonore J.
1 Czutro, Alexander
1 Diaz, Daniel
1 Đoković, Dragomir Ž.
1 Drechsler, Rolf
1 Dumitriu, Daniel
1 Eades, Peter
1 Engelke, Piet
1 Feng, Kai
1 Ferrer Fioriti, Luis María
1 Figueira, José Rui
1 Fontaine, Pascal
1 Forrest, Stephen
1 Fujita, Hiroshi
1 Galligo, André
1 Gebler, Daniel E.
1 Gent, Ian Philip
1 Gibson-Robinson, Thomas
1 Gitina, Karina
1 Gortler, Steven J.
1 Gotsman, Craig
1 Grigor’ev, Dmitriĭ Yur’evich
1 Gröpl, Clemens
...and 128 more Authors
all top 5

Cited in 44 Serials

7 Theoretical Computer Science
7 Journal of Symbolic Computation
7 Formal Methods in System Design
5 Constraints
5 INFORMS Journal on Computing
4 Discrete Applied Mathematics
4 Information Processing Letters
3 Information Sciences
3 Journal of Automated Reasoning
3 Mathematics in Computer Science
2 Acta Informatica
2 Programming and Computer Software
2 Information and Computation
2 Formal Aspects of Computing
2 Annals of Mathematics and Artificial Intelligence
1 Artificial Intelligence
1 Computer Methods in Applied Mechanics and Engineering
1 Journal of Combinatorial Theory. Series A
1 Journal of Soviet Mathematics
1 Operations Research
1 Quaestiones Mathematicae
1 Operations Research Letters
1 Computer Aided Geometric Design
1 Journal of Computer Science and Technology
1 Algorithmica
1 International Journal of Parallel Programming
1 Computers & Operations Research
1 Computational Geometry
1 The Journal of Supercomputing
1 International Journal of Computer Mathematics
1 Opuscula Mathematica
1 Journal of Heuristics
1 Theory of Computing Systems
1 Journal of Combinatorial Optimization
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Journal of Applied Logic
1 Discrete Optimization
1 Logica Universalis
1 Nonlinear Analysis. Hybrid Systems
1 ACM Communications in Computer Algebra
1 Journal of Logical and Algebraic Methods in Programming
1 Prikladnaya Diskretnaya Matematika

Citations by Year

Wikidata Timeline

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