Search dblp for Publications

export results for "toc:db/conf/fbtc/fbtc2007.bht:"

 download as .bib file

@proceedings{DBLP:conf/fbtc/2007,
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/194/issue/3},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbtc/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AmanC08,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Describing the Immune System Using Enhanced Mobile Membranes},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {5--18},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.003},
  doi          = {10.1016/J.ENTCS.2007.12.003},
  timestamp    = {Thu, 09 Feb 2023 10:12:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AmanC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarbutiCMM08,
  author       = {Roberto Barbuti and
                  Giulio Caravagna and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {An Intermediate Language for the Simulation of Biological Systems},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.004},
  doi          = {10.1016/J.ENTCS.2007.12.004},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarbutiCMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarnatBCDS08,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Sven Drazan and
                  David Safr{\'{a}}nek},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Parallel Model Checking Large-Scale Genetic Regulatory Networks with
                  DiVinE},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.001},
  doi          = {10.1016/J.ENTCS.2007.12.001},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarnatBCDS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BartocciCBEGS08,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Maria Rita Di Berardini and
                  Emilia Entcheva and
                  Radu Grosu and
                  Scott A. Smolka},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Spatial Networks of Hybrid {I/O} Automata for Modeling Excitable Tissue},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {51--67},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.005},
  doi          = {10.1016/J.ENTCS.2007.12.005},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartocciCBEGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bodei08,
  author       = {Chiara Bodei},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {A Static Analysis for Beta-Binders},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {69--85},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.006},
  doi          = {10.1016/J.ENTCS.2007.12.006},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bodei08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CannataM08,
  author       = {Nicola Cannata and
                  Emanuela Merelli},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Preface},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.002},
  doi          = {10.1016/J.ENTCS.2007.12.002},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CannataM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CardelliGK08,
  author       = {Luca Cardelli and
                  Philippa Gardner and
                  Ozan Kahramanogullari},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {87--102},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.007},
  doi          = {10.1016/J.ENTCS.2007.12.007},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CardelliGK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CiocchettaH08,
  author       = {Federica Ciocchetta and
                  Jane Hillston},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Bio-PEPA: An Extension of the Process Algebra {PEPA} for Biochemical
                  Networks},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {103--117},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.008},
  doi          = {10.1016/J.ENTCS.2007.12.008},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiocchettaH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HarelSESC08,
  author       = {David Harel and
                  Yaki Setty and
                  Sol Efroni and
                  Naamah Swerdlin and
                  Irun R. Cohen},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Concurrency in Biological Modeling: Behavior, Execution and Visualization},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {119--131},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.009},
  doi          = {10.1016/J.ENTCS.2007.12.009},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HarelSESC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JohnEU08,
  author       = {Mathias John and
                  Roland Ewald and
                  Adelinde M. Uhrmacher},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {A Spatial Extension to the pi Calculus},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {133--148},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.010},
  doi          = {10.1016/J.ENTCS.2007.12.010},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnEU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TaubnerE08,
  author       = {Claudia T{\"{a}}ubner and
                  Silke Eckstein},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Signal Transduction Pathways as Concurrent Reactive Systems: {A} Modeling
                  and Simulation Approach Using LSCs and the Play-Engine},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {149--164},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.011},
  doi          = {10.1016/J.ENTCS.2007.12.011},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TaubnerE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VersariB08,
  author       = {Cristian Versari and
                  Nadia Busi},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Efficient Stochastic Simulation of Biological Systems with Multiple
                  Variable Volumes},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {165--180},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.012},
  doi          = {10.1016/J.ENTCS.2007.12.012},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VersariB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.