Tamás Tóth

22 papers B 1C 2Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Gender differences in google scholar representation and impact: an empirical analysis of political communication, journalism, health communication, and media psychology.
Scientometrics
Manuel Goyanes, Tamás Tóth, Gergo Háló
2024 J jnl
When career-boosting is on the line: Equity and inequality in grant evaluation, productivity, and the educational backgrounds of Marie Skłodowska-Curie Actions individual fellows in social sciences and humanities.
J. Informetrics
Tamás Tóth, Márton Demeter, Sándor Csuhai, Zsolt Balázs Major
2023 J jnl
Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field.
Scientometrics
Manuel Goyanes, Márton Demeter, Aurea Grané, Tamás Tóth, Homero Gil de Zúñiga
2022 J jnl
Configurable verification of timed automata with discrete variables.
Acta Informatica
Tamás Tóth, István Majzik
2021 — —
Abstraction Refinement-Based Verification of Timed Automata
Tamás Tóth
2020 J jnl
The world-systemic network of global elite sociology: the western male monoculture at faculties of the top one-hundred sociology departments of the world.
Scientometrics
Márton Demeter, Tamás Tóth
2018 J jnl
Backward Reachability Analysis for Timed Automata with Data Variables.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
2018 — conf
Integrated Controlling Tool with Plan-fact Analysis.
IEEM
Zoltán Sebestyén, Tamás Tóth
2018 — conf
Lazy Reachability Checking for Timed Automata with Discrete Variables.
SPIN
Tamás Tóth, István Majzik
2017 — conf
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
FESCA@ETAPS
Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik
2017 J jnl
Formal Verification of Real-Time Systems with Data Processing.
Period. Polytech. Electr. Eng. Comput. Sci.
Tamás Tóth, István Majzik
2017 — conf
Lazy Reachability Checking for Timed Automata Using Interpolants.
FORMATS
Tamás Tóth, István Majzik
2017 B conf
Theta: A framework for abstraction refinement-based model checking.
FMCAD
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
2017 — conf
Towards Evaluating Size Reduction Techniques for Software Model Checking.
VPT@ETAPS
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
2016 C conf
A Configurable CEGAR Framework with Interpolation-Based Refinements.
FORTE
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
2015 — conf
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol.
SERENE
Tamás Tóth, András Vörös, István Majzik
2014 — conf
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.
SAFECOMP Workshops
Tamás Tóth, András Vörös
2013 — conf
K-Induction Based Verification of Real-Time Safety Critical Systems.
DepCoS-RELCOMEX
Tamás Tóth, András Vörös, István Majzik
2008 J jnl
Approximating non-metrical Minkowski distances in 2D.
Pattern Recognit. Lett.
András Hajdu, Tamás Tóth
2006 J jnl
Applications of Neighborhood Sequence in Image Processing and Database Retrieval.
J. Univers. Comput. Sci.
András Hajdu, János Kormos, Tamás Tóth, Kristian Vereb
2005 C conf
Neighborhood Sequences and Their Applications in the Digital Image Processing.
CAIP
Attila Fazekas, András Hajdu, István Sánta, Tamás Tóth
2000 J jnl
Evaluation of tenders in information technology.
Decis. Support Syst.
Tamás Rapcsák, Zoltán Sági, Tamás Tóth, László Kétszeri