PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Slind, Konrad"

Author of the publication

copydeleteadd this publication to your clipboard
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.

, , , and . IPDPS, IEEE Computer Society, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Konrad University of Stuttgart

Gernot Konrad University of Stuttgart

Konrad Langenbeck

Prof. Dr. -Ing. Konrad Langenbeck University of Stuttgart

Dr. Markus Konrad Fertig University of Stuttgart

 

Other publications of authors with the same name

Adding New Rules to an LCF-style Logic Implementation.. TPHOLs, volume A-20 of IFIP Transactions, page 549-559. North-Holland/Elsevier, (1992)HOL., , and . The Seventeen Provers of the World, volume 3600 of Lecture Notes in Computer Science, Springer, (2006)Derivation and Use of Induction Schemes in Higher-Order Logic.. TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 275-290. Springer, (1997)Compilation as Rewriting in Higher Order Logic., and . CADE, volume 4603 of Lecture Notes in Computer Science, page 19-34. Springer, (2007)Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT., , , and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 81-95. Springer, (2003)Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving., , and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 200-215. Springer, (2003)Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)., , , and . Dagstuhl Reports, 5 (4): 142-159 (2015)Live sequence charts applied to hardware requirements specification and verification., , and . STTT, 7 (4): 341-350 (2005)Decompilation into logic - Improved., , and . FMCAD, page 78-81. IEEE, (2012)A DSL for cross-domain security., , , and . HILT, page 53-62. ACM, (2012)