Theoretical Computer Science

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Theoretical Computer Science
 
e-ISSN
1879-2294
 
ISSN
0304-3975
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Theoretical Computer Science
Author:  Bartocci, Ezio

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ariful Islam, Md. ; Murthy, Abhishek ; Bartocci, Ezio ; Cherry, Elizabeth M. ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Model-Order Reduction of Ion Channel Dynamics Using Approximate BisimulationArtikel Article 2015
2Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura Moment-based analysis of Bayesian network propertiesArtikel Article 2022
3Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido System Design of Stochastic Models using Robustness of Temporal PropertiesArtikel Article 2015