Tamás Szabó

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.

[BibT_eX]

[DOI]

André Pacak

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Inkrementalisierung Statischer Analysen in Datalog.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Incrementalizing Static Analyses in Datalog.

[BibT_eX]

[DOI]

PhD thesis, 2021

Incremental whole-program analysis in Datalog with lattices.

[BibT_eX]

[DOI]

Gábor Bergmann

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Concise, type-safe, and efficient structural diffing.

[BibT_eX]

[DOI]

André Pacak

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.

[BibT_eX]

[DOI]

László Rónai

Robotica, 2020

A systematic approach to deriving incremental type checkers.

[BibT_eX]

[DOI]

André Pacak

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Bioinform., 2020

Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard.

[BibT_eX]

[DOI]

Balázs Bánhelyi

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

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

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2019

2018

Incrementalizing lattice-based program analyses in Datalog.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Incremental overload resolution in object-oriented programming languages.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2016

Efficient development of consistent projectional editors using grammar cells.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Markus Voelter

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An extensible framework for variable-precision data-flow analyses in MPS.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

An online application for storing, analyzing, and sharing dermatological data.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Cognitive Infocommunications, 2015

2014

mbeddr: extensible languages for embedded software development.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Microvesicle fractionation using deterministic lateral displacement effect.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2014

Communication delay and jitter influence on bilateral teleoperation.

[BibT_eX]

[DOI]

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Network Controller for Teleoperated Mobile Robotic Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Autonomous Systems 13, 2014

2013

On continuous and discrete maximum principles for elliptic problems with the third boundary condition.

[BibT_eX]

[DOI]

István Faragó

Sergey Korotov

Appl. Math. Comput., 2013

2012

Developing and visualizing live model queries.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Parallel Saturation Based Model Checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2010

Simulation of the transient behavior of fuel cells by using operator splitting techniques for real-time applications.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2010

2009

On the Discretization Time-Step in the Finite Element Theta-Method of the Two-Dimensional Discrete Heat Equation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Numerical Analysis and Its Applications, 4th International Conference, 2008

2007

Kernel CMAC With Improved Capability.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2007

Diameter graphs of polygons and the proof of a conjecture of Graham.

[BibT_eX]

[DOI]

Jim Foster

J. Comb. Theory, Ser. A, 2007

2004

An Efficient Hardware Implementation of Feed-Forward Neural Networks.

[BibT_eX]

[DOI]

Appl. Intell., 2004

2003

Novel Neuroradiological Image Processing and Information Retrieval in a Telestroke System.

[BibT_eX]

[DOI]

Proceedings of the New Navigators: from Professionals to Patients, 2003

2002

Game domination number.

[BibT_eX]

[DOI]

Discret. Math., 2002

2000

Improving the Generalization Capability of the Binary CMAC.

[BibT_eX]

[DOI]

Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000

A Full-Parallel Digital Implementation for Pre-Trained NNs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 1998

The oriented cycle game.

[BibT_eX]

[DOI]

Béla Bollobás

Discret. Math., 1998

Higher Order CMAC and its Efficient Hardware Realization.

[BibT_eX]

Proceedings of the International ICSC / IFAC Symposium on Neural Computation (NC 1998), 1998

Neural network implementation using distributed arithmetic.

[BibT_eX]

[DOI]

Béla Fehér

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

1997

A roundoff error analysis of the Oja's subspace rule.

[BibT_eX]

[DOI]