Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs144.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/Ayala-RinconBM14,
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.144},
  doi          = {10.4204/EPTCS.144},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Ayala-RinconBM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ArrighiMW14,
  author       = {Pablo Arrighi and
                  Simon Martiel and
                  Zizhu Wang},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {Causal Dynamics of Discrete Surfaces},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {30--40},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.3},
  doi          = {10.4204/EPTCS.144.3},
  timestamp    = {Wed, 25 Sep 2019 17:52:31 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArrighiMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BenevidesLNR14,
  author       = {Mario R. F. Benevides and
                  Isaque Lima and
                  Rafael Nader and
                  Pedro Rougemont},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {Using {HMM} in Strategic Games},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {73--84},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.6},
  doi          = {10.4204/EPTCS.144.6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BenevidesLNR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CompagnoniGKMS14,
  author       = {Adriana B. Compagnoni and
                  Paola Giannini and
                  Catherine Kim and
                  Matthew Milideo and
                  Vishakha Sharma},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {A Calculus of Located Entities},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {41--56},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.4},
  doi          = {10.4204/EPTCS.144.4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CompagnoniGKMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Diaz-CaroD14,
  author       = {Alejandro D{\'{\i}}az{-}Caro and
                  Gilles Dowek},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {The probability of non-confluent systems},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {1--15},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.1},
  doi          = {10.4204/EPTCS.144.1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Diaz-CaroD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Quispe-CruzHG14,
  author       = {Marcela Quispe{-}Cruz and
                  Edward Hermann Haeusler and
                  Lew Gordeev},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {Proof-graphs for Minimal Implicational Logic},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {16--29},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.2},
  doi          = {10.4204/EPTCS.144.2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Quispe-CruzHG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/RestrepoPAD14,
  author       = {Carlos Alberto Ram{\'{\i}}rez Restrepo and
                  Jorge A. P{\'{e}}rez and
                  Jes{\'{u}}s Aranda and
                  Juan Francisco D{\'{\i}}az},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Ian Mackie},
  title        = {Towards Formal Interaction-Based Models of Grid Computing Infrastructures},
  booktitle    = {Proceedings 9th International Workshop on Developments in Computational
                  Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
  series       = {{EPTCS}},
  volume       = {144},
  pages        = {57--72},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.144.5},
  doi          = {10.4204/EPTCS.144.5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RestrepoPAD14.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.