András Horváth
Orcid: 0000-0002-8210-545X
According to our database1,
András Horváth
authored at least 107 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the IEEE International Symposium on Circuits and Systems, 2024
2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the 12th International Conference on Modern Circuits and Systems Technologies, 2023
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023
2022
Efficient link prediction in the protein-protein interaction network using topological information in a generative adversarial network machine learning model.
BMC Bioinform., 2022
Comparison of the Resilience of Convolutional and Cellular Neural Networks Against Adversarial Attacks.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2022
On the Feasibility and Generality of Patch-Based Adversarial Attacks on Semantic Segmentation Problems.
Proceedings of the Pattern Recognition and Artificial Intelligence, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
RVENet: A Large Echocardiographic Dataset for the Deep Learning-Based Assessment of Right Ventricular Function.
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022
2021
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Proceedings of the Performance Engineering and Stochastic Modeling, 2021
Multi-instance Conditional Autoencoder a data driven compression model for strongly correlated datasets.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2021
2020
Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018).
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020
Proceedings of the Intelligent Computing, 2020
Proceedings of the 25th International Conference on Pattern Recognition, 2020
Proceedings of the European Conference on Circuit Theory and Design, 2020
Proceedings of the 11th IEEE International Conference on Cognitive Infocommunications, 2020
Colour afterimages: computing and measuring virtual colour perception provided by two display types.
Proceedings of the 11th IEEE International Conference on Cognitive Infocommunications, 2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
ACM J. Emerg. Technol. Comput. Syst., 2019
CoRR, 2019
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019
2018
Proceedings of the 9th IEEE International Conference on Cognitive Infocommunications, 2018
2017
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
2016
IEEE Trans. Software Eng., 2016
Exploiting flow equivalent server in transient analysis.
Comput. Syst. Sci. Eng., 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015
2014
Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems.
Perform. Evaluation, 2014
Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014
Lead time distribution in unreliable production lines processing perishable products.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Signal Process., 2013
EURASIP J. Adv. Signal Process., 2013
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013
2012
Solving Non-Topographic Problems with Topographic and Synchronization Algorithms and Architectures
PhD thesis, 2012
Trans. Comp. Sys. Biology, 2012
Perform. Evaluation, 2012
Implementation of cellular genetic algorithms on a CNN chip: Simulations and experimental results.
Int. J. Circuit Theory Appl., 2012
Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2012
2011
Simplification of a complex signal transduction model using invariants and flow equivalent servers.
Theor. Comput. Sci., 2011
J. Comput. Appl. Math., 2011
Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks.
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Perform. Evaluation, 2010
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
Proceedings of the QEST 2010, 2010
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
Comput. Networks, 2009
Memory efficient analysis for a class of large structured Markov chains: work in progress.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.
Proceedings of the QEST 2009, 2009
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009
2008
Ann. Oper. Res., 2008
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Compositional fluid stochastic Petri net model for operational software system performance.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.
Proceedings of the Formal Ontologies Meet Industry, 2008
Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008
2007
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes.
Proceedings of the Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007, 2007
Proceedings of the Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007, 2007
2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2006
2005
Steady State Solution for Models with Geometric and Finite Support Activity Duration.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
2004
Perform. Evaluation, 2004
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004
2003
Reliab. Eng. Syst. Saf., 2003
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm.
Perform. Evaluation, 2003
Proceedings of the Positive Systems, 2003
2002
IEEE Trans. Software Eng., 2002
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
IEEE Trans. Software Eng., 2002
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
Proceedings of the Computer Safety, 2002
Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the Computer Performance Evaluation, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
Perform. Evaluation, 2001
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001
Discret. Event Dyn. Syst., 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
2000
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000
1999
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999