Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Christian Herrera
@article{DBLP:journals/jocn/VeneziaHWLBHY22, author = {Jonathan H. Venezia and Christian Herrera and Nicole Whittle and Marjorie R. Leek and Samuel Barnes and Barbara Holshouser and Alex Yi}, title = {Task-modulated Sensitivity to Vocal Pitch in the Dorsal Premotor Cortex during Multitalker Speech Recognition}, journal = {J. Cogn. Neurosci.}, volume = {34}, number = {11}, pages = {2189--2214}, year = {2022}, url = {https://doi.org/10.1162/jocn\_a\_01907}, doi = {10.1162/JOCN\_A\_01907}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jocn/VeneziaHWLBHY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/Herrera20, author = {Christian Herrera}, title = {Stateful Priorities for Precise Restriction of System Behavior}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {69--76}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00021}, doi = {10.1109/EDCC51268.2020.00021}, timestamp = {Wed, 28 Oct 2020 15:42:24 +0100}, biburl = {https://dblp.org/rec/conf/edcc/Herrera20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/HerreraCQ20, author = {Christian Herrera and Nancy Cruz and Ricardo Quintero}, title = {CrEStO: {A} Tool for Synthesizing Stateful Priorities}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {143--146}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00031}, doi = {10.1109/EDCC51268.2020.00031}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/HerreraCQ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-08646, author = {Christian Herrera}, title = {From Stateless to Stateful Priorities: Technical Report}, journal = {CoRR}, volume = {abs/2002.08646}, year = {2020}, url = {https://arxiv.org/abs/2002.08646}, eprinttype = {arXiv}, eprint = {2002.08646}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-08646.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Salazar17, author = {Christian Herrera}, title = {The class of timed automata with quasi-equal clocks}, school = {University of Freiburg, Germany}, year = {2017}, url = {https://freidok.uni-freiburg.de/data/14682}, urn = {urn:nbn:de:bsz:25-freidok-146825}, doi = {10.6094/UNIFR/14682}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Salazar17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/BogomolovHS16, author = {Sergiy Bogomolov and Christian Herrera and Wilfried Steiner}, editor = {Goran Frehse and Matthias Althoff}, title = {Verification of Fault-Tolerant Clock Synchronization Algorithms}, booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria}, series = {EPiC Series in Computing}, volume = {43}, pages = {36--41}, publisher = {EasyChair}, year = {2016}, url = {https://doi.org/10.29007/hq8s}, doi = {10.29007/HQ8S}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/BogomolovHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/HerreraW16, author = {Christian Herrera and Bernd Westphal}, editor = {Curtis E. Dyreson and Michael R. Hansen and Luke Hunsberger}, title = {The Model Checking Problem in Networks with Quasi-Equal Clocks}, booktitle = {23rd International Symposium on Temporal Representation and Reasoning, {TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016}, pages = {21--30}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/TIME.2016.10}, doi = {10.1109/TIME.2016.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/HerreraW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jgs/JodarSHLM15, author = {Jorge J{\'{o}}dar and Gonzalo Sapriza and Christian Herrera and Luis Javier Lamb{\'{a}}n and Agust{\'{\i}}n Medina}, title = {Combining point and regular lattice data in geostatistical interpolation}, journal = {J. Geogr. Syst.}, volume = {17}, number = {3}, pages = {275--296}, year = {2015}, url = {https://doi.org/10.1007/s10109-015-0214-6}, doi = {10.1007/S10109-015-0214-6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgs/JodarSHLM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/HerreraW15, author = {Christian Herrera and Bernd Westphal}, editor = {Nir Piterman}, title = {Quasi-equal Clock Reduction: Eliminating Assumptions on Networks}, booktitle = {Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9434}, pages = {173--189}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26287-1\_11}, doi = {10.1007/978-3-319-26287-1\_11}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/HerreraW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14, author = {Sergiy Bogomolov and Christian Herrera and Marco Mu{\~{n}}iz and Bernd Westphal and Andreas Podelski}, editor = {Martin Fr{\"{a}}nzle and John Lygeros}, title = {Quasi-dependent variables in hybrid automata}, booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014}, pages = {93--102}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2562059.2562142}, doi = {10.1145/2562059.2562142}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BogomolovHMWP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HerreraWP14, author = {Christian Herrera and Bernd Westphal and Andreas Podelski}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {Quasi-Equal Clock Reduction: More Networks, More Queries}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {295--309}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_20}, doi = {10.1007/978-3-642-54862-8\_20}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HerreraWP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/HerreraWAMP12, author = {Christian Herrera and Bernd Westphal and Sergio Feo{-}Arenis and Marco Mu{\~{n}}iz and Andreas Podelski}, editor = {Marcin Jurdzinski and Dejan Nickovic}, title = {Reducing Quasi-Equal Clocks in Networks of Timed Automata}, booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7595}, pages = {155--170}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33365-1\_12}, doi = {10.1007/978-3-642-33365-1\_12}, timestamp = {Wed, 19 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/HerreraWAMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.