( en | de | ru )

 

Disambiguierung von "Raszyk, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Witness-hiding proofs of knowledge for cable locks.

, , , und . ISIT, Seite 953-957. IEEE, (2017)

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.

Martin Klug

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

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Sanchez

Charakterisierung des Replikationsenzyms ORF904 aus Sulfolobus islandicus. Uni Bayreuth, (2010)
 

Weitere Publikationen von Autoren mit dem selben Namen

Witness-hiding proofs of knowledge for cable locks., , , und . ISIT, Seite 953-957. IEEE, (2017)Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations., , , , und . Arch. Formal Proofs, (2020)Efficient, Expressive, and Verified Temporal Query Evaluation.. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/553221).VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , und 3 andere Autor(en). ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2022)Multi-head Monitoring of Metric Temporal Logic., , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 151-170. Springer, (2019)Monitoring the Internet Computer (Artifact)., , , , , , und . (November 2022)On the Size of Logical Automata.. SOFSEM, Volume 11376 von Lecture Notes in Computer Science, Seite 447-460. Springer, (2019)Multi-head Monitoring of Metric Dynamic Logic., , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 233-250. Springer, (2020)From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata., , und . LICS, Seite 1-13. IEEE, (2021)A Verified Proof Checker for Metric First-Order Temporal Logic., , , , und . Arch. Formal Proofs, (2024)