( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

, , , , и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 412-432. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)
 

Другие публикации лиц с тем же именем

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