default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Raszyk

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HerasimauMLRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HerasimauMLRT24
Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel:
A Verified Proof Checker for Metric First-Order Temporal Logic. Arch. Formal Proofs 2024 (2024)
2023
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RaszykBKT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RaszykBKT23
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Efficient Evaluation of Arbitrary Relational Calculus Queries. Log. Methods Comput. Sci. 19(4) (2023)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BasinDKPRST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BasinDKPRST23
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan:
Monitoring the Internet Computer. FM 2023: 383-402
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LimaHRTY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LimaHRTY23
Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan:
Explainable Online Monitoring of Metric Temporal Logic. TACAS (2) 2023: 473-491
2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Raszyk22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Raszyk22
Martin Raszyk:
Efficient, Expressive, and Verified Temporal Query Evaluation. ETH Zurich, Zürich, Switzerland, 2022
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/BockenhauerBRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BockenhauerBRR22
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith:
Reoptimization of parameterized problems. Acta Informatica 59(4): 427-450 (2022)
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Raszyk22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Raszyk22
Martin Raszyk:
Multi-Head Monitoring of Metric Dynamic Logic. Arch. Formal Proofs 2022 (2022)
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Raszyk22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Raszyk22a
Martin Raszyk:
First-Order Query Evaluation. Arch. Formal Proofs 2022 (2022)
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/RaszykT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/RaszykT22
Martin Raszyk, Dmitriy Traytel:
Making Arbitrary Relational Calculus Queries Safe-Range. Arch. Formal Proofs 2022 (2022)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/RaszykBKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/RaszykBKT22
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Practical Relational Calculus Query Evaluation. ICDT 2022: 11:1-11:21
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BasinDHHMKKMRST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BasinDHHMKKMRST22
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg:
VeriMon: A Formally Verified Monitoring Tool. ICTAC 2022: 1-6
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ZinggKRST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ZinggKRST22
Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
Verified First-Order Monitoring with Recursive Rules. TACAS (2) 2022: 236-253
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BasinDKPRST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BasinDKPRST22
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan:
Monitoring the Internet Computer (Artifact). Zenodo, 2022
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-09964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-09964
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR abs/2210.09964 (2022)
2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BurjonsFR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BurjonsFR21
Elisabet Burjons, Fabian Frei, Martin Raszyk:
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. LICS 2021: 1-13
2020
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/DardinierHRST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/DardinierHRST20
Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. Arch. Formal Proofs 2020 (2020)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RaszykBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RaszykBT20
Martin Raszyk, David A. Basin, Dmitriy Traytel:
Multi-head Monitoring of Metric Dynamic Logic. ATVA 2020: 233-250
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BasinDHKR0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BasinDHKR0T20
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) 2020: 432-453
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13710
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13710
Elisabet Burjons, Fabian Frei, Martin Raszyk:
From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata. CoRR abs/2005.13710 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RaszykBKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RaszykBKT19
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Multi-head Monitoring of Metric Temporal Logic. ATVA 2019: 151-170
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/RaszykBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/RaszykBT19
Martin Raszyk, David A. Basin, Dmitriy Traytel:
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. ICALP 2019: 127:1-127:14
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Raszyk19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Raszyk19
Martin Raszyk:
On the Size of Logical Automata. SOFSEM 2019: 447-460
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-10578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-10578
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith:
Reoptimization of Parameterized Problems. CoRR abs/1809.10578 (2018)
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isit/ZhangMRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isit/ZhangMRT17
Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi:
Witness-hiding proofs of knowledge for cable locks. ISIT 2017: 953-957

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.