|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo |
Quantitative Analysis of Services.  |
Results of the SENSORIA Project  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Paola Quaglia (eds.) |
Proceedings Third Workshop From Biology To Concurrency and back |
FBTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia (eds.) |
Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings |
CMSB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paola Quaglia, Stefano Schivo |
Approximate Model Checking of Stochastic COWS. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Cappello, Paola Quaglia |
A Tool for Checking Probabilistic Properties of COWS Services. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Cappello, Paola Quaglia |
A Translation of Beta-binders in a Prioritized Pi-calculus. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia, Alessandro Romanel |
BlenX Static and Dynamic Semantics. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paolo Ballarini, Paola Quaglia |
BlenX4Bio - BlenX for Biologists. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Communicating by compatibility. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
An Automatic Translation of SBML into Beta-Binders. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML) |
| 1 | Davide Prandi, Paola Quaglia, Nicola Zannone |
Formal Analysis of BPMN Via a Translation into COWS. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia |
On Beta-Binders Communications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Prandi, Paola Quaglia |
Stochastic COWS. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia |
Beta-binders for Biological Quantitative Experiments. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher |
Developing An Hierarchical Simulator for Beta-binders. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
Types and full abstraction for polyadic pi-calculus. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Process Calculi in a Biological Context. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Operational Patterns in Beta-Binders. |
T. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
Modeling Kohn Interaction Maps with Beta-Binders: An Example. |
T. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia (eds.) |
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers |
Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin |
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. |
Simulation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Modelling the dynamics of biosystems. |
Briefings in Bioinformatics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia |
Performance Analysis of a UML Micro-business Case Study. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin |
Model Checking Biological Systems Described Using Ambient Calculus. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Beta Binders for Biological Interactions. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia |
Explicit substitutions for pi-congruences. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
On Synchronous and Asynchronous Mobile Processes. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia |
The Pi-Calculus: Notes on Labelled Semantic. |
Bulletin of the EATCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paola Quaglia |
Pi-Congruences as CCS Equivalences. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia, David Walker |
On Encoding p-pi in m-pi. |
FSTTCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia |
A Pi-Calculus with Explicit Substitutions. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia |
The Weak Late pi-Calculus Semantics as Observation Equivalence. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia |
A Pi-Calculus with Explicit Substitutions: the Late Semantics. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Latella, Paola Quaglia |
A Fully Parallel Calculus of Synchronizing Processes. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")