( en | de | ru )

 

Disambiguierung von "Tóth, Tamás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Configurable CEGAR Framework with Interpolation-Based Refinements.

, , , und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 158-174. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christine Tamásy

Ónodi Tamás

Nándor Tamáskovics

Erika Tamási

Markus Tamás

 

Weitere Publikationen von Autoren mit dem selben Namen

Applications of Neighborhood Sequence in Image Processing and Database Retrieval., , , und . J. Univers. Comput. Sci., 12 (9): 1240-1253 (2006)Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field., , , , und . Scientometrics, 128 (1): 137-156 (Januar 2023)Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics., und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 207-218. Springer, (2014)Lazy Reachability Checking for Timed Automata Using Interpolants., und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 264-280. Springer, (2017)Lazy Reachability Checking for Timed Automata with Discrete Variables., und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 235-254. Springer, (2018)Abstraction Refinement-Based Verification of Timed Automata. Budapest University of Technology and Economics, Hungary, (2021)Integrated Controlling Tool with Plan-fact Analysis., und . IEEM, Seite 731-735. IEEE, (2018)Towards Evaluating Size Reduction Techniques for Software Model Checking., , , und . VPT@ETAPS, Volume 253 von EPTCS, Seite 75-91. (2017)Theta: A framework for abstraction refinement-based model checking., , , , und . FMCAD, Seite 176-179. IEEE, (2017)Formal Verification of Real-Time Systems with Data Processing., und . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 166-174 (2017)