Old Web
English
Sign In
Acemap
>
authorDetail
>
Salomon Sickert
Salomon Sickert
Algorithm
Mathematics
Theoretical computer science
Parity (mathematics)
Data structure
2
Papers
20
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
2019
arXiv: Logic in Computer Science
Michael Luttenberger
Philipp J. Meyer
Salomon Sickert
Show All
Source
Cite
Save
Citations (2)
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
2019
arXiv: Logic in Computer Science
Swen Jacobs
Roderick Bloem
Maximilien Colange
Peter Faymonville
Bernd Finkbeiner
Ayrat Khalimov
Felix Klein
Michael Luttenberger
Philipp J. Meyer
Thibaud Michaud
Mouhammad Sakr
Salomon Sickert
Leander Tentrup
Adam Walker
Show All
Source
Cite
Save
Citations (18)
1