---
_id: '14751'
abstract:
- lang: eng
  text: 'We consider zero-error communication over a two-transmitter deterministic
    adversarial multiple access channel (MAC) governed by an adversary who has access
    to the transmissions of both senders (hence called omniscient ) and aims to maliciously
    corrupt the communication. None of the encoders, jammer and decoder is allowed
    to randomize using private or public randomness. This enforces a combinatorial
    nature of the problem. Our model covers a large family of channels studied in
    the literature, including all deterministic discrete memoryless noisy or noiseless
    MACs. In this work, given an arbitrary two-transmitter deterministic omniscient
    adversarial MAC, we characterize when the capacity region: 1) has nonempty interior
    (in particular, is two-dimensional); 2) consists of two line segments (in particular,
    has empty interior); 3) consists of one line segment (in particular, is one-dimensional);
    4) or only contains (0,0) (in particular, is zero-dimensional). This extends a
    recent result by Wang et al. (201 9) from the point-to-point setting to the multiple
    access setting. Indeed, our converse arguments build upon their generalized Plotkin
    bound and involve delicate case analysis. One of the technical challenges is to
    take care of both “joint confusability” and “marginal confusability”. In particular,
    the treatment of marginal confusability does not follow from the point-to-point
    results by Wang et al. Our achievability results follow from random coding with
    expurgation.'
acknowledgement: "The author would like to thank Amitalok J. Budkuley and Sidharth
  Jaggi for many helpful discussions at the early stage of this work. He would also
  like to thank Nir Ailon, Qi Cao, and Chandra Nair for discussions on a related problem
  regarding zero-error binary adder MACs.\r\nThe work of Yihan Zhang was supported
  by the European Union’s Horizon 2020 Research and Innovation Programme under Grant
  682203-ERC-[Inf-Speed-Tradeoff]"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yihan
  full_name: Zhang, Yihan
  id: 2ce5da42-b2ea-11eb-bba5-9f264e9d002c
  last_name: Zhang
  orcid: 0000-0002-6465-6258
citation:
  ama: Zhang Y. Zero-error communication over adversarial MACs. <i>IEEE Transactions
    on Information Theory</i>. 2023;69(7):4093-4127. doi:<a href="https://doi.org/10.1109/tit.2023.3257239">10.1109/tit.2023.3257239</a>
  apa: Zhang, Y. (2023). Zero-error communication over adversarial MACs. <i>IEEE Transactions
    on Information Theory</i>. Institute of Electrical and Electronics Engineers.
    <a href="https://doi.org/10.1109/tit.2023.3257239">https://doi.org/10.1109/tit.2023.3257239</a>
  chicago: Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE
    Transactions on Information Theory</i>. Institute of Electrical and Electronics
    Engineers, 2023. <a href="https://doi.org/10.1109/tit.2023.3257239">https://doi.org/10.1109/tit.2023.3257239</a>.
  ieee: Y. Zhang, “Zero-error communication over adversarial MACs,” <i>IEEE Transactions
    on Information Theory</i>, vol. 69, no. 7. Institute of Electrical and Electronics
    Engineers, pp. 4093–4127, 2023.
  ista: Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions
    on Information Theory. 69(7), 4093–4127.
  mla: Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions
    on Information Theory</i>, vol. 69, no. 7, Institute of Electrical and Electronics
    Engineers, 2023, pp. 4093–127, doi:<a href="https://doi.org/10.1109/tit.2023.3257239">10.1109/tit.2023.3257239</a>.
  short: Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
date_created: 2024-01-08T13:04:54Z
date_published: 2023-07-01T00:00:00Z
date_updated: 2024-01-09T08:45:24Z
day: '01'
department:
- _id: MaMo
doi: 10.1109/tit.2023.3257239
external_id:
  arxiv:
  - '2101.12426'
intvolume: '        69'
issue: '7'
keyword:
- Computer Science Applications
- Information Systems
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2101.12426
month: '07'
oa: 1
oa_version: Preprint
page: 4093-4127
publication: IEEE Transactions on Information Theory
publication_identifier:
  eissn:
  - 1557-9654
  issn:
  - 0018-9448
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zero-error communication over adversarial MACs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2023'
...
---
_id: '10602'
abstract:
- lang: eng
  text: Transforming ω-automata into parity automata is traditionally done using appearance
    records. We present an efficient variant of this idea, tailored to Rabin automata,
    and several optimizations applicable to all appearance records. We compare the
    methods experimentally and show that our method produces significantly smaller
    automata than previous approaches.
acknowledgement: This work is partially funded by the German Research Foundation (DFG)
  projects Verified Model Checkers (No. 317422601) and Statistical Unbounded Verification
  (No. 383882557), and the Alexander von Humboldt Foundation with funds from the German
  Federal Ministry of Education and Research. It is an extended version of [21], including
  all proofs together with further explanations and examples. Moreover, we provide
  a new, more efficient construction based on (total) preorders, unifying previous
  optimizations. Experiments are performed with a new, performant implementation,
  comparing our approach to the current state of the art.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Jan
  full_name: Kretinsky, Jan
  id: 44CEF464-F248-11E8-B48F-1D18A9856A87
  last_name: Kretinsky
  orcid: 0000-0002-8122-2881
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
- first_name: Clara
  full_name: Waldmann, Clara
  last_name: Waldmann
- first_name: Maximilian
  full_name: Weininger, Maximilian
  last_name: Weininger
citation:
  ama: Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record
    with preorders. <i>Acta Informatica</i>. 2022;59:585-618. doi:<a href="https://doi.org/10.1007/s00236-021-00412-y">10.1007/s00236-021-00412-y</a>
  apa: Kretinsky, J., Meggendorfer, T., Waldmann, C., &#38; Weininger, M. (2022).
    Index appearance record with preorders. <i>Acta Informatica</i>. Springer Nature.
    <a href="https://doi.org/10.1007/s00236-021-00412-y">https://doi.org/10.1007/s00236-021-00412-y</a>
  chicago: Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger.
    “Index Appearance Record with Preorders.” <i>Acta Informatica</i>. Springer Nature,
    2022. <a href="https://doi.org/10.1007/s00236-021-00412-y">https://doi.org/10.1007/s00236-021-00412-y</a>.
  ieee: J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance
    record with preorders,” <i>Acta Informatica</i>, vol. 59. Springer Nature, pp.
    585–618, 2022.
  ista: Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2022. Index appearance
    record with preorders. Acta Informatica. 59, 585–618.
  mla: Kretinsky, Jan, et al. “Index Appearance Record with Preorders.” <i>Acta Informatica</i>,
    vol. 59, Springer Nature, 2022, pp. 585–618, doi:<a href="https://doi.org/10.1007/s00236-021-00412-y">10.1007/s00236-021-00412-y</a>.
  short: J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica
    59 (2022) 585–618.
date_created: 2022-01-06T12:37:27Z
date_published: 2022-10-01T00:00:00Z
date_updated: 2023-08-02T13:49:28Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/s00236-021-00412-y
external_id:
  isi:
  - '000735765500001'
file:
- access_level: open_access
  checksum: bf1c195b6aaf59e8530cf9e3a9d731f7
  content_type: application/pdf
  creator: cchlebak
  date_created: 2022-01-07T07:50:31Z
  date_updated: 2022-01-07T07:50:31Z
  file_id: '10603'
  file_name: 2021_ActaInfor_Křetínský.pdf
  file_size: 1066082
  relation: main_file
  success: 1
file_date_updated: 2022-01-07T07:50:31Z
has_accepted_license: '1'
intvolume: '        59'
isi: 1
keyword:
- computer networks and communications
- information systems
- software
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 585-618
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Acta Informatica
publication_identifier:
  eissn:
  - 1432-0525
  issn:
  - 0001-5903
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Index appearance record with preorders
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 59
year: '2022'
...
---
_id: '12134'
abstract:
- lang: eng
  text: Standard epidemic models exhibit one continuous, second order phase transition
    to macroscopic outbreaks. However, interventions to control outbreaks may fundamentally
    alter epidemic dynamics. Here we reveal how such interventions modify the type
    of phase transition. In particular, we uncover three distinct types of explosive
    phase transitions for epidemic dynamics with capacity-limited interventions. Depending
    on the capacity limit, interventions may (i) leave the standard second order phase
    transition unchanged but exponentially suppress the probability of large outbreaks,
    (ii) induce a first-order discontinuous transition to macroscopic outbreaks, or
    (iii) cause a secondary explosive yet continuous third-order transition. These
    insights highlight inherent limitations in predicting and containing epidemic
    outbreaks. More generally our study offers a cornerstone example of a third-order
    explosive phase transition in complex systems.
acknowledgement: We acknowledge support from the Volkswagen Foundation under Grant
  No. 99720 and the German Federal Ministry for Education and Research (BMBF) under
  Grant No. 16ICR01. This research was supported by the Deutsche Forschungsgemeinschaft
  (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2068—390729961—Cluster
  of Excellence Physics of Life of TU Dresden.
article_number: 04LT02
article_processing_charge: No
article_type: original
author:
- first_name: Georg
  full_name: Börner, Georg
  last_name: Börner
- first_name: Malte
  full_name: Schröder, Malte
  last_name: Schröder
- first_name: Davide
  full_name: Scarselli, Davide
  id: 40315C30-F248-11E8-B48F-1D18A9856A87
  last_name: Scarselli
  orcid: 0000-0001-5227-4271
- first_name: Nazmi B
  full_name: Budanur, Nazmi B
  id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
  last_name: Budanur
  orcid: 0000-0003-0423-5010
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
- first_name: Marc
  full_name: Timme, Marc
  last_name: Timme
citation:
  ama: 'Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. Explosive transitions
    in epidemic dynamics. <i>Journal of Physics: Complexity</i>. 2022;3(4). doi:<a
    href="https://doi.org/10.1088/2632-072x/ac99cd">10.1088/2632-072x/ac99cd</a>'
  apa: 'Börner, G., Schröder, M., Scarselli, D., Budanur, N. B., Hof, B., &#38; Timme,
    M. (2022). Explosive transitions in epidemic dynamics. <i>Journal of Physics:
    Complexity</i>. IOP Publishing. <a href="https://doi.org/10.1088/2632-072x/ac99cd">https://doi.org/10.1088/2632-072x/ac99cd</a>'
  chicago: 'Börner, Georg, Malte Schröder, Davide Scarselli, Nazmi B Budanur, Björn
    Hof, and Marc Timme. “Explosive Transitions in Epidemic Dynamics.” <i>Journal
    of Physics: Complexity</i>. IOP Publishing, 2022. <a href="https://doi.org/10.1088/2632-072x/ac99cd">https://doi.org/10.1088/2632-072x/ac99cd</a>.'
  ieee: 'G. Börner, M. Schröder, D. Scarselli, N. B. Budanur, B. Hof, and M. Timme,
    “Explosive transitions in epidemic dynamics,” <i>Journal of Physics: Complexity</i>,
    vol. 3, no. 4. IOP Publishing, 2022.'
  ista: 'Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive
    transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04LT02.'
  mla: 'Börner, Georg, et al. “Explosive Transitions in Epidemic Dynamics.” <i>Journal
    of Physics: Complexity</i>, vol. 3, no. 4, 04LT02, IOP Publishing, 2022, doi:<a
    href="https://doi.org/10.1088/2632-072x/ac99cd">10.1088/2632-072x/ac99cd</a>.'
  short: 'G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal
    of Physics: Complexity 3 (2022).'
date_created: 2023-01-12T12:03:43Z
date_published: 2022-10-25T00:00:00Z
date_updated: 2023-02-13T09:15:13Z
day: '25'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1088/2632-072x/ac99cd
file:
- access_level: open_access
  checksum: 35c5c5cb0eb17ea1b5184755daab9fc9
  content_type: application/pdf
  creator: dernst
  date_created: 2023-01-24T07:24:37Z
  date_updated: 2023-01-24T07:24:37Z
  file_id: '12350'
  file_name: 2022_JourPhysics_Boerner.pdf
  file_size: 1006106
  relation: main_file
  success: 1
file_date_updated: 2023-01-24T07:24:37Z
has_accepted_license: '1'
intvolume: '         3'
issue: '4'
keyword:
- Artificial Intelligence
- Computer Networks and Communications
- Computer Science Applications
- Information Systems
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: 'Journal of Physics: Complexity'
publication_identifier:
  issn:
  - 2632-072X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Explosive transitions in epidemic dynamics
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2022'
...
---
_id: '12261'
abstract:
- lang: eng
  text: 'Dose–response relationships are a general concept for quantitatively describing
    biological systems across multiple scales, from the molecular to the whole-cell
    level. A clinically relevant example is the bacterial growth response to antibiotics,
    which is routinely characterized by dose–response curves. The shape of the dose–response
    curve varies drastically between antibiotics and plays a key role in treatment,
    drug interactions, and resistance evolution. However, the mechanisms shaping the
    dose–response curve remain largely unclear. Here, we show in Escherichia coli
    that the distinctively shallow dose–response curve of the antibiotic trimethoprim
    is caused by a negative growth-mediated feedback loop: Trimethoprim slows growth,
    which in turn weakens the effect of this antibiotic. At the molecular level, this
    feedback is caused by the upregulation of the drug target dihydrofolate reductase
    (FolA/DHFR). We show that this upregulation is not a specific response to trimethoprim
    but follows a universal trend line that depends primarily on the growth rate,
    irrespective of its cause. Rewiring the feedback loop alters the dose–response
    curve in a predictable manner, which we corroborate using a mathematical model
    of cellular resource allocation and growth. Our results indicate that growth-mediated
    feedback loops may shape drug responses more generally and could be exploited
    to design evolutionary traps that enable selection against drug resistance.'
acknowledged_ssus:
- _id: M-Shop
acknowledgement: This work was in part supported by Human Frontier Science Program
  GrantRGP0042/2013, Marie Curie Career Integration Grant303507, AustrianScience Fund
  (FWF) Grant P27201-B22, and German Research Foundation(DFG) Collaborative Research
  Center (SFB)1310to TB. SAA was supportedby the European Union’s Horizon2020Research
  and Innovation Programunder the Marie Skłodowska-Curie Grant agreement No707352.
  We wouldlike to thank the Bollenbach group for regular fruitful discussions. We
  areparticularly thankful for the technical assistance of Booshini Fernando andfor
  discussions of the theoretical aspects with Gerrit Ansmann. We areindebted to Bor
  Kavˇciˇc for invaluable advice, help with setting up theluciferase-based growth
  monitoring system, and for sharing plasmids. Weacknowledge the IST Austria Miba
  Machine Shop for their support inbuilding a housing for the stacker of the plate
  reader, which enabled thehigh-throughput luciferase-based experiments. We are grateful
  to RosalindAllen, Bor Kavˇciˇc and Dor Russ for feedback on the manuscript. Open
  Accessfunding enabled and organized by Projekt DEAL.
article_number: e10490
article_processing_charge: No
article_type: original
author:
- first_name: Andreas
  full_name: Angermayr, Andreas
  id: 4677C796-F248-11E8-B48F-1D18A9856A87
  last_name: Angermayr
  orcid: 0000-0001-8619-2223
- first_name: Tin Yau
  full_name: Pang, Tin Yau
  last_name: Pang
- first_name: Guillaume
  full_name: Chevereau, Guillaume
  last_name: Chevereau
- first_name: Karin
  full_name: Mitosch, Karin
  id: 39B66846-F248-11E8-B48F-1D18A9856A87
  last_name: Mitosch
- first_name: Martin J
  full_name: Lercher, Martin J
  last_name: Lercher
- first_name: Mark Tobias
  full_name: Bollenbach, Mark Tobias
  id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
  last_name: Bollenbach
  orcid: 0000-0003-4398-476X
citation:
  ama: Angermayr A, Pang TY, Chevereau G, Mitosch K, Lercher MJ, Bollenbach MT. Growth‐mediated
    negative feedback shapes quantitative antibiotic response. <i>Molecular Systems
    Biology</i>. 2022;18(9). doi:<a href="https://doi.org/10.15252/msb.202110490">10.15252/msb.202110490</a>
  apa: Angermayr, A., Pang, T. Y., Chevereau, G., Mitosch, K., Lercher, M. J., &#38;
    Bollenbach, M. T. (2022). Growth‐mediated negative feedback shapes quantitative
    antibiotic response. <i>Molecular Systems Biology</i>. Embo Press. <a href="https://doi.org/10.15252/msb.202110490">https://doi.org/10.15252/msb.202110490</a>
  chicago: Angermayr, Andreas, Tin Yau Pang, Guillaume Chevereau, Karin Mitosch, Martin
    J Lercher, and Mark Tobias Bollenbach. “Growth‐mediated Negative Feedback Shapes
    Quantitative Antibiotic Response.” <i>Molecular Systems Biology</i>. Embo Press,
    2022. <a href="https://doi.org/10.15252/msb.202110490">https://doi.org/10.15252/msb.202110490</a>.
  ieee: A. Angermayr, T. Y. Pang, G. Chevereau, K. Mitosch, M. J. Lercher, and M.
    T. Bollenbach, “Growth‐mediated negative feedback shapes quantitative antibiotic
    response,” <i>Molecular Systems Biology</i>, vol. 18, no. 9. Embo Press, 2022.
  ista: Angermayr A, Pang TY, Chevereau G, Mitosch K, Lercher MJ, Bollenbach MT. 2022.
    Growth‐mediated negative feedback shapes quantitative antibiotic response. Molecular
    Systems Biology. 18(9), e10490.
  mla: Angermayr, Andreas, et al. “Growth‐mediated Negative Feedback Shapes Quantitative
    Antibiotic Response.” <i>Molecular Systems Biology</i>, vol. 18, no. 9, e10490,
    Embo Press, 2022, doi:<a href="https://doi.org/10.15252/msb.202110490">10.15252/msb.202110490</a>.
  short: A. Angermayr, T.Y. Pang, G. Chevereau, K. Mitosch, M.J. Lercher, M.T. Bollenbach,
    Molecular Systems Biology 18 (2022).
date_created: 2023-01-16T09:58:34Z
date_published: 2022-09-01T00:00:00Z
date_updated: 2023-08-04T09:51:49Z
day: '01'
ddc:
- '570'
department:
- _id: ToBo
doi: 10.15252/msb.202110490
external_id:
  isi:
  - '000856482800001'
file:
- access_level: open_access
  checksum: 8b1d8f5ea20c8408acf466435fb6ae01
  content_type: application/pdf
  creator: dernst
  date_created: 2023-01-30T09:49:55Z
  date_updated: 2023-01-30T09:49:55Z
  file_id: '12446'
  file_name: 2022_MolecularSystemsBio_Angermayr.pdf
  file_size: 1098812
  relation: main_file
  success: 1
file_date_updated: 2023-01-30T09:49:55Z
has_accepted_license: '1'
intvolume: '        18'
isi: 1
issue: '9'
keyword:
- Applied Mathematics
- Computational Theory and Mathematics
- General Agricultural and Biological Sciences
- General Immunology and Microbiology
- General Biochemistry
- Genetics and Molecular Biology
- Information Systems
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: Molecular Systems Biology
publication_identifier:
  eissn:
  - 1744-4292
publication_status: published
publisher: Embo Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Growth‐mediated negative feedback shapes quantitative antibiotic response
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 18
year: '2022'
...
---
_id: '10861'
abstract:
- lang: eng
  text: We introduce in this paper AMT2.0, a tool for qualitative and quantitative
    analysis of hybrid continuous and Boolean signals that combine numerical values
    and discrete events. The evaluation of the signals is based on rich temporal specifications
    expressed in extended signal temporal logic, which integrates timed regular expressions
    within signal temporal logic. The tool features qualitative monitoring (property
    satisfaction checking), trace diagnostics for explaining and justifying property
    violations and specification-driven measurement of quantitative features of the
    signal. We demonstrate the tool functionality on several running examples and
    case studies, and evaluate its performance.
article_processing_charge: No
article_type: original
author:
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Olivier
  full_name: Lebeltel, Olivier
  last_name: Lebeltel
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Dogan
  full_name: Ulus, Dogan
  last_name: Ulus
citation:
  ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
    quantitative trace analysis with extended signal temporal logic. <i>International
    Journal on Software Tools for Technology Transfer</i>. 2020;22(6):741-758. doi:<a
    href="https://doi.org/10.1007/s10009-020-00582-z">10.1007/s10009-020-00582-z</a>'
  apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2020).
    AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
    logic. <i>International Journal on Software Tools for Technology Transfer</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s10009-020-00582-z">https://doi.org/10.1007/s10009-020-00582-z</a>'
  chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
    Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
    Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>.
    Springer Nature, 2020. <a href="https://doi.org/10.1007/s10009-020-00582-z">https://doi.org/10.1007/s10009-020-00582-z</a>.'
  ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic,” <i>International
    Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6. Springer
    Nature, pp. 741–758, 2020.'
  ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic. International
    Journal on Software Tools for Technology Transfer. 22(6), 741–758.'
  mla: 'Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis
    with Extended Signal Temporal Logic.” <i>International Journal on Software Tools
    for Technology Transfer</i>, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58,
    doi:<a href="https://doi.org/10.1007/s10009-020-00582-z">10.1007/s10009-020-00582-z</a>.'
  short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal
    on Software Tools for Technology Transfer 22 (2020) 741–758.
date_created: 2022-03-18T10:10:53Z
date_published: 2020-08-03T00:00:00Z
date_updated: 2023-09-08T11:52:02Z
day: '03'
department:
- _id: ToHe
doi: 10.1007/s10009-020-00582-z
external_id:
  isi:
  - '000555398600001'
intvolume: '        22'
isi: 1
issue: '6'
keyword:
- Information Systems
- Software
language:
- iso: eng
month: '08'
oa_version: None
page: 741-758
publication: International Journal on Software Tools for Technology Transfer
publication_identifier:
  eissn:
  - 1433-2787
  issn:
  - 1433-2779
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '299'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
  temporal logic'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 22
year: '2020'
...