( en | de | ru )

 

Disambiguierung von "Brain, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

, , , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 412-432. Springer, (2013)

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.

Paul Brainard

Marcus Brainard

Ingrid Brainard

Hans Brainich

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A Lightweight Technique for Distributed and Incremental Program Verification., und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 114-129. Springer, (2012)Declarative Problem Solving Using Answer Set Semantics.. ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 459-460. Springer, (2006)Debugging Logic Programs under the Answer Set Semantics., und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)A lazy approach to adaptive exact real arithmetic using floating-point operations., , und . ACM Commun. Comput. Algebra, 49 (3): 83-86 (2015)Automatic Composition of Melodic and Harmonic Music by Answer Set Programming., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 160-174. Springer, (2008)ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 724-728. Springer, (2008)Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation., , , und . IACR Cryptol. ePrint Arch., (2023)Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice., und . Answer Set Programming, Volume 78 von CEUR Workshop Proceedings, CEUR-WS.org, (2003)Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.. SMT, Volume 2908 von CEUR Workshop Proceedings, Seite 23-31. CEUR-WS.org, (2021)Application of Abstract Interpretation to the Automotive Electronic Control System., , , , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 425-445. Springer, (2019)