( en | de | ru )

 

Disambiguierung von "van Rossum, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient theory combination via boolean search.

, , , , , , und . Inf. Comput., 204 (10): 1493-1525 (2006)

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.

Walter Rossum

Daniël Rossum

Maria Rossum

Curt Rossum

Thea Rossum

 

Weitere Publikationen von Autoren mit dem selben Namen

Significant Diagnostic Counterexamples in Probabilistic Model Checking., , und . Haifa Verification Conference, Volume 5394 von Lecture Notes in Computer Science, Seite 129-148. Springer, (2008)Completeness of Formal Hashes in the Standard Model., und . IACR Cryptology ePrint Archive, (2006)Provable anonymity., , , und . FMSE, Seite 63-72. ACM, (2005)Sound and complete computational interpretation of symbolic hashes in the standard model., und . Theor. Comput. Sci., 394 (1-2): 112-133 (2008)Conditional Probabilities over Probabilistic and Nondeterministic Systems., und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 157-172. Springer, (2008)Safe Equivalences for Security Properties., , , und . IFIP TCS, Volume 323 von IFIP Advances in Information and Communication Technology, Seite 55-70. Springer, (2010)Computing the Leakage of Information-Hiding Systems., , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 373-389. Springer, (2010)Computational Soundness of Non-Malleable Commitments., , und . ISPEC, Volume 4991 von Lecture Notes in Computer Science, Seite 361-376. Springer, (2008)Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 335-349. Springer, (2005)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 317-333. Springer, (2005)