Tamás Szabó

Orcid: 0000-0001-9422-8142

According to our database1, Tamás Szabó authored at least 43 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Incrementalizing Production CodeQL Analyses.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022
Incremental Processing of Structured Data in Datalog.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021
Inkrementalisierung Statischer Analysen in Datalog.
Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Incrementalizing Static Analyses in Datalog.
PhD thesis, 2021

Incremental whole-program analysis in Datalog with lattices.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Concise, type-safe, and efficient structural diffing.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Snap-fit Assembly Process with Industrial Robot Including Force Feedback.
Robotica, 2020

A systematic approach to deriving incremental type checkers.
Proc. ACM Program. Lang., 2020

Scirpy: a Scanpy extension for analyzing single-cell T-cell receptor-sequencing data.
Bioinform., 2020

Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard.
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), 2020

2019
Lessons learned from developing mbeddr: a case study in language engineering with MPS.
Softw. Syst. Model., 2019

A quick condition adaptive soft sensor model with dual scale structure for dissolved oxygen simulation of recirculation aquaculture system.
Comput. Electron. Agric., 2019

2018
Incrementalizing lattice-based program analyses in Datalog.
Proc. ACM Program. Lang., 2018

Incremental overload resolution in object-oriented programming languages.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2016
Efficient development of consistent projectional editors using grammar cells.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Dedicated support for analyses and optimizations in language workbenches.
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

IncA: a DSL for the definition of incremental program analyses.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An extensible framework for variable-precision data-flow analyses in MPS.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
An online application for storing, analyzing, and sharing dermatological data.
Proceedings of the 6th IEEE International Conference on Cognitive Infocommunications, 2015

2014
Microvesicle fractionation using deterministic lateral displacement effect.
Proceedings of the 9th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2014

Communication delay and jitter influence on bilateral teleoperation.
Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Network Controller for Teleoperated Mobile Robotic Agents.
Proceedings of the Intelligent Autonomous Systems 13, 2014

mbeddr - Extensible Languages for Embedded Software Development.
Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014

2013
On continuous and discrete maximum principles for elliptic problems with the third boundary condition.
Appl. Math. Comput., 2013

2012
Developing and visualizing live model queries.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Parallel Saturation Based Model Checking.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2010
Some sufficient conditions for the non-negativity preservation property in the discrete heat conduction model.
J. Comput. Appl. Math., 2010

Simulation of the transient behavior of fuel cells by using operator splitting techniques for real-time applications.
Comput. Chem. Eng., 2010

2009
On the Discretization Time-Step in the Finite Element Theta-Method of the Two-Dimensional Discrete Heat Equation.
Proceedings of the Large-Scale Scientific Computing, 7th International Conference, 2009

2008
On the Discretization Time-Step in the Finite Element Theta-Method of the Discrete Heat Equation.
Proceedings of the Numerical Analysis and Its Applications, 4th International Conference, 2008

2007
Kernel CMAC With Improved Capability.
IEEE Trans. Syst. Man Cybern. Part B, 2007

Diameter graphs of polygons and the proof of a conjecture of Graham.
J. Comb. Theory A, 2007

2004
An Efficient Hardware Implementation of Feed-Forward Neural Networks.
Appl. Intell., 2004

2003
Novel Neuroradiological Image Processing and Information Retrieval in a Telestroke System.
Proceedings of the New Navigators: from Professionals to Patients, 2003

2002
Game domination number.
Discret. Math., 2002

2000
Improving the Generalization Capability of the Binary CMAC.
Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000

A Full-Parallel Digital Implementation for Pre-Trained NNs.
Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000

1998
Finite word length computational effects of the principal component analysis networks.
IEEE Trans. Instrum. Meas., 1998

The oriented cycle game.
Discret. Math., 1998

Higher Order CMAC and its Efficient Hardware Realization.
Proceedings of the International ICSC / IFAC Symposium on Neural Computation (NC 1998), 1998

Neural network implementation using distributed arithmetic.
Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

1997
A roundoff error analysis of the Oja's subspace rule.
Proceedings of the 1997 IEEE International Conference on Acoustics, 1997


  Loading...