default search action
Ivan Mura
Person information
Other persons with a similar name
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j13]Juan Jose Diaz Baquero, Ivan Mura, Juan Felipe Franco, Raha Akhavan-Tabatabaei:
aiRe - A web-based R application for simple, accessible and repeatable analysis of urban air quality data. Environ. Model. Softw. 138: 104976 (2021) - [j12]Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura:
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Trans. Reliab. 70(3): 1126-1142 (2021)
2010 – 2019
- 2019
- [j11]Diego Sierra, Leonardo Montecchi, Ivan Mura:
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants. J. Braz. Comput. Soc. 25(1): 11:1-11:19 (2019) - 2018
- [c16]Camilo Mejía-Moncayo, Alix E. Rojas, Ivan Mura:
A Discrete Bacterial Chemotaxis Approach to the Design of Cellular Manufacturing Layouts. ICCSA (1) 2018: 423-437 - [c15]Diego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura:
Probabilistic Modeling of Failure Domino Effects in Chemical Plants. LADC 2018: 57-66 - [c14]Daniela Azumendi Gongora, Juan Jose Diaz Baquero, Juan Felipe Franco, Ivan Mura:
Simulation to predict cyclists' Exposure to Air Pollution along Bikeways. WSC 2018: 2387-2398 - 2016
- [j10]Adaoha E. C. Ihekwaba, Ivan Mura, John Walshaw, Michael W. Peck, Gary C. Barker:
An Integrative Approach to Computational Modelling of the Gene Regulatory Network Controlling Clostridium botulinum Type A1 Toxin Production. PLoS Comput. Biol. 12(11) (2016) - [c13]Daniela Angulo Diaz, Raha Akhavan-Tabatabaei, Ivan Mura:
A compartmentalized simulation model for evaluation of HPV vaccination policies in Colombia. WSC 2016: 1994-2005 - [p1]Ivan Mura:
Stochastic Modeling. Modeling in Systems Biology, The Petri Net Approach 2016: 121-151 - 2014
- [j9]Adaoha E. C. Ihekwaba, Ivan Mura, Gary C. Barker:
Computational modelling and analysis of the molecular network regulating sporulation initiation in Bacillus subtilis. BMC Syst. Biol. 8: 119 (2014) - 2010
- [j8]Attila Csikász-Nagy, Ivan Mura:
Role of mRNA Gestation and Senescence in Noise Reduction during the Cell Cycle. Silico Biol. 10(1-2): 81-88 (2010)
2000 – 2009
- 2009
- [c12]Alida Palmisano, Ivan Mura, Corrado Priami:
From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing 2009: 239-250 - [c11]Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel:
Exploiting non-Markovian Bio-Processes. QAPL 2009: 83-98 - [i1]Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini:
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology 2009 - 2008
- [j7]Matteo Cavaliere, Ivan Mura:
Experiments on the reliability of stochastic spiking neural P systems. Nat. Comput. 7(4): 453-470 (2008) - [c10]Paolo Ballarini, Radu Mardare, Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking. FBTC@ICALP 2008: 3-19 - 2005
- [j6]George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura:
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. IEEE Wirel. Commun. 12(6): 11-17 (2005) - 2004
- [j5]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura:
Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. Reliab. 53(4): 509-522 (2004) - [j4]Sofoklis A. Kyriazakos, George T. Karetsos, Ivan Mura, Evangelos Gkroustiotis, Nikolaos Papaoulakis, Charis Kechagias, Kostas Vlahodimitropoulos:
A Real-Time Monitoring and Intelligent Decisions-Making Platform for Enhanced Radio Resource Management in Wireless Cellular Systems. Wirel. Pers. Commun. 30(2-4): 77-95 (2004) - 2003
- [j3]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura:
Service-Level Availability Estimation of GPRS. IEEE Trans. Mob. Comput. 2(3): 233-247 (2003) - 2002
- [c9]Massimo Barbera, Cristina Barbero, Paola Dal Zovo, Fernanda Farinaccio, Evangelos Gkroustiotis, Sofoklis A. Kyriazakos, Ivan Mura, Gianluca Previti:
An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks. ECCBR 2002: 490-504 - 2001
- [j2]Ivan Mura, Andrea Bondavalli:
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. IEEE Trans. Computers 50(12): 1337-1351 (2001) - 2000
- [c8]Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini:
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. DSN 2000: 231-236
1990 – 1999
- 1999
- [j1]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. Real Time Syst. 16(1): 5-30 (1999) - [c7]Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. EDCC 1999: 7-23 - [c6]Andrea Bondavalli, Ivan Mura, István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE 1999: 64-74 - [c5]Andrea Bondavalli, Ivan Mura, István Majzik:
Automated Dependability Analysis of UML Designs. ISORC 1999: 139- - 1997
- [c4]Simonetta Balsamo, Ivan Mura:
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times. Computer Performance Evaluation 1997: 218-231 - [c3]Andrea Bondavalli, Ivan Mura, Manuela Nelli:
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. HASE 1997: 85-93 - [c2]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
Value-driven resource assignment in object-oriented real-time dependable systems. WORDS 1997: 92-99 - 1995
- [c1]Simonetta Balsamo, Ivan Mura:
Approximate Response Time Distribution in Fork and Join Systems. SIGMETRICS 1995: 305-306
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint