Edit Profile (opens in new tab) Beyer, Dirk Compute Distance To: Compute Author ID: beyer.dirk Published as: Beyer, Dirk; Beyer, D. Documents Indexed: 25 Publications since 1974, including 1 Book 7 Contributions as Editor Co-Authors: 27 Co-Authors with 25 Joint Publications 810 Co-Co-Authors all top 5 Co-Authors 7 single-authored 7 Sethi, Suresh P. 4 Huisman, Marieke 3 Henzinger, Thomas A. 2 Dangl, Matthias 2 Majumdar, Rupak 2 Taksar, Michael I. 2 Wendler, Philipp 1 Boreale, Michele 1 Cheng, Feng 1 Chlipala, Adam J. 1 Gulwani, Sumit 1 Holzer, Andreas 1 Jhala, Ranjit 1 Keller, Chantal 1 Kordon, Fabrice 1 Lewerentz, Claus 1 Noack, Andreas 1 Riedel, Manfred 1 Rybalchenko, Andrey 1 Schmidt, David A. 1 Simon, Frank U. 1 Spiessl, Martin 1 Steffen, Bernhard 1 Tautschnig, Michael 1 Théoduloz, Grégory 1 Veith, Helmut 1 Zufferey, Damien all top 5 Serials 6 Lecture Notes in Computer Science 4 Journal of Optimization Theory and Applications 3 Journal of Automated Reasoning 2 Moscow University Mathematics Bulletin 2 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika 1 International Journal of Systems Science 1 Insurance Mathematics & Economics 1 Optimization 1 International Series in Operations Research & Management Science Fields 19 Computer science (68-XX) 8 Operations research, mathematical programming (90-XX) 7 General and overarching topics; collections (00-XX) 5 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 132 times in 102 Documents Cited by ▼ Year ▼ Inventory models with Markovian demands and cost functions of polynomial growth. Zbl 0908.90108Beyer, D.; Sethi, S. P.; Taksar, M. 19 1998 Average cost optimality in inventory models with Markovian demands. Zbl 0873.90021Beyer, D.; Sethi, S. P. 18 1997 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 17 2007 Markovian demand inventory models. Zbl 1222.90001Beyer, Dirk; Cheng, Feng; Sethi, Suresh P.; Taksar, Michael 16 2010 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 11 2007 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited. Zbl 0943.90003Beyer, D.; Sethi, S. P. 9 1999 Information reuse for multi-goal reachability analyses. Zbl 1381.68148Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut 4 2013 Improvements in BDD-based reachability analysis of timed automata. Zbl 0977.68677Beyer, Dirk 4 2001 Can decision diagrams overcome state space explosion in real-time verification? Zbl 1279.68196Beyer, Dirk; Noack, Andreas 3 2003 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 3 2019 A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 An inventory model with Wiener demand process and positive lead time. Zbl 0818.90036Beyer, D. 3 1994 Impact of inheritance on metrics for size, coupling, and cohesion in object-oriented systems. Zbl 0977.68820Beyer, Dirk; Lewerentz, Claus; Simon, Frank 3 2001 Stochastic multiproduct inventory models with limited storage. Zbl 0984.90001Beyer, D.; Sethi, S. P.; Sridhar, R. 3 2001 A proof of the EOQ formula using quasi-variational inequalities. Zbl 1065.90501Beyer, Dirk; Sethi, Suresh P. 3 1998 Combining model checking and data-flow analysis. Zbl 1392.68231Beyer, Dirk; Gulwani, Sumit; Schmidt, David A. 2 2018 MetaVal: witness validation via verification. Zbl 1478.68145Beyer, Dirk; Spiessl, Martin 1 2020 Average cost optimality in inventory models with Markovian demands and lost sales. Zbl 1149.90005Beyer, Dirk; Sethi, Suresh P. 1 2005 Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029 1 2013 Remarks on the Swiss premium principle on positive risks. Zbl 0789.62085Beyer, Dirk; Riedel, Manfred 1 1993 MetaVal: witness validation via verification. Zbl 1478.68145Beyer, Dirk; Spiessl, Martin 1 2020 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 3 2019 A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 Combining model checking and data-flow analysis. Zbl 1392.68231Beyer, Dirk; Gulwani, Sumit; Schmidt, David A. 2 2018 Information reuse for multi-goal reachability analyses. Zbl 1381.68148Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut 4 2013 Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029 1 2013 Markovian demand inventory models. Zbl 1222.90001Beyer, Dirk; Cheng, Feng; Sethi, Suresh P.; Taksar, Michael 16 2010 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 17 2007 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 11 2007 Average cost optimality in inventory models with Markovian demands and lost sales. Zbl 1149.90005Beyer, Dirk; Sethi, Suresh P. 1 2005 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Can decision diagrams overcome state space explosion in real-time verification? Zbl 1279.68196Beyer, Dirk; Noack, Andreas 3 2003 Improvements in BDD-based reachability analysis of timed automata. Zbl 0977.68677Beyer, Dirk 4 2001 Impact of inheritance on metrics for size, coupling, and cohesion in object-oriented systems. Zbl 0977.68820Beyer, Dirk; Lewerentz, Claus; Simon, Frank 3 2001 Stochastic multiproduct inventory models with limited storage. Zbl 0984.90001Beyer, D.; Sethi, S. P.; Sridhar, R. 3 2001 The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited. Zbl 0943.90003Beyer, D.; Sethi, S. P. 9 1999 Inventory models with Markovian demands and cost functions of polynomial growth. Zbl 0908.90108Beyer, D.; Sethi, S. P.; Taksar, M. 19 1998 A proof of the EOQ formula using quasi-variational inequalities. Zbl 1065.90501Beyer, Dirk; Sethi, Suresh P. 3 1998 Average cost optimality in inventory models with Markovian demands. Zbl 0873.90021Beyer, D.; Sethi, S. P. 18 1997 An inventory model with Wiener demand process and positive lead time. Zbl 0818.90036Beyer, D. 3 1994 Remarks on the Swiss premium principle on positive risks. Zbl 0789.62085Beyer, Dirk; Riedel, Manfred 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 223 Authors 7 Sethi, Suresh P. 6 Beyer, Dirk 5 Bensoussan, Alain 3 Feinberg, Eugene Aleksandrovich 3 Liang, Yan 3 Liu, Jingzhen 3 Nasr, Walid W. 3 Yiu, Ka Fai Cedric 2 Bettini, Lorenzo 2 Çakanyıldırım, Metin 2 Capecchi, Sara 2 Cárdenas-Barrón, Leopoldo Eduardo 2 Chen, Hongqiao 2 Ding, Xiaosong 2 Furia, Carlo Alberto 2 Jhala, Ranjit 2 Karaesmen, Fikri 2 Kitaeva, Anna 2 Kröning, Daniel 2 Li, Xiaoming 2 Meyer, Bertrand 2 Norman, Gethin 2 Podelski, Andreas 2 Seghir, Mohamed Nassim 2 Sharygina, Natasha 2 Sofronie-Stokkermans, Viorica 2 Sproston, Jeremy 2 Veith, Helmut 2 Venneri, Betti 2 Weissenbacher, Georg 2 Zhang, Jihong 1 Aiken, Alex 1 Akhundov, Murad 1 Alberti, Francesco 1 Andrianov, P. S. 1 Aouam, Tarik 1 Atalı, Aykut 1 Barone-Adesi, Katerina 1 Baurdoux, Erik Jan 1 Bayraktar, Erhan 1 Benkherouf, Lakdere 1 Biere, Armin 1 Bisi, Arnab 1 Bohlender, Dimitri 1 Bouajjani, Ahmed 1 Braghin, Chiara 1 Bruttomesso, Roberto 1 Candeago, Lorenzo 1 Cassandras, Christos G. 1 Cassez, Franck 1 Cavalcanti, Ana 1 Chakraborty, Supratik 1 Chechik, Marsha 1 Chen, Jian 1 Chen, Weidong 1 Chin, Wei-Ngan 1 Cleaveland, Rance 1 Dada, Maqbool 1 Damm, Werner 1 Dams, Dennis René 1 Danger, Jean-Luc 1 Dangl, Matthias 1 Daniel, Jakub 1 Debbabi, Mourad 1 Dekker, Rommert 1 Deligiannis, Michalis 1 Demyanova, Yulia 1 Dierks, Henning 1 Disch, Stefan 1 Dragoi, Cezara 1 Duan, Zhenhua 1 Duenyas, Izak 1 Elshar, Ibrahim J. 1 Emmi, Michael 1 Endrullis, Jörg 1 Enea, Constantin 1 Ernst, Gidon 1 Feng, Nick 1 Fontana, Peter 1 Gayon, Jean-Philippe 1 Ghadimi, Foad 1 Ghilardi, Silvio 1 Godefroid, Patrice 1 Grumberg, Orna 1 Gu, Ming 1 Guilley, Sylvain 1 Guldstrand, Larsen Kim 1 Gulwani, Sumit 1 Günther, Henning 1 Gupta, Ashutosh 1 Gupta, Rajesh Kumar 1 Haddad, Serge 1 Hagemann, Willem 1 Hajdu, Ákos 1 He, Guanhua 1 Hekimoğlu, Mustafa 1 Herrera-Cáceres, Carlos Antonio 1 Holzer, Andreas 1 Hoogvorst, Philippe 1 Hu, Jianqiang ...and 123 more Authors all top 5 Cited in 38 Serials 8 Journal of Optimization Theory and Applications 7 European Journal of Operational Research 5 Science of Computer Programming 5 Annals of Operations Research 5 Formal Methods in System Design 3 Operations Research Letters 3 Journal of Automated Reasoning 3 Formal Aspects of Computing 3 Probability in the Engineering and Informational Sciences 2 ACM Computing Surveys 2 Operations Research 2 Programming and Computer Software 2 Theoretical Computer Science 2 Computers & Operations Research 2 Discrete Event Dynamic Systems 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Automatica 1 Blätter (Deutsche Gesellschaft für Versicherungsmathematik) 1 SIAM Journal on Control and Optimization 1 Acta Mathematicae Applicatae Sinica. English Series 1 International Journal of Parallel Programming 1 Asia-Pacific Journal of Operational Research 1 Queueing Systems 1 Applied Mathematical Modelling 1 Stochastic Processes and their Applications 1 INFORMS Journal on Computing 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 RAIRO. Operations Research 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Systems Science and Complexity 1 Computer Languages, Systems & Structures 1 Journal of Industrial and Management Optimization 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Science China. Information Sciences all top 5 Cited in 12 Fields 53 Computer science (68-XX) 43 Operations research, mathematical programming (90-XX) 11 Systems theory; control (93-XX) 10 Probability theory and stochastic processes (60-XX) 5 Mathematical logic and foundations (03-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 2 Partial differential equations (35-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic geometry (14-XX) 1 Geometry (51-XX) Citations by Year