|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi |
The Relevance of Topology in Parallel Simulation of Biological Networks.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Mazza, Davide Prandi |
Stability analysis of biological network topologies during stochastic simulation. |
SimuTools |
2011 |
DBLP BibTeX RDF |
|
| 1 | Milan Petkovic, Davide Prandi, Nicola Zannone |
Purpose Control: Did You Process the Data for the Intended Purpose? |
Secure Data Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Davide Prandi |
GPU computing for systems biology. |
Briefings in Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel |
Exploiting non-Markovian Bio-Processes. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi |
Efficient Parallel Statistical Model Checking of Biochemical Networks |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi |
Taming the complexity of biological pathways through parallel computing. |
Briefings in Bioinformatics |
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 | Davide Prandi, Paola Quaglia, Nicola Zannone |
Formal Analysis of BPMN Via a Translation into COWS. |
COORDINATION |
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 | Davide Prandi |
A Formal Approach to Molecular Docking. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
Formal Methods, Systems Biology, Process Calculi, Molecular Docking, Drug Discovery |
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Process Calculi in a Biological Context. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michele Curti, Davide Prandi, Linda Brodo |
Formal Executable Descriptions of Biological Systems. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")