[{"day":"01","type":"journal_article","intvolume":"        69","status":"public","issue":"7","publication":"IEEE Transactions on Information Theory","page":"4093-4127","month":"07","date_published":"2023-07-01T00:00:00Z","article_type":"original","publisher":"Institute of Electrical and Electronics Engineers","scopus_import":"1","language":[{"iso":"eng"}],"department":[{"_id":"MaMo"}],"date_created":"2024-01-08T13:04:54Z","publication_status":"published","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>","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.","ista":"Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.","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>","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.","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>."},"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."}],"author":[{"id":"2ce5da42-b2ea-11eb-bba5-9f264e9d002c","orcid":"0000-0002-6465-6258","full_name":"Zhang, Yihan","last_name":"Zhang","first_name":"Yihan"}],"keyword":["Computer Science Applications","Information Systems"],"arxiv":1,"volume":69,"oa":1,"date_updated":"2024-01-09T08:45:24Z","article_processing_charge":"No","_id":"14751","publication_identifier":{"issn":["0018-9448"],"eissn":["1557-9654"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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]","oa_version":"Preprint","quality_controlled":"1","year":"2023","doi":"10.1109/tit.2023.3257239","external_id":{"arxiv":["2101.12426"]},"title":"Zero-error communication over adversarial MACs","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2101.12426"}]},{"type":"journal_article","day":"01","status":"public","intvolume":"        59","file_date_updated":"2022-01-07T07:50:31Z","page":"585-618","publication":"Acta Informatica","date_published":"2022-10-01T00:00:00Z","article_type":"original","month":"10","language":[{"iso":"eng"}],"publisher":"Springer Nature","scopus_import":"1","department":[{"_id":"KrCh"}],"has_accepted_license":"1","date_created":"2022-01-06T12:37:27Z","file":[{"success":1,"content_type":"application/pdf","relation":"main_file","file_id":"10603","creator":"cchlebak","file_name":"2021_ActaInfor_Křetínský.pdf","file_size":1066082,"date_created":"2022-01-07T07:50:31Z","checksum":"bf1c195b6aaf59e8530cf9e3a9d731f7","date_updated":"2022-01-07T07:50:31Z","access_level":"open_access"}],"publication_status":"published","citation":{"short":"J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.","ista":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2022. Index appearance record with preorders. Acta Informatica. 59, 585–618.","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>","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>.","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.","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>"},"keyword":["computer networks and communications","information systems","software"],"author":[{"full_name":"Kretinsky, Jan","last_name":"Kretinsky","orcid":"0000-0002-8122-2881","first_name":"Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"first_name":"Clara","last_name":"Waldmann","full_name":"Waldmann, Clara"},{"first_name":"Maximilian","last_name":"Weininger","full_name":"Weininger, Maximilian"}],"abstract":[{"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.","lang":"eng"}],"date_updated":"2023-08-02T13:49:28Z","oa":1,"volume":59,"article_processing_charge":"Yes (via OA deal)","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","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.","oa_version":"Published Version","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"quality_controlled":"1","_id":"10602","publication_identifier":{"issn":["0001-5903"],"eissn":["1432-0525"]},"year":"2022","doi":"10.1007/s00236-021-00412-y","external_id":{"isi":["000735765500001"]},"title":"Index appearance record with preorders","isi":1,"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)"},"ddc":["000"]},{"publication_status":"published","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>","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).","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.","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.","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>."},"keyword":["Artificial Intelligence","Computer Networks and Communications","Computer Science Applications","Information Systems"],"author":[{"first_name":"Georg","last_name":"Börner","full_name":"Börner, Georg"},{"last_name":"Schröder","full_name":"Schröder, Malte","first_name":"Malte"},{"full_name":"Scarselli, Davide","last_name":"Scarselli","orcid":"0000-0001-5227-4271","first_name":"Davide","id":"40315C30-F248-11E8-B48F-1D18A9856A87"},{"id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0423-5010","full_name":"Budanur, Nazmi B","last_name":"Budanur","first_name":"Nazmi B"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","full_name":"Hof, Björn","last_name":"Hof","orcid":"0000-0003-2057-2754","first_name":"Björn"},{"full_name":"Timme, Marc","last_name":"Timme","first_name":"Marc"}],"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."}],"oa":1,"date_updated":"2023-02-13T09:15:13Z","volume":3,"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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.","quality_controlled":"1","oa_version":"Published Version","_id":"12134","publication_identifier":{"issn":["2632-072X"]},"year":"2022","doi":"10.1088/2632-072x/ac99cd","title":"Explosive transitions in epidemic dynamics","article_number":"04LT02","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)"},"ddc":["530"],"type":"journal_article","day":"25","status":"public","intvolume":"         3","file_date_updated":"2023-01-24T07:24:37Z","issue":"4","publication":"Journal of Physics: Complexity","date_published":"2022-10-25T00:00:00Z","article_type":"original","month":"10","language":[{"iso":"eng"}],"publisher":"IOP Publishing","scopus_import":"1","department":[{"_id":"BjHo"}],"has_accepted_license":"1","file":[{"success":1,"file_id":"12350","creator":"dernst","relation":"main_file","content_type":"application/pdf","checksum":"35c5c5cb0eb17ea1b5184755daab9fc9","date_created":"2023-01-24T07:24:37Z","file_size":1006106,"file_name":"2022_JourPhysics_Boerner.pdf","access_level":"open_access","date_updated":"2023-01-24T07:24:37Z"}],"date_created":"2023-01-12T12:03:43Z"},{"date_updated":"2023-08-04T09:51:49Z","volume":18,"oa":1,"article_processing_charge":"No","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.","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","quality_controlled":"1","oa_version":"Published Version","_id":"12261","publication_identifier":{"eissn":["1744-4292"]},"publication_status":"published","citation":{"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>.","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>","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.","short":"A. Angermayr, T.Y. Pang, G. Chevereau, K. Mitosch, M.J. Lercher, M.T. Bollenbach, Molecular Systems Biology 18 (2022).","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.","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>."},"keyword":["Applied Mathematics","Computational Theory and Mathematics","General Agricultural and Biological Sciences","General Immunology and Microbiology","General Biochemistry","Genetics and Molecular Biology","Information Systems"],"author":[{"id":"4677C796-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8619-2223","last_name":"Angermayr","full_name":"Angermayr, Andreas","first_name":"Andreas"},{"last_name":"Pang","full_name":"Pang, Tin Yau","first_name":"Tin Yau"},{"first_name":"Guillaume","full_name":"Chevereau, Guillaume","last_name":"Chevereau"},{"id":"39B66846-F248-11E8-B48F-1D18A9856A87","first_name":"Karin","last_name":"Mitosch","full_name":"Mitosch, Karin"},{"full_name":"Lercher, Martin J","last_name":"Lercher","first_name":"Martin J"},{"id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias","last_name":"Bollenbach","orcid":"0000-0003-4398-476X","first_name":"Mark Tobias"}],"abstract":[{"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.","lang":"eng"}],"article_number":"e10490","isi":1,"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)"},"ddc":["570"],"acknowledged_ssus":[{"_id":"M-Shop"}],"doi":"10.15252/msb.202110490","year":"2022","external_id":{"isi":["000856482800001"]},"title":"Growth‐mediated negative feedback shapes quantitative antibiotic response","file_date_updated":"2023-01-30T09:49:55Z","issue":"9","publication":"Molecular Systems Biology","type":"journal_article","day":"01","status":"public","intvolume":"        18","department":[{"_id":"ToBo"}],"has_accepted_license":"1","file":[{"date_updated":"2023-01-30T09:49:55Z","access_level":"open_access","date_created":"2023-01-30T09:49:55Z","checksum":"8b1d8f5ea20c8408acf466435fb6ae01","file_name":"2022_MolecularSystemsBio_Angermayr.pdf","file_size":1098812,"file_id":"12446","creator":"dernst","content_type":"application/pdf","relation":"main_file","success":1}],"date_created":"2023-01-16T09:58:34Z","article_type":"original","date_published":"2022-09-01T00:00:00Z","month":"09","language":[{"iso":"eng"}],"publisher":"Embo Press","scopus_import":"1"},{"abstract":[{"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.","lang":"eng"}],"keyword":["Information Systems","Software"],"author":[{"id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan","full_name":"Nickovic, Dejan","last_name":"Nickovic"},{"first_name":"Olivier","full_name":"Lebeltel, Olivier","last_name":"Lebeltel"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","first_name":"Thomas"},{"first_name":"Dogan","full_name":"Ulus, Dogan","last_name":"Ulus"}],"publication_status":"published","citation":{"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>.","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>","short":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.","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.","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>","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.","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>."},"_id":"10861","publication_identifier":{"eissn":["1433-2787"],"issn":["1433-2779"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1","oa_version":"None","date_updated":"2023-09-08T11:52:02Z","volume":22,"article_processing_charge":"No","title":"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic","external_id":{"isi":["000555398600001"]},"doi":"10.1007/s10009-020-00582-z","year":"2020","related_material":{"record":[{"relation":"earlier_version","id":"299","status":"public"}]},"isi":1,"intvolume":"        22","status":"public","day":"03","type":"journal_article","issue":"6","publication":"International Journal on Software Tools for Technology Transfer","page":"741-758","publisher":"Springer Nature","scopus_import":"1","language":[{"iso":"eng"}],"month":"08","date_published":"2020-08-03T00:00:00Z","article_type":"original","date_created":"2022-03-18T10:10:53Z","department":[{"_id":"ToHe"}]}]