Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Encoding TLA+ set theory into many-sorted first-order logic.

S. Merz, und H. Vanzetto. CoRR, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. Stephan ten Brink University of Stuttgart

On End-to-End Learning of Joint Detection and Decoding for Short-Packet CommunicationsJ. Clausius, S. Dörner, S. Cammerer, und S. Brink. 2022 IEEE Globecom Workshops (GC Wkshps), Seite 377-382. IEEE, (2022)

On End-to-End Learning of Joint Detection and Decoding for Short-Packet CommunicationsJ. Clausius, S. Dörner, S. Cammerer, und S. Brink. 2022 IEEE Globecom Workshops (GC Wkshps), Seite 377-382. IEEE, (2022)Component Training of Turbo AutoencodersJ. Clausius, M. Geiselhart, und S. Brink. Preprint, (2023)

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

Stephan Renninger University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Techniqes for the Analysis of Reactive Systems.S. Merz. Synthese, 133 (1-2): 173-201 (2002)Formal Verification of a Consensus Algorithm in the Heard-Of Model.B. Charron-Bost, und S. Merz. Int. J. Software and Informatics, 3 (2-3): 273-303 (2009)Encoding TLA+ set theory into many-sorted first-order logic.S. Merz, und H. Vanzetto. CoRR, (2015)A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.C. Rosa, S. Merz, und M. Quinson. ECEASST, (2010)Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model.H. Debrat, und S. Merz. Archive of Formal Proofs, (2012)Preface.S. Autexier, H. Mantel, S. Merz, und T. Nipkow. J. Autom. Reasoning, 41 (3-4): 191-192 (2008)Animating TLA Specifications.Y. Mokhtari, und S. Merz. LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 92-110. Springer, (1999)A TLA+ Proof System.K. Chaudhuri, D. Doligez, L. Lamport, und S. Merz. LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)A Framework for Programming and Formalizing Concurrent Objects.J. Bahsoun, S. Merz, und C. Servieres. SIGSOFT FSE, Seite 126-137. ACM, (1993)Type-Checking Higher-Order Polymorphic Multi-Methods.F. Bourdoncle, und S. Merz. POPL, Seite 302-315. ACM Press, (1997)