PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Leitsch, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Description: The Proof Transformation System CERES.

, , , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 427-433. Springer, (2010)

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. -Ing. Alexander Verl University of Stuttgart

Reflection-based Prototyping Framework for OPC UA Servers for Companion Specifications, , , , , und . 2023 IEEE International Conference on Industrial Technology (ICIT), (2023)
Reflection-based Prototyping Framework for OPC UA Servers for Companion Specifications, , , , , und . 2023 IEEE International Conference on Industrial Technology (ICIT), (2023)Control Architecture for Automation, , und . Springer Handbook of Automation, Springer, Cham, (2023)Edge-Cloud Automation of Manufacturing Machines : Analysis of Potential Designs and their Impact on the Machine Performance, , , und . 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), IEEE, (2023)

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , und . ROMANSY 21 - Robot Design, Dynamics and Control, Volume 569 von CISM International Centre for Mechanical Sciences, Seite 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Trachtmann University of Stuttgart

Replication Data for: Highly efficient real-time spatially resolved sensing of ultraviolet light, , , , , , , und . Dataset, (2025)Related to: Yannick Schellander, Fabian Munkes, Alexander Trachtmann, Patrick Schalberger, Robert Löw, Harald Kübler, Tilman Pfau, Norbert Fruehauf, "Highly efficient real-time spatially resolved sensing of ultraviolet light," Proc. SPIE 13109, Metamaterials, Metadevices, and Metasystems 2024, 1310906 (2024). doi: 10.1117/12.3028038.

Univ. -Prof. Dr. -Ing. Alexander Sauer University of Stuttgart

Konzepte zur Gestaltung und Steuerung von Kooperationsmodellen im Maschinen- und Anlagenbau, , , und . Handbuch Unternehmensorganisation : Strategien, Planung, Umsetzung, Springer Vieweg, Berlin, (2023)

Alexander Birk University of Stuttgart

Rigorous modeling of a confocal microscope, , , , , , , , und . Modeling Aspects in Optical Metrology IX, 12619, Seite 126190Q. SPIE, (2023)
 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity of index sets and translating functions.. Fundam. Inform., 3 (2): 181-188 (1980)Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.. FTP (LNCS Selection), Volume 1761 von Lecture Notes in Computer Science, Seite 62-79. Springer, (1998)CERES in Many-Valued Logics., und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2004)Transforming and Analyzing Proofs in the CERES-System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)On Skolemization and Proof Complexity., und . Fundam. Inform., 20 (4): 353-379 (1994)Normal Form Transformations., , , , und . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)A Note on the Complexity of Classical and Intuitionistic Proofs., , und . LICS, Seite 657-666. IEEE Computer Society, (2015)Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs., , und . CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1995)Herbrand Sequent Extraction., , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 462-477. Springer, (2008)Hyperresolution and Automated Model Building., und . J. Log. Comput., 6 (2): 173-203 (1996)