| Publication | Date of Publication | Type |
|---|
Cell-oriented programming
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica | 2024-12-18 | Paper |
A MILP approach combined with clustering to solve a special petrol station replenishment problem
CEJOR. Central European Journal of Operations Research | 2024-05-13 | Paper |
A physics-based reduced order model for urban air pollution prediction
Computer Methods in Applied Mechanics and Engineering | 2024-02-14 | Paper |
Traquest model -- a novel model for ACID concurrent computations
Acta Cybernetica | 2021-12-13 | Paper |
Analogue models of rocking suitcases and snaking trailers
Nonlinear Dynamics of Structures, Systems and Devices | 2021-12-02 | Paper |
Computation of sensitivity of periodically excited dynamical systems
Journal of Engineering Mathematics | 2019-09-11 | Paper |
A novel unified approach to invariance conditions for a linear dynamical system
Applied Mathematics and Computation | 2019-03-28 | Paper |
Invariance preserving discretization methods of dynamical systems
Vietnam Journal of Mathematics | 2018-12-20 | Paper |
Invariance conditions for nonlinear dynamical systems
Optimization and Its Applications in Control and Data Sciences | 2017-01-27 | Paper |
Positively invariant cones of dynamical systems under Runge-Kutta and Rosenbrock-type discretization
PAMM | 2017-01-24 | Paper |
Numerical simulation of compressible fluid flow in 3D domains with translating boundaries
PAMM | 2017-01-24 | Paper |
MILP models for the optimization of real production lines
CEJOR. Central European Journal of Operations Research | 2016-07-04 | Paper |
New effective MILP models for PFSPs arising from real applications
CEJOR. Central European Journal of Operations Research | 2016-06-29 | Paper |
Steplength thresholds for invariance preserving of discretization methods of dynamical systems on a polyhedron
Discrete and Continuous Dynamical Systems | 2016-03-09 | Paper |
Strong stability preserving explicit peer methods
Journal of Computational and Applied Mathematics | 2015-12-21 | Paper |
On preservation of positivity in some finite element methods for the heat equation
Computational Methods in Applied Mathematics | 2015-10-05 | Paper |
| On geodesic mappings of Riemannian spaces with cyclic Ricci tensor | 2015-05-22 | Paper |
| A Novel Unified Approach to Invariance for a Dynamical System | 2014-05-20 | Paper |
Integrated experimental design and nonlinear optimization to handle computationally expensive models under resource constraints
Journal of Global Optimization | 2013-09-26 | Paper |
Improving quality of software analyser and transformer tools using specification based testing
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica | 2012-07-12 | Paper |
| Static rules of variable scoping in Erlang | 2010-01-25 | Paper |
| A semantic model for proving properties of clean object I/O programs | 2009-12-29 | Paper |
Use Cases for Refactoring in Erlang
Central European Functional Programming School | 2009-02-03 | Paper |
Temporal Properties of Clean Programs Proven in Sparkle-T
Central European Functional Programming School | 2009-01-15 | Paper |
Designing Distributed Computational Skeletons in D-Clean and D-Box
Central European Functional Programming School | 2009-01-15 | Paper |
| Invariant cones and polyhedra for dynamical systems | 2007-12-11 | Paper |
| scientific article; zbMATH DE number 5036152 (Why is no real title available?) | 2006-06-27 | Paper |
| scientific article; zbMATH DE number 5036161 (Why is no real title available?) | 2006-06-27 | Paper |
A method for job scheduling in Grid based on job execution status
Multiagent and Grid Systems | 2006-05-23 | Paper |
Parallel programs implementing abstract data type operations
PU.M.A. Pure Mathematics and Applications | 2005-06-22 | Paper |
On the positivity step size threshold of Runge--Kutta methods
Applied Numerical Mathematics | 2005-04-21 | Paper |
On the positivity of matrix-vector products
Linear Algebra and its Applications | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2110719 (Why is no real title available?) | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2110720 (Why is no real title available?) | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2099048 (Why is no real title available?) | 2004-09-07 | Paper |
Parallel elementwise processable functions in concurrent clean
Mathematical and Computer Modelling | 2004-08-06 | Paper |
| Web computing in Clean | 2002-08-05 | Paper |
Parallel elementwise processing - a Novel version
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica | 2002-02-13 | Paper |
Positivity of Runge-Kutta and diagonally split Runge-Kutta methods
Applied Numerical Mathematics | 1999-11-22 | Paper |
| scientific article; zbMATH DE number 1136254 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 809141 (Why is no real title available?) | 1995-01-01 | Paper |
Consistency and stability for some nonnegativity-conserving methods
Applied Numerical Mathematics | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 4193139 (Why is no real title available?) | 1989-01-01 | Paper |
