|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo |
Simplification of a complex signal transduction model using invariants and flow equivalent servers.  |
Theor. Comput. Sci.  |
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 | 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 | 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 | Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo |
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis |
Tagged Generalized Stochastic Petri Nets. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
A High Level Language for Structural Relations in Well-Formed Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis |
Efficient Analysis Algorithms for Parametric Fault Trees. |
FIRB-Perf |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
priorities, conflict, Stochastic Petri nets, modeling methodology, confusion |
| 1 | Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro |
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")