Tamás Szabó

47 papers A* 4B 3C 3Misc 1Journal 16Unranked 18
YearRankTypeTitle / Venue / Authors
2024 — conf
FinTech Solutions Supporting Sustainable Agriculture ? Lessons from Africa.
CEEeGov
Judit Glavanits, Tamás Szabó
2023 — conf
Incrementalizing Production CodeQL Analyses.
ESEC/SIGSOFT FSE
Tamás Szabó
2023 J jnl
Incrementalizing Production CodeQL Analyses.
CoRR
Tamás Szabó
2022 B conf
Incremental Processing of Structured Data in Datalog.
GPCE
André Pacak, Tamás Szabó, Sebastian Erdweg
2021 A* conf
Concise, type-safe, and efficient structural diffing.
PLDI
Sebastian Erdweg, Tamás Szabó, André Pacak
2021 A* conf
Incremental whole-program analysis in Datalog with lattices.
PLDI
Tamás Szabó, Sebastian Erdweg, Gábor Bergmann
2021 — —
Incrementalizing Static Analyses in Datalog.
Tamás Szabó
2021 — ch.
Inkrementalisierung Statischer Analysen in Datalog.
Ausgezeichnete Informatikdissertationen
Tamás Szabó
2020 J jnl
A systematic approach to deriving incremental type checkers.
Proc. ACM Program. Lang.
André Pacak, Sebastian Erdweg, Tamás Szabó
2020 — conf
Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard.
ICAI
Balázs Bánhelyi, Tamás Szabó
2020 J jnl
Scirpy: a Scanpy extension for analyzing single-cell T-cell receptor-sequencing data.
Bioinform.
Gregor Sturm, Tamás Szabó, Georgios Fotakis, Marlene Haider, Dietmar Rieder, Zlatko Trajanoski, Francesca Finotello
2020 J jnl
Snap-fit Assembly Process with Industrial Robot Including Force Feedback.
Robotica
László Rónai, Tamás Szabó
2019 J jnl
A quick condition adaptive soft sensor model with dual scale structure for dissolved oxygen simulation of recirculation aquaculture system.
Comput. Electron. Agric.
Hao Yang, Béla Csukás, Mónika Varga, Balázs Kucska, Tamás Szabó, Daoliang Li
2019 J jnl
Lessons learned from developing mbeddr: a case study in language engineering with MPS.
Softw. Syst. Model.
Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen
2018 — conf
Incremental overload resolution in object-oriented programming languages.
ISSTA/ECOOP Workshops
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
2018 J jnl
Incrementalizing lattice-based program analyses in Datalog.
Proc. ACM Program. Lang.
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter
2016 A* conf
An extensible framework for variable-precision data-flow analyses in MPS.
ASE
Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg
2016 — conf
Dedicated support for analyses and optimizations in language workbenches.
SPLASH (Companion Volume)
Tamás Szabó
2016 B conf
Efficient development of consistent projectional editors using grammar cells.
SLE
Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
2016 A* conf
IncA: a DSL for the definition of incremental program analyses.
ASE
Tamás Szabó, Sebastian Erdweg, Markus Voelter
2015 — conf
An online application for storing, analyzing, and sharing dermatological data.
CogInfoCom
János Tóth, Lorant Bartha, Tamás Szabó, István Lázár, Balázs Harangi, András Hajdu
2014 — conf
Communication delay and jitter influence on bilateral teleoperation.
MED
Lorinc Márton, Zoltán Szántó, Tamas Vajda, Piroska Haller, Hunor Sándor, Tamás Szabó, Levente Tamas
2014 — conf
Microvesicle fractionation using deterministic lateral displacement effect.
NEMS
András József Laki, Lilla Botzheim, Kristóf Iván, Tamás Szabó, Viola Tamasi, Edit I. Buzás, Pierluigi Civera
2014 C conf
Network Controller for Teleoperated Mobile Robotic Agents.
IAS
Lorinc Márton, Piroska Haller, Tamás Szabó, Hunor Sándor, Tamas Vajda, Zoltán Szántó
2014 — conf
mbeddr - Extensible Languages for Embedded Software Development.
ETX
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
2014 — conf
mbeddr: extensible languages for embedded software development.
HILT
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
2013 J jnl
On continuous and discrete maximum principles for elliptic problems with the third boundary condition.
Appl. Math. Comput.
István Faragó, Sergey Korotov, Tamás Szabó
2012 — conf
Developing and visualizing live model queries.
AMT@MoDELS
Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró
2012 B conf
Incremental Pattern Matching for the Efficient Computation of Transitive Closure.
ICGT
Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
2011 C conf
Parallel Saturation Based Model Checking.
ISPDC
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
2010 J jnl
Simulation of the transient behavior of fuel cells by using operator splitting techniques for real-time applications.
Comput. Chem. Eng.
Ákos Kriston, György Inzelt, István Faragó, Tamás Szabó
2010 J jnl
Some sufficient conditions for the non-negativity preservation property in the discrete heat conduction model.
J. Comput. Appl. Math.
Tamás Szabó
2009 — conf
On the Discretization Time-Step in the Finite Element Theta-Method of the Two-Dimensional Discrete Heat Equation.
LSSC
Tamás Szabó
2008 — conf
On the Discretization Time-Step in the Finite Element Theta-Method of the Discrete Heat Equation.
NAA
Tamás Szabó
2007 J jnl
Diameter graphs of polygons and the proof of a conjecture of Graham.
J. Comb. Theory A
Jim Foster, Tamás Szabó
2007 J jnl
Kernel CMAC With Improved Capability.
IEEE Trans. Syst. Man Cybern. Part B
Gábor Horváth, Tamás Szabó
2004 J jnl
An Efficient Hardware Implementation of Feed-Forward Neural Networks.
Appl. Intell.
Tamás Szabó, Gábor Horváth
2003 — conf
Novel Neuroradiological Image Processing and Information Retrieval in a Telestroke System.
MIE
Tamás Szabó, Júlia Góth, Sándor Dominich, György Kozmann, Péter Szolgay, Péter Bársony
2002 J jnl
Game domination number.
Discret. Math.
Noga Alon, József Balogh, Béla Bollobás, Tamás Szabó
2001 C conf
An Efficient Hardware Implementation of Feed-Forward Neural Networks.
IEA/AIE
Tamás Szabó, Gábor Horváth
2000 — conf
A Full-Parallel Digital Implementation for Pre-Trained NNs.
IJCNN (2)
Tamás Szabó, Lörinc Antoni, Gábor Horváth, Béla Fehér
2000 — conf
Improving the Generalization Capability of the Binary CMAC.
IJCNN (3)
Tamás Szabó, Gábor Horváth
1998 J jnl
Finite word length computational effects of the principal component analysis networks.
IEEE Trans. Instrum. Meas.
Tamás Szabó, Gábor Horváth
1998 — conf
Higher Order CMAC and its Efficient Hardware Realization.
NC
Gábor Horváth, Tamás Szabó
1998 — conf
Neural network implementation using distributed arithmetic.
KES (3)
Tamás Szabó, Béla Fehér, Gábor Horváth
1998 J jnl
The oriented cycle game.
Discret. Math.
Béla Bollobás, Tamás Szabó
1997 Misc conf
A roundoff error analysis of the Oja's subspace rule.
ICASSP
Tamás Szabó, Gábor Horváth