Search dblp for Publications

export results for "toc:db/conf/dcm/dcm2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/dcm/2005,
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/3},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcm/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BanatreFR06,
  author       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Pascal Fradet and
                  Yann Radenac},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {A Generalized Higher-Order Chemical Computation Model},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {3--13},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.016},
  doi          = {10.1016/J.ENTCS.2005.09.016},
  timestamp    = {Thu, 15 Dec 2022 14:14:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BanatreFR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BokerD06,
  author       = {Udi Boker and
                  Nachum Dershowitz},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Abstract Effective Models},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {15--23},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.017},
  doi          = {10.1016/J.ENTCS.2005.09.017},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BokerD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CosentinoPQ06,
  author       = {Antonio Cosentino and
                  Marco Pedicini and
                  Francesco Quaglia},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Supporting Function Calls within {PELCR}},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {107--117},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.025},
  doi          = {10.1016/J.ENTCS.2005.09.025},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CosentinoPQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DrossopoulouPBE06,
  author       = {Sophia Drossopoulou and
                  Alexis Petrounias and
                  Alex Buckley and
                  Susan Eisenbach},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {{SCHOOL:} a Small Chorded Object-Oriented Language},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {37--47},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.019},
  doi          = {10.1016/J.ENTCS.2005.09.019},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DrossopoulouPBE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FagorziZ06,
  author       = {Sonia Fagorzi and
                  Elena Zucca},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {A Calculus for Reconfiguration: (Extended abstract)},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {49--59},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.020},
  doi          = {10.1016/J.ENTCS.2005.09.020},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FagorziZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FernandezM06,
  author       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Preface},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.015},
  doi          = {10.1016/J.ENTCS.2005.09.015},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FernandezM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GarraldaC06,
  author       = {Pablo Garralda and
                  Adriana B. Compagnoni},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Splitting Mobility and Communication in Boxed Ambients},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {61--71},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.021},
  doi          = {10.1016/J.ENTCS.2005.09.021},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GarraldaC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HonsellLR06,
  author       = {Furio Honsell and
                  Marina Lenisa and
                  Rekha Redamalla},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Coalgebraic Description of Generalized Binary Methods},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {73--84},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.022},
  doi          = {10.1016/J.ENTCS.2005.09.022},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HonsellLR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Liquori06,
  author       = {Luigi Liquori},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {iRho: the Software: [System Description]},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {85--94},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.023},
  doi          = {10.1016/J.ENTCS.2005.09.023},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Liquori06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ManeaMM06,
  author       = {Florin Manea and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Victor Mitrana},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {A Universal Accepting Hybrid Network of Evolutionary Processors},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {95--105},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.024},
  doi          = {10.1016/J.ENTCS.2005.09.024},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ManeaMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PerdrixJ06,
  author       = {Simon Perdrix and
                  Philippe Jorrand},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Classically-controlled Quantum Computation},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {119--128},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.026},
  doi          = {10.1016/J.ENTCS.2005.09.026},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PerdrixJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PierroHW06,
  author       = {Alessandra Di Pierro and
                  Chris Hankin and
                  Herbert Wiklicky},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {On Reversible Combinatory Logic},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {25--35},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.018},
  doi          = {10.1016/J.ENTCS.2005.09.018},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PierroHW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sinot06,
  author       = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Token-Passing Nets: Call-by-Need for Free},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {129--139},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.027},
  doi          = {10.1016/J.ENTCS.2005.09.027},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sinot06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/XuY06,
  author       = {Haitong Xu and
                  Sheng Yu},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Type Theory and Language Constructs for Objects with States},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {141--151},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.028},
  doi          = {10.1016/J.ENTCS.2005.09.028},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/XuY06.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.