default search action

combined dblp search
author search
venue search
publication search

ask others

Nicolas Mazzocchi

> Home > Persons

Person information

affiliation: IMDEA Software Institute, Madrid, Spain

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/FiliotMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/FiliotMR20
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
A Pattern Logic for Automata with Outputs. Int. J. Found. Comput. Sci. 31(6): 711-748 (2020)
2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/FiliotMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/FiliotMR19
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
Decidable weighted expressions with Presburger combinators. J. Comput. Syst. Sci. 106: 1-22 (2019)

Conference and Workshop Papers

see FAQ

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

2024
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerMS24
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR 2024: 29:1-29:20
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/isola/ChalupaHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChalupaHMS24
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. ISoLA (4) 2024: 3-20
2023
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BokerHMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BokerHMS23
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CONCUR 2023: 17:1-17:18
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/HenzingerMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/HenzingerMS23
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Safety and Liveness. FoSSaCS 2023: 349-370
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerKMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerKMS23
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Regular Methods for Operator Precedence Languages. ICALP 2023: 129:1-129:20
2022
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DoveriGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DoveriGM22
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi:
FORQ-Based Language Inclusion Formal Testing. CAV (2) 2022: 109-129
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerMS22
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Abstract Monitors for Quantitative Specifications. RV 2022: 200-220
2021
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/JeckerM021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JeckerM021
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf:
Decomposing Permutation Automata. CONCUR 2021: 18:1-18:19
2020
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/FiliotMR0020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FiliotMR0020
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi:
Weighted Transducers for Robustness Verification. CONCUR 2020: 17:1-17:21
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/JeckerKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/JeckerKM20
Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi:
Unary Prime Languages. MFCS 2020: 51:1-51:12
2019
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FiliotGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FiliotGM19
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi:
Two-Way Parikh Automata. FSTTCS 2019: 40:1-40:14
2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/FiliotMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/FiliotMR18
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
A Pattern Logic for Automata with Outputs. DLT 2018: 304-317
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/FiliotMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/FiliotMR17
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
Decidable Weighted Expressions with Presburger Combinators. FCT 2017: 243-256

Informal and Other Publications

see FAQ

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

2025
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-16088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-16088
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Automating the Analysis of Quantitative Automata with QuAK. CoRR abs/2501.16088 (2025)
2024
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-10473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-10473
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR abs/2407.10473 (2024)
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-03569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-03569
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. CoRR abs/2409.03569 (2024)
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-16328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-16328
Pete Austin, Nicolas Mazzocchi, Sougata Bose, Patrick Totzke:
Temporal Explorability Games. CoRR abs/2412.16328 (2024)
2023
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11175
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Safety and Liveness. CoRR abs/2301.11175 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03447
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03447
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Regular Methods for Operator Precedence Languages. CoRR abs/2305.03447 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-06016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-06016
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CoRR abs/2307.06016 (2023)
2022
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-13549
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-13549
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi:
FORQ-based Language Inclusion Formal Testing. CoRR abs/2207.13549 (2022)
2021
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-04683
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-04683
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf:
Decomposing Permutation Automata. CoRR abs/2107.04683 (2021)
2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-09362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-09362
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi:
Two-way Parikh Automata. CoRR abs/1907.09362 (2019)
2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-03515
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-03515
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
A Pattern Logic for Automata with Outputs. CoRR abs/1810.03515 (2018)
2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiliotMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiliotMR17
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin:
Decidable Weighted Expressions with Presburger Combinators. CoRR abs/1706.08855 (2017)

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.