( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified First-Order Monitoring with Recursive Rules.

, , , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 236-253. Springer, (2022)

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.

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 Brunken

Chirurgische versus endovaskuläre Behandlung zerebraler Aneurysmen: klinische Behandlungsergebnisse und Patientenmanagement. Uni Hamburg, (2009)
 

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

Witness-hiding proofs of knowledge for cable locks., , , и . ISIT, стр. 953-957. IEEE, (2017)Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations., , , , и . 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., , , , , , , , , и 3 other автор(ы). ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2022)Multi-head Monitoring of Metric Temporal Logic., , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 151-170. Springer, (2019)Monitoring the Internet Computer (Artifact)., , , , , , и . (ноября 2022)On the Size of Logical Automata.. SOFSEM, том 11376 из Lecture Notes in Computer Science, стр. 447-460. Springer, (2019)Multi-head Monitoring of Metric Dynamic Logic., , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2020)From Nondeterministic to Multi-Head Deterministic Finite-State Transducers., , и . ICALP, том 132 из LIPIcs, стр. 127:1-127:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata., , и . LICS, стр. 1-13. IEEE, (2021)