|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Lumping partially symmetrical stochastic models.  |
Perform. Eval.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
First Passage Time Computation in Tagged GSPNs with Queue Places. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Timothy J. Close |
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
Probe Automata for Passage Time Specification. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
passage time, Markov chains, GSPN |
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
Computing first passage time distributions in stochastic well-formed nets. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas |
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. |
VTC Spring |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner |
GreatSPN Enhanced with Decision Diagram Data Structures. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis |
The GreatSPN tool: recent enhancements. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad |
Parametric NdRFT for the derivation of optimal repair strategies. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani |
Modeling Clinical Guidelines through Petri Nets. |
AIME |
2009 |
DBLP DOI BibTeX RDF |
Well-formed net, Petri net, clinical guidelines |
| 1 | Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun |
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Marco Beccuti, Giuliana Franceschinis |
New Solvers for Asymmetric Systems in GreatSPN. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad |
A framework to design and solve Markov Decision Well-formed Net models. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie |
Efficient lumpability check in partially symmetric systems. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")