Burkhart Wolff
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 32
Publications (10 Years): 32
Bremen University, Germany (PHD)
Education History
Bremen University, Germany
PHD
Publications
- Achim D. Brucker, Nicolas Méric, Burkhart WolffIsabelle/DOF. Arch. Formal Proofs 2024 (2024)
- Benoît Ballenghien, Burkhart Wolff
- Benoît Ballenghien, Burkhart Wolff
- Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
- Benoît Ballenghien, Safouan Taha, Burkhart Wolff
- Paolo Crisafulli, Safouan Taha, Burkhart Wolff
- Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
- Safouan Taha, Burkhart Wolff, Lina YeThe HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
- Safouan Taha, Burkhart Wolff, Lina Ye
- Simon Foster, Burkhart Wolff
- Frédéric Tuong, Burkhart Wolff
- Safouan Taha, Lina Ye, Burkhart WolffHOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Frédéric Tuong, Burkhart WolffIsabelle/C. Arch. Formal Proofs 2019 (2019)
- Achim D. Brucker, Burkhart Wolff
- Frédéric Tuong, Burkhart Wolff
- Achim D. Brucker, Lukas Brügger, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
- Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
- Frédéric Tuong, Burkhart Wolff
- Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
- Achim D. Brucker, Lukas Brügger, Burkhart Wolff
- Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
- Thierry Jéron, Margus Veanes, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude GaudelIsabelle/Circus. Arch. Formal Proofs 2012 (2012)
- Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
- Makarius Wenzel, Burkhart Wolff
- Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
- Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
- Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
- Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Matthias Daum, Jan Dörrenbächer, Burkhart Wolff
- Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Lukas Brügger, Burkhart Wolff
- Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff
- Achim D. Brucker, Lukas Brügger, Burkhart Wolff
- Makarius Wenzel, Burkhart Wolff
- David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
- Achim D. Brucker, Jürgen Doser, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
- David Aspinall, Christoph Lüth, Burkhart Wolff
- Thomas Meyer, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Frank Rittinger, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Achim D. Brucker, Burkhart Wolff
- Christoph Lüth, Burkhart Wolff
- Christoph Lüth, Burkhart Wolff
- Christoph Lüth, Burkhart Wolff