Benutzerbeiträge von „Timm Spork“
Aus International Center for Computational Logic
Ergebnisse für Timm Spork Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 10 Bearbeitungen. Das Konto wurde am 5. März 2025 erstellt.
2. Oktober 2026
- 08:4508:45, 2. Okt. 2026 Unterschied Versionen +49 Proseminar Theoretische Informatik (WS2026) Keine Bearbeitungszusammenfassung aktuell
- 08:4008:40, 2. Okt. 2026 Unterschied Versionen +49 Proseminar Binäre Entscheidungsgraphen (WS2026) Keine Bearbeitungszusammenfassung aktuell
- 06:4706:47, 2. Okt. 2026 Unterschied Versionen +3.418 N Inproceedings3470 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Sascha Klüppelholz; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata |To appear=0 |Year=2026 |Month=August |Booktitle=37th International Conference on Concurrency Theory (CONCUR 2026) |Pages=15:1 - 15:19 |Publisher=Schloss Dagstuhl- Leibniz-Zentrum für Informatik |E…“ aktuell
- 06:4306:43, 2. Okt. 2026 Unterschied Versionen 0 N Datei:LIPIcs.CONCUR.2026.15.pdf Keine Bearbeitungszusammenfassung aktuell
30. Oktober 2025
- 11:5911:59, 30. Okt. 2025 Unterschied Versionen +1.298 N Inproceedings3441 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Timm |ErsterAutorNachname=Spork |FurtherAuthors=Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains |To appear=0 |Year=2025 |Month=Juli |Booktitle=Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II |Pages=56-81 |Publisher=Springer…“ aktuell
- 11:5311:53, 30. Okt. 2025 Unterschied Versionen 0 N Datei:Approximate Probabilistic Bisimulation for CTMC.pdf Keine Bearbeitungszusammenfassung aktuell
5. März 2025
- 13:2213:22, 5. Mär. 2025 Unterschied Versionen −32 Inproceedings3621349134 Keine Bearbeitungszusammenfassung
- 13:2113:21, 5. Mär. 2025 Unterschied Versionen 0 N Datei:LIPIcs.CONCUR.2024.37.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:1913:19, 5. Mär. 2025 Unterschied Versionen +128 Inproceedings3621349134 Keine Bearbeitungszusammenfassung
- 13:1813:18, 5. Mär. 2025 Unterschied Versionen 0 N Datei:A spectrum of approximate probabilistic bisimulations.pdf Keine Bearbeitungszusammenfassung aktuell
