default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTamás Tóth
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Tamás Tóth
, Márton Demeter, Sándor Csuhai, Zsolt Balázs Major:
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 18(2): 101516 (2024)- [j9]Manuel Goyanes, Tamás Tóth, Gergo Háló:
Gender differences in google scholar representation and impact: an empirical analysis of political communication, journalism, health communication, and media psychology. Scientometrics 129(3): 1719-1737 (2024) - 2023
- [j8]Manuel Goyanes, Márton Demeter, Aurea Grané, Tamás Tóth, Homero Gil de Zúñiga:
Research patterns in communication (2009-2019): testing female representation and productivity differences, within the most cited authors and the field. Scientometrics 128(1): 137-156 (2023) - 2022
- [j7]Tamás Tóth, István Majzik:
Configurable verification of timed automata with discrete variables. Acta Informatica 59(1): 1-35 (2022) - 2021
- [b1]Tamás Tóth:
Abstraction Refinement-Based Verification of Timed Automata. Budapest University of Technology and Economics, Hungary, 2021 - 2020
- [j6]Márton Demeter, Tamás Tóth:
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 124(3): 2469-2495 (2020)
2010 – 2019
- 2018
- [j5]Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös:
Backward Reachability Analysis for Timed Automata with Data Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [c11]Zoltán Sebestyén, Tamás Tóth:
Integrated Controlling Tool with Plan-fact Analysis. IEEM 2018: 731-735 - [c10]Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata with Discrete Variables. SPIN 2018: 235-254 - 2017
- [j4]Tamás Tóth, István Majzik:
Formal Verification of Real-Time Systems with Data Processing. Period. Polytech. Electr. Eng. Comput. Sci. 61(2): 166-174 (2017) - [c9]Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik:
Theta: A framework for abstraction refinement-based model checking. FMCAD 2017: 176-179 - [c8]Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata Using Interpolants. FORMATS 2017: 264-280 - [c7]Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik:
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. FESCA@ETAPS 2017: 31-45 - [c6]Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei:
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS 2017: 75-91 - 2016
- [c5]Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik:
A Configurable CEGAR Framework with Interpolation-Based Refinements. FORTE 2016: 158-174 - 2015
- [c4]Tamás Tóth, András Vörös, István Majzik:
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. SERENE 2015: 31-45 - 2014
- [c3]Tamás Tóth, András Vörös:
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. SAFECOMP Workshops 2014: 207-218 - 2013
- [c2]Tamás Tóth, András Vörös, István Majzik:
K-Induction Based Verification of Real-Time Safety Critical Systems. DepCoS-RELCOMEX 2013: 469-478
2000 – 2009
- 2008
- [j3]András Hajdu, Tamás Tóth:
Approximating non-metrical Minkowski distances in 2D. Pattern Recognit. Lett. 29(6): 813-821 (2008) - 2006
- [j2]András Hajdu, János Kormos, Tamás Tóth, Kristian Vereb:
Applications of Neighborhood Sequence in Image Processing and Database Retrieval. J. Univers. Comput. Sci. 12(9): 1240-1253 (2006) - 2005
- [c1]Attila Fazekas, András Hajdu, István Sánta, Tamás Tóth:
Neighborhood Sequences and Their Applications in the Digital Image Processing. CAIP 2005: 766-772 - 2000
- [j1]Tamás Rapcsák, Zoltán Sági, Tamás Tóth, László Kétszeri:
Evaluation of tenders in information technology. Decis. Support Syst. 30(1): 1-10 (2000)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
