Ivan Mura
Orcid: 0000-0001-5549-0324
According to our database1,
Ivan Mura
authored at least 31 papers
between 1995 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.
IEEE Trans. Reliab., 2021
aiRe - A web-based R application for simple, accessible and repeatable analysis of urban air quality data.
Environ. Model. Softw., 2021
2019
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants.
J. Braz. Comput. Soc., 2019
2018
Proceedings of the 2018 Winter Simulation Conference, 2018
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018
A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts.
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018
2016
Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016
An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production.
PLoS Comput. Biol., 2016
A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia.
Proceedings of the Winter Simulation Conference, 2016
2014
Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis.
BMC Syst. Biol., 2014
2010
Silico Biol., 2010
2009
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
2008
Nat. Comput., 2008
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008
2005
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments.
IEEE Wirel. Commun., 2005
2004
A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems.
Wirel. Pers. Commun., 2004
IEEE Trans. Reliab., 2004
2003
2002
An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks.
Proceedings of the Advances in Case-Based Reasoning, 6th European Conference, 2002
2001
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers, 2001
2000
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
Real Time Syst., 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
Proceedings of the Dependable Computing, 1999
1997
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997
1995
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995