×
Edit Profile (opens in new tab)

Wimmer, Simon

Co-Author Distance
Author ID: wimmer.simon Recent zbMATH articles by "Wimmer, Simon"
Published as: Wimmer, Simon
Documents Indexed: 7 Publications since 2016
Co-Authors: 7 Co-Authors with 5 Joint Publications
189 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
1 Herbreteau, Frédéric
1 Hölzl, Johannes
1 Hu, Shuwei
1 Lammich, Peter
1 Nipkow, Tobias
1 van de Pol, Jan Cornelis
1 von Mutius, Joshua

Serials

1 Synthese

Fields

6 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 13 times in 10 Documents Cited by ▼ Year ▼
Verified model checking of timed automata. Zbl 1423.68294
Wimmer, Simon; Lammich, Peter
8
2018
Verified memoization and dynamic programming. Zbl 1511.68094
Wimmer, Simon; Hu, Shuwei; Nipkow, Tobias
2
2018
Formalized timed automata. Zbl 1478.68183
Wimmer, Simon
1
2016
Certifying emptiness of timed Büchi automata. Zbl 07317090
Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco
1
2020
Verified certification of reachability checking for timed automata. Zbl 1507.68200
Wimmer, Simon; von Mutius, Joshua
1
2020
Certifying emptiness of timed Büchi automata. Zbl 07317090
Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco
1
2020
Verified certification of reachability checking for timed automata. Zbl 1507.68200
Wimmer, Simon; von Mutius, Joshua
1
2020
Verified model checking of timed automata. Zbl 1423.68294
Wimmer, Simon; Lammich, Peter
8
2018
Verified memoization and dynamic programming. Zbl 1511.68094
Wimmer, Simon; Hu, Shuwei; Nipkow, Tobias
2
2018
Formalized timed automata. Zbl 1478.68183
Wimmer, Simon
1
2016
all cited Publications top 5 cited Publications
all top 5

Cited by 16 Authors

4 Lammich, Peter
2 Huisman, Marieke
2 Oortwijn, Wytse
2 van de Pol, Jan Cornelis
2 Wimmer, Simon
1 Haslbeck, Maximilian P. L.
1 Herbreteau, Frédéric
1 Hou, Ping
1 Joosten, Sebastiaan J. C.
1 Lochbihler, Andreas
1 Nipkow, Tobias
1 Paulson, Lawrence Charles
1 Popescu, Andrei
1 Safari, Mohsen
1 von Mutius, Joshua
1 Wenzel, Makarius

Cited in 2 Serials

3 Journal of Automated Reasoning
1 Formal Aspects of Computing

Cited in 1 Field

10 Computer science (68-XX)

Citations by Year