Reducing Quasi-Equal Clocks in Networks of Timed Automata. - Christian Herrera; Bernd Westphal; Sergio Feo-Arenis; Marco Muñiz; Andreas Podelski (FORMATS, 2012)

Quasi-dependent variables in hybrid automata. - Sergiy Bogomolov; Christian Herrera; Marco Muñiz; Bernd Westphal; Andreas Podelski (HSCC, 2014)

Quasi-Equal Clock Reduction: More Networks, More Queries. - Christian Herrera; Bernd Westphal; Andreas Podelski (TACAS, 2014)

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. - Christian Herrera; Bernd Westphal (Haifa Verification Conference, 2015)

Combining point and regular lattice data in geostatistical interpolation. - Jorge Jódar; Gonzalo Sapriza; Christian Herrera; Luis Javier Lambán; Agustín Medina (J. Geogr. Syst., 2015)

Verification of Fault-Tolerant Clock Synchronization Algorithms. - Sergiy Bogomolov; Christian Herrera; Wilfried Steiner (ARCH@CPSWeek, 2016)

The Model Checking Problem in Networks with Quasi-Equal Clocks. - Christian Herrera; Bernd Westphal (TIME, 2016)

The class of timed automata with quasi-equal clocks - Christian Herrera (2017)

Stateful Priorities for Precise Restriction of System Behavior. - Christian Herrera (EDCC, 2020)

CrEStO: A Tool for Synthesizing Stateful Priorities. - Christian Herrera; Nancy Cruz; Ricardo Quintero (EDCC, 2020)

From Stateless to Stateful Priorities: Technical Report. - Christian Herrera (CoRR, 2020)

Task-modulated Sensitivity to Vocal Pitch in the Dorsal Premotor Cortex during Multitalker Speech Recognition. - Jonathan H. Venezia; Christian Herrera; Nicole Whittle; Marjorie R. Leek; Samuel Barnes; Barbara Holshouser; Alex Yi (J. Cogn. Neurosci., 2022)

Empirical Investigation and Feed-Forward Control of Wire Tension in Needle Winding Processes. - Markus Kohler; Christian Herrera; Martin Gerngroß; Ralph Kennel; Christian Endisch (ISIE, 2024)