|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Thom W. Frühwirth |
Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.10959, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
40 | Monika Heiner, Annegret Katrin Wagler (eds.) |
Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Diana-Elena Gratie, Ion Petre |
Full structural model refinement as type refinement of colored Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 70-84, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Mary Ann Blätke, Christian Rohr |
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 37-54, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno |
Dependent shrink for Petri net models of signaling pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 85-99, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Qi-Wei Ge, Ren Wu, Mitsuru Nakata |
On Modeling internal organs and meridian system based on traditional Chinese medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 55-69, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Luis Miguel Torres, Annegret Katrin Wagler |
The dynamics of deterministic systems - A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 1-20, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni |
Petri nets for modelling and analysing trophic networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015., pp. 21-36, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
40 | Monika Heiner (eds.) |
Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Jure Bordon, Miha Moskon, Miha Mraz |
Overcoming unknown kinetic data for quantitative modelling of biological systems using fuzzy logic and Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 3-14, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace |
Systemic approach for toxicity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 30-44, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek |
A multi-scale extensive Petri net model of the bacterial-macrophage interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 15-29, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Mostafa Herajy, Fei Liu 0006, Christian Rohr |
Coloured hybrid Petri nets for systems biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 60-76, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Marco Beccuti |
Mathematical models on cancer progression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 1-2, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
40 | Marie C. F. Favre, Wolfgang Marwan, Annegret Wagler |
Integrating a priori knowledge in automatic network reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioPPN@Petri Nets ![In: Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014., pp. 45-59, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
36 | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 181-192, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurreny, isolation, memory protection |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|