×

zbMATH — the first resource for mathematics

Becker, Bernd

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

Co-Authors

4 single-authored
15 Wimmer, Ralf D.
10 Ábrahám, Erika
10 Drechsler, Rolf
7 Schubert, Tobias
6 Lewis, Matthew D. T.
6 Molitor, Paul
5 Scholl, Christoph
4 Braitling, Bettina
4 Herbstritt, Marc
4 Hermanns, Holger
4 Jansen, Nils
4 Katoen, Joost-Pieter
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 Karrenbauer, Andreas
1 Katelaan, Jens
1 Klaedtke, Felix
1 Kortus, Alexander
1 Kreuzer, Martin
1 Loup, Ulrich
1 Martin, Michael Tavis
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 Sturm, Thomas F.
1 Sturm, Thomas P.
1 Theobald, Michael
1 Weis, Thomas

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 123 times in 107 Documents Cited by Year
How robust is the n-cube? Zbl 0647.68007
Becker, Bernd; Simon, Hans-Ulrich
15
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
10
2016
On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020
Becker, B.; Hotz, G.
10
1987
PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057
Schubert, Tobias; Lewis, Matthew; Becker, Bernd
8
2009
BDDs in a branch and cut framework. Zbl 1121.90422
Becker, Bernd; Behle, Markus; Eisenbrand, Friedrich; Wimmer, Ralf
8
2005
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
6
2005
On the relation between BDDs and FDDs. Zbl 0839.68022
Becker, Bernd; Drechsler, Rolf; Werchner, Ralph
4
1995
Preprocessing for DQBF ralf. Zbl 06512572
Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd
3
2015
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
Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. Zbl 1306.68168
Miller, Christian; Kupferschmid, Stefan; Lewis, Matthew; Becker, Bernd
3
2010
Counterexample generation for discrete-time Markov chains using bounded model checking. Zbl 1206.68195
Wimmer, Ralf; Braitling, Bettina; Becker, Bernd
3
2009
Orthogonal hypergraph drawing for improved visibility. Zbl 1161.68665
Eschbach, Thomas; Guenther, Wolfgang; Becker, Bernd
3
2006
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
2015
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
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
Crossing reduction by windows optimization. Zbl 1037.68583
Eschbach, Thomas; Günther, Wolfgang; Drechsler, Rolf; Becker, Bernd
2
2002
Satisfiability problems for OFDDs. Zbl 0849.68057
Werchner, Ralph; Harich, Thilo; Drechsler, Rolf; Becker, Bernd
2
1996
Layouts with wires of balanced length. Zbl 0622.94033
Becker, B.; Osthof, H. G.
2
1987
Dynamic polynomial watchdog encoding for solving weighted maxsat. Zbl 06916298
Paxian, Tobias; Reimer, Sven; Becker, Bernd
1
2018
Integrating algebraic and SAT solvers. Zbl 07036049
Horáček, Jan; Burchard, Jan; Becker, Bernd; Kreuzer, Martin
1
2017
Dependency schemes for DQBF. Zbl 06623529
Wimmer, Ralf; Scholl, Christoph; Wimmer, Karina; Becker, Bernd
1
2016
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
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
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
Graph-based function representation. Boolean and pseudo-boolean functions. Zbl 0914.06004
Drechsler, Rolf; Becker, Bernd
1
1998
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
On the construction of optimal time adders. Zbl 0647.94024
Becker, Bernd; Kolla, Reiner
1
1988
An easily testable optimal-time VLSI-multiplier. Zbl 0602.94019
Becker, Bernd
1
1987
A logic-topological calculus for the construction of integrated circuits. I. Zbl 0617.94013
Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul
1
1986
Efficient testing of optimal time adders. Zbl 0604.94015
Becker, Bernd
1
1986
Layouts with wires of balanced length. Zbl 0567.94028
Becker, B.; Osthof, H. G.
1
1985
Dynamic polynomial watchdog encoding for solving weighted maxsat. Zbl 06916298
Paxian, Tobias; Reimer, Sven; Becker, Bernd
1
2018
Integrating algebraic and SAT solvers. Zbl 07036049
Horáček, Jan; Burchard, Jan; Becker, Bernd; Kreuzer, Martin
1
2017
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
10
2016
Dependency schemes for DQBF. Zbl 06623529
Wimmer, Ralf; Scholl, Christoph; Wimmer, Karina; Becker, Bernd
1
2016
Preprocessing for DQBF ralf. Zbl 06512572
Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd
3
2015
Verification of partial designs using incremental QBF. Zbl 1373.68382
Miller, Christian; Marin, Paolo; Becker, Bernd
2
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
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
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
8
2005
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
6
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. 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
4
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
15
1988
On the construction of optimal time adders. Zbl 0647.94024
Becker, Bernd; Kolla, Reiner
1
1988
On the optimal layout of planar graphs with fixed boundary. Zbl 0625.05020
Becker, B.; Hotz, G.
10
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
A logic-topological calculus for the construction of integrated circuits. I. Zbl 0617.94013
Hotz, Günter; Becker, Bernd; Kolla, Reiner; Molitor, Paul
1
1986
Efficient testing of optimal time adders. Zbl 0604.94015
Becker, Bernd
1
1986
Layouts with wires of balanced length. Zbl 0567.94028
Becker, B.; Osthof, H. G.
1
1985
all top 5

Cited by 234 Authors

13 Becker, Bernd
7 Ábrahám, Erika
6 Davenport, James Harold
5 England, Matthew
5 Wimmer, Ralf D.
4 Cimatti, Alessandro
4 Ciré, André Augusto
4 Wang, Shiying
3 Bergman, David J.
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 Löbbing, Martin
3 Lonsing, Florian
3 Teige, Tino
3 van Hoeve, Willem-Jan
3 Wegener, Ingo
2 Bergman, David R.
2 Beyersdorff, Olaf
2 Bollig, Beate
2 Bonabeau, Eric
2 Chew, Leroy
2 Colbourn, Charles J.
2 De Bonis, Annalisa
2 Dehnert, Christian
2 Egly, Uwe
2 Feng, Kai
2 Hooker, John N. jun.
2 Jansen, Nils
2 Latifi, Shahram
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 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 Blinkhorn, Joshua
1 Böde, Eckard
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, Patrick
1 Eades, Peter
1 Engelke, Piet
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
...and 134 more Authors
all top 5

Cited in 44 Serials

8 Theoretical Computer Science
7 Journal of Symbolic Computation
7 Formal Methods in System Design
5 Information Processing Letters
5 Constraints
4 Discrete Applied Mathematics
3 Information Sciences
3 Information and Computation
3 INFORMS Journal on Computing
2 Acta Informatica
2 Programming and Computer Software
2 Journal of Automated Reasoning
2 Formal Aspects of Computing
2 Annals of Mathematics and Artificial Intelligence
2 Mathematics in Computer Science
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.