Publikationen pro Jahr
Publikationen pro Jahr
- 10 Ergebnisse
Suchergebnisse
-
2024
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P. & Sakr, M. &5 mehr, , Okt. 2024, in: International Journal on Software Tools for Technology Transfer. 26, 5, S. 551-567 17 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2021
On the Balancedness of Tree-to-Word Transducers
Löbel, R., Luttenberger, M. & Seidl, H., 1 Sept. 2021, in: International Journal of Foundations of Computer Science. 32, 6, S. 761-783 23 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access2 Zitate (Scopus) -
2020
Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
Luttenberger, M., Meyer, P. J. & Sickert, S., 1 Apr. 2020, in: Acta Informatica. 57, 1-2, S. 3-36 34 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access34 Zitate (Scopus) -
2016
Convergence of Newton's Method over Commutative Semirings
Luttenberger, M. & Schlund, M., 1 Feb. 2016, in: Information and Computation. 246, S. 43-61 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access6 Zitate (Scopus) -
2015
FPSOLVE: A Generic Solver for Fixpoint Equations over Semirings
Esparza, J., Luttenberger, M. & Schlund, M., 1 Nov. 2015, in: International Journal of Foundations of Computer Science. 26, 7, S. 805-825 21 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
3 Zitate (Scopus) -
2012
Space-efficient scheduling of stochastically generated tasks
Brázdil, T., Esparza, J., Kiefer, S. & Luttenberger, M., Jan. 2012, in: Information and Computation. 210, S. 87-110 24 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access2 Zitate (Scopus) -
2011
Derivation tree analysis for accelerated fixed-point computation
Esparza, J., Kiefer, S. & Luttenberger, M., 20 Juni 2011, in: Theoretical Computer Science. 412, 28, S. 3226-3241 16 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access3 Zitate (Scopus) -
Parikh's theorem: A simple and direct automaton construction
Esparza, J., Ganty, P., Kiefer, S. & Luttenberger, M., 15 Juni 2011, in: Information Processing Letters. 111, 12, S. 614-619 6 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access46 Zitate (Scopus) -
2010
Computing the least fixed point of positive polynomial systems
Esparza, J., Kiefer, S. & Luttenberger, M., 2010, in: SIAM Journal on Computing. 39, 6, S. 2282-2335 54 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access18 Zitate (Scopus) -
Newtonian program analysis
Esparza, J., Kiefer, S. & Luttenberger, M., Okt. 2010, in: Journal of the ACM. 57, 6, 33.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
47 Zitate (Scopus)