Tamás Szabó

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 17

Top Topics

Software Development

Dissolved Oxygen

Assembly Process

Top Venues

Proc. ACM Program. Lang.

Publications

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