Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David A. Rosenblueth
@article{DBLP:journals/jphil/CastanedaDRV23,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
title = {Communication Pattern Logic: Epistemic and Topological Views},
journal = {J. Philos. Log.},
volume = {52},
number = {5},
pages = {1445--1473},
year = {2023},
url = {https://doi.org/10.1007/s10992-023-09713-8},
doi = {10.1007/S10992-023-09713-8},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/CastanedaDRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-05057,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
editor = {Rineke Verbrugge},
title = {Comparing the Update Expressivity of Communication Patterns and Action
Models},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {157--172},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.14},
doi = {10.4204/EPTCS.379.14},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BonakdarpourFRR22,
author = {Borzoo Bonakdarpour and
Pierre Fraigniaud and
Sergio Rajsbaum and
David A. Rosenblueth and
Corentin Travers},
title = {Decentralized Asynchronous Crash-resilient Runtime Verification},
journal = {J. {ACM}},
volume = {69},
number = {5},
pages = {34:1--34:31},
year = {2022},
url = {https://doi.org/10.1145/3550483},
doi = {10.1145/3550483},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BonakdarpourFRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00823,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
title = {Communication Pattern Logic: Epistemic and Topological Views},
journal = {CoRR},
volume = {abs/2207.00823},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00823},
doi = {10.48550/ARXIV.2207.00823},
eprinttype = {arXiv},
eprint = {2207.00823},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isalalife/FrancoZRG21,
author = {M{\'{a}}rio Franco and
Octavio Zapata and
David A. Rosenblueth and
Carlos Gershenson},
editor = {Jitka Cejkov{\'{a}} and
Silvia Holler and
Lisa B. Soros and
Olaf Witkowski},
title = {Random Networks with Quantum Boolean Functions},
booktitle = {2021 Conference on Artificial Life, {ALIFE} 2021, online, July 19-23,
2021},
pages = {94},
publisher = {{MIT} Press},
year = {2021},
url = {https://doi.org/10.1162/isal\_a\_00428},
doi = {10.1162/ISAL\_A\_00428},
timestamp = {Sun, 02 Oct 2022 16:09:08 +0200},
biburl = {https://dblp.org/rec/conf/isalalife/FrancoZRG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11508,
author = {Diego A. Vel{\'{a}}zquez and
Armando Casta{\~{n}}eda and
David A. Rosenblueth},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {Communication Pattern Models: An Extension of Action Models for Dynamic-Network
Distributed Systems},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {307--321},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.29},
doi = {10.4204/EPTCS.335.29},
timestamp = {Mon, 05 Jul 2021 13:50:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/CarrilloER20a,
author = {Miguel Carrillo and
Vladimir Estivill{-}Castro and
David A. Rosenblueth},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Verification and Simulation of Time-Domain Properties for Models of
Behaviour},
booktitle = {Model-Driven Engineering and Software Development - 8th International
Conference, {MODELSWARD} 2020, Valletta, Malta, February 25-27, 2020,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1361},
pages = {225--249},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67445-8\_10},
doi = {10.1007/978-3-030-67445-8\_10},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/CarrilloER20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/CarrilloER20,
author = {Miguel Carrillo and
Vladimir Estivill{-}Castro and
David A. Rosenblueth},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Model-to-Model Transformations for Efficient Time-domain Verification
of Concurrent Models by NuSMV Modules},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {287--298},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008910202870298},
doi = {10.5220/0008910202870298},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/CarrilloER20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/SavageRMNCCMEO19,
author = {Jesus Savage and
David A. Rosenblueth and
Mauricio Matamoros and
Marco Negrete and
Luis Contreras and
Julio Cruz and
Reynaldo Martell and
Hugo Estrada and
Hiroyuki Okada},
title = {Semantic reasoning in service robots using expert systems},
journal = {Robotics Auton. Syst.},
volume = {114},
pages = {77--92},
year = {2019},
url = {https://doi.org/10.1016/j.robot.2019.01.007},
doi = {10.1016/J.ROBOT.2019.01.007},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/SavageRMNCCMEO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesMRS18,
author = {Fran{\c{c}}ois Fages and
Thierry Martinez and
David A. Rosenblueth and
Sylvain Soliman},
title = {Influence Networks Compared with Reaction Networks: Semantics, Expressivity
and Attractors},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {15},
number = {4},
pages = {1138--1151},
year = {2018},
url = {https://doi.org/10.1109/TCBB.2018.2805686},
doi = {10.1109/TCBB.2018.2805686},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/FagesMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/ZapotecatlRG17,
author = {Jorge Zapotecatl and
David A. Rosenblueth and
Carlos Gershenson},
title = {Deliberative Self-Organizing Traffic Lights with Elementary Cellular
Automata},
journal = {Complex.},
volume = {2017},
pages = {7691370:1--7691370:15},
year = {2017},
url = {https://doi.org/10.1155/2017/7691370},
doi = {10.1155/2017/7691370},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/ZapotecatlRG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesMRS16,
author = {Fran{\c{c}}ois Fages and
Thierry Martinez and
David A. Rosenblueth and
Sylvain Soliman},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Influence Systems vs Reaction Systems},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {98--115},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_7},
doi = {10.1007/978-3-319-45177-0\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/FagesMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonakdarpourFRR16,
author = {Borzoo Bonakdarpour and
Pierre Fraigniaud and
Sergio Rajsbaum and
David A. Rosenblueth and
Corentin Travers},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Decentralized Asynchronous Crash-Resilient Runtime Verification},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.16},
doi = {10.4230/LIPICS.CONCUR.2016.16},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BonakdarpourFRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarsc/SavageCMRMN16,
author = {Jesus Savage and
Jesus Cruz and
Mauricio Matamoros and
David A. Rosenblueth and
Stalin Mu{\~{n}}oz and
Marco Negrete},
editor = {Bernardo Cunha and
Jos{\'{e}} Lima and
Manuel F. Silva and
Paulo Leit{\~{a}}o},
title = {Configurable Mobile Robot Behaviors Implemented on {FPGA} Based Architectures},
booktitle = {2016 International Conference on Autonomous Robot Systems and Competitions,
{ICARSC} 2016, Bragan{\c{c}}a, Portugal, May 4-6, 2016},
pages = {317--322},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICARSC.2016.29},
doi = {10.1109/ICARSC.2016.29},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icarsc/SavageCMRMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advcs/RioSR15,
author = {Manuel Beltr{\'{a}}n del R{\'{\i}}o and
Christopher R. Stephens and
David A. Rosenblueth},
title = {Fitness Landscape epistasis and Recombination},
journal = {Adv. Complex Syst.},
volume = {18},
number = {7-8},
pages = {1550026:1--1550026:3},
year = {2015},
url = {https://doi.org/10.1142/S0219525915500265},
doi = {10.1142/S0219525915500265},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/advcs/RioSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amcs/GongoraR15,
author = {Pedro Arturo G{\'{o}}ngora and
David A. Rosenblueth},
title = {A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash
Equilibria},
journal = {Int. J. Appl. Math. Comput. Sci.},
volume = {25},
number = {3},
pages = {577--596},
year = {2015},
url = {https://doi.org/10.1515/amcs-2015-0043},
doi = {10.1515/AMCS-2015-0043},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amcs/GongoraR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/WeinsteinOMRAM15,
author = {Nathan Weinstein and
Elizabeth Ortiz{-}Guti{\'{e}}rrez and
Stalin Mu{\~{n}}oz and
David A. Rosenblueth and
Elena R. {\'{A}}lvarez{-}Buylla and
Luis Mendoza},
title = {A model of the regulatory network involved in the control of the cell
cycle and cell differentiation in the Caenorhabditis elegans vulva},
journal = {{BMC} Bioinform.},
volume = {16},
pages = {81:1--81:21},
year = {2015},
url = {https://doi.org/10.1186/s12859-015-0498-z},
doi = {10.1186/S12859-015-0498-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/WeinsteinOMRAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HernandezEMSR15,
author = {No{\'{e}} Hern{\'{a}}ndez and
Kerstin Eder and
Evgeni Magid and
Jes{\'{u}}s Savage and
David A. Rosenblueth},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {201--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_14},
doi = {10.1007/978-3-319-24953-7\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HernandezEMSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alcob/2015,
editor = {Adrian{-}Horia Dediu and
Francisco Hern{\'{a}}ndez Quiroz and
Carlos Mart{\'{\i}}n{-}Vide and
David A. Rosenblueth},
title = {Algorithms for Computational Biology - Second International Conference,
AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21233-3},
doi = {10.1007/978-3-319-21233-3},
isbn = {978-3-319-21232-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alcob/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HernandezEMSR15,
author = {No{\'{e}} Hern{\'{a}}ndez and
Kerstin Eder and
Evgeni Magid and
Jesus Savage and
David A. Rosenblueth},
title = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models},
journal = {CoRR},
volume = {abs/1507.05597},
year = {2015},
url = {http://arxiv.org/abs/1507.05597},
eprinttype = {arXiv},
eprint = {1507.05597},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HernandezEMSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CarrilloR14,
author = {Miguel Carrillo and
David A. Rosenblueth},
title = {{CTL} update of Kripke models through protections},
journal = {Artif. Intell.},
volume = {211},
pages = {51--74},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.02.005},
doi = {10.1016/J.ARTINT.2014.02.005},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CarrilloR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ZubillagaCAZFARG14,
author = {Dario Zubillaga and
Geovany Cruz and
Luis Daniel Aguilar and
Jorge Zapotecatl and
Nelson Fern{\'{a}}ndez and
Jos{\'{e}} Aguilar and
David A. Rosenblueth and
Carlos Gershenson},
title = {Measuring the Complexity of Self-Organizing Traffic Lights},
journal = {Entropy},
volume = {16},
number = {5},
pages = {2384--2407},
year = {2014},
url = {https://doi.org/10.3390/e16052384},
doi = {10.3390/E16052384},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/ZubillagaCAZFARG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alcob/RosenbluethMCA14,
author = {David A. Rosenblueth and
Stalin Mu{\~{n}}oz and
Miguel Carrillo and
Eugenio Azpeitia},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Inference of Boolean Networks from Gene Interaction Graphs Using a
{SAT} Solver},
booktitle = {Algorithms for Computational Biology - First International Conference,
AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns},
series = {Lecture Notes in Computer Science},
volume = {8542},
pages = {235--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07953-0\_19},
doi = {10.1007/978-3-319-07953-0\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alcob/RosenbluethMCA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZubillagaCAZFARG14,
author = {Dario Zubillaga and
Geovany Cruz and
Luis Daniel Aguilar and
Jorge Zapotecatl and
Nelson Fern{\'{a}}ndez and
Jos{\'{e}} Aguilar and
David A. Rosenblueth and
Carlos Gershenson},
title = {Measuring the Complexity of Self-organizing Traffic Lights},
journal = {CoRR},
volume = {abs/1402.0197},
year = {2014},
url = {http://arxiv.org/abs/1402.0197},
eprinttype = {arXiv},
eprint = {1402.0197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZubillagaCAZFARG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/FroeseGR13,
author = {Tom Froese and
Carlos Gershenson and
David A. Rosenblueth},
title = {The dynamically extended mind},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2013, Cancun, Mexico, June 20-23, 2013},
pages = {1419--1426},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CEC.2013.6557730},
doi = {10.1109/CEC.2013.6557730},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/FroeseGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-1958,
author = {Tom Froese and
Carlos Gershenson and
David A. Rosenblueth},
title = {The Dynamically Extended Mind -- {A} Minimal Modeling Case Study},
journal = {CoRR},
volume = {abs/1305.1958},
year = {2013},
url = {http://arxiv.org/abs/1305.1958},
eprinttype = {arXiv},
eprint = {1305.1958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-1958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/GershensonR12,
author = {Carlos Gershenson and
David A. Rosenblueth},
title = {Self-organizing traffic lights at multiple-street intersections},
journal = {Complex.},
volume = {17},
number = {4},
pages = {23--39},
year = {2012},
url = {https://doi.org/10.1002/cplx.20392},
doi = {10.1002/CPLX.20392},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/GershensonR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ZenilGMR12,
author = {H{\'{e}}ctor Zenil and
Carlos Gershenson and
James A. R. Marshall and
David A. Rosenblueth},
title = {Life as Thermodynamic Evidence of Algorithmic Structure in Natural
Environments},
journal = {Entropy},
volume = {14},
number = {11},
pages = {2173--2191},
year = {2012},
url = {https://doi.org/10.3390/e14112173},
doi = {10.3390/E14112173},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/ZenilGMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetes/GershensonR12,
author = {Carlos Gershenson and
David A. Rosenblueth},
title = {Adaptive self-organization vs static optimization: {A} qualitative
comparison in traffic light coordination},
journal = {Kybernetes},
volume = {41},
number = {3},
pages = {386--403},
year = {2012},
url = {https://doi.org/10.1108/03684921211229479},
doi = {10.1108/03684921211229479},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kybernetes/GershensonR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Estivill-CastroHR12,
author = {Vladimir Estivill{-}Castro and
Ren{\'{e}} Hexel and
David A. Rosenblueth},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Efficient Modelling of Embedded Software Systems and their Formal
Verification},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {428--433},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.21},
doi = {10.1109/APSEC.2012.21},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/apsec/Estivill-CastroHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/LlarenaR12,
author = {Adalberto Llarena and
David A. Rosenblueth},
editor = {Guido Herrmann and
Matthew Studley and
Martin J. Pearson and
Andrew T. Conn and
Chris Melhuish and
Mark Witkowski and
Jong{-}Hwan Kim and
Prahlad Vadakkepat},
title = {Model Checking Applied to Humanoid Robotic Soccer},
booktitle = {Advances in Autonomous Robotics - Joint Proceedings of the 13th Annual
{TAROS} Conference and the 15th Annual {FIRA} RoboWorld Congress,
Bristol, UK, August 20-23, 2012},
series = {Lecture Notes in Computer Science},
volume = {7429},
pages = {256--269},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32527-4\_23},
doi = {10.1007/978-3-642-32527-4\_23},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/taros/LlarenaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArellanoAABCGRA11,
author = {Gustavo Arellano and
Juli{\'{a}}n Argil and
Eugenio Azpeitia and
Mariana Ben{\'{\i}}tez and
Miguel Carrillo and
Pedro Arturo G{\'{o}}ngora and
David A. Rosenblueth and
Elena R. {\'{A}}lvarez{-}Buylla},
title = {"Antelope": a hybrid-logic model checker for branching-time
Boolean {GRN} analysis},
journal = {{BMC} Bioinform.},
volume = {12},
pages = {490},
year = {2011},
url = {https://doi.org/10.1186/1471-2105-12-490},
doi = {10.1186/1471-2105-12-490},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/ArellanoAABCGRA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/RosenbluethG11,
author = {David A. Rosenblueth and
Carlos Gershenson},
title = {A Model of City Traffic Based on Elementary Cellular Automata},
journal = {Complex Syst.},
volume = {19},
number = {4},
year = {2011},
url = {https://doi.org/10.25088/complexsystems.19.4.305},
doi = {10.25088/COMPLEXSYSTEMS.19.4.305},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsys/RosenbluethG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CarrilloR11,
author = {Miguel Carrillo and
David A. Rosenblueth},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Nondeterministic Update of {CTL} Models by Preserving Satisfaction
through Protections},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {60--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_6},
doi = {10.1007/978-3-642-24372-1\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/CarrilloR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/Estivill-CastroR11,
author = {Vladimir Estivill{-}Castro and
David A. Rosenblueth},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Haeng{-}Kon Kim and
Heau{-}Jo Kang and
Kyung Jung Kim and
Kiumi Akingbehin and
Byeong Ho Kang},
title = {Model Checking of Transition-Labeled Finite-State Machines},
booktitle = {Software Engineering, Business Continuity, and Education - International
Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
Generation Information Technology Conference, {FGIT} 2011, in Conjunction
with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
series = {Communications in Computer and Information Science},
volume = {257},
pages = {61--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27207-3\_8},
doi = {10.1007/978-3-642-27207-3\_8},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/fgit/Estivill-CastroR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2829,
author = {Carlos Gershenson and
David A. Rosenblueth},
title = {Self-organizing traffic lights at multiple-street intersections},
journal = {CoRR},
volume = {abs/1104.2829},
year = {2011},
url = {http://arxiv.org/abs/1104.2829},
eprinttype = {arXiv},
eprint = {1104.2829},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GongoraR09,
author = {Pedro Arturo G{\'{o}}ngora and
David A. Rosenblueth},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {A Characterization of Mixed-Strategy Nash Equilibria in {PCTL} Augmented
with a Cost Quantifier},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {158--177},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_9},
doi = {10.1007/978-3-642-16867-3\_9},
timestamp = {Fri, 25 Dec 2020 01:14:19 +0100},
biburl = {https://dblp.org/rec/conf/clima/GongoraR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/RosenbluethS09,
author = {David A. Rosenblueth and
Christopher R. Stephens},
editor = {Arturo Hern{\'{a}}ndez Aguirre and
Ra{\'{u}}l Monroy Borja and
Carlos A. Reyes Garc{\'{\i}}a},
title = {An Analysis of Recombination in Some Simple Landscapes},
booktitle = {{MICAI} 2009: Advances in Artificial Intelligence, 8th Mexican International
Conference on Artificial Intelligence, Guanajuato, Mexico, November
9-13, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5845},
pages = {716--727},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05258-3\_63},
doi = {10.1007/978-3-642-05258-3\_63},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/RosenbluethS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-1925,
author = {Carlos Gershenson and
David A. Rosenblueth},
title = {Modeling self-organizing traffic lights with elementary cellular automata},
journal = {CoRR},
volume = {abs/0907.1925},
year = {2009},
url = {http://arxiv.org/abs/0907.1925},
eprinttype = {arXiv},
eprint = {0907.1925},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-1925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/exact/CarrilloR07,
author = {Miguel Carrillo and
David A. Rosenblueth},
editor = {Thomas Roth{-}Berghofer and
Stefan Schulz and
Daniel Bahls and
David B. Leake},
title = {Learning Models from Temporal-Logic Properties via Explanations},
booktitle = {Explanation-Aware Computing, Papers from the 2007 {AAAI} Workshop,
Vancouver, British Columbia, Canada, July 22-23, 2007},
series = {{AAAI} Technical Report},
volume = {{WS-07-06}},
pages = {10--13},
publisher = {{AAAI} Press},
year = {2007},
timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
biburl = {https://dblp.org/rec/conf/exact/CarrilloR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rosenblueth06,
author = {David A. Rosenblueth},
title = {A Multiple-Clause Folding Rule Using Instantiation and Generalization},
journal = {Fundam. Informaticae},
volume = {69},
number = {1-2},
pages = {219--249},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Rosenblueth06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rosenblueth05,
author = {David A. Rosenblueth},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Incorporating a folding rule into inductive logic programming},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1630--1631},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0226.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Rosenblueth05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HernandezR03,
author = {Manuel Hern{\'{a}}ndez and
David A. Rosenblueth},
title = {Disjunctive partial deduction of a right-to-left string-matching algorithm},
journal = {Inf. Process. Lett.},
volume = {87},
number = {5},
pages = {235--241},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(03)00309-0},
doi = {10.1016/S0020-0190(03)00309-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HernandezR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Rosenblueth03,
author = {David A. Rosenblueth},
editor = {Catuscia Palamidessi},
title = {A Distinct-Head Folding Rule},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {505--506},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_44},
doi = {10.1007/978-3-540-24599-5\_44},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Rosenblueth03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Rosenblueth02,
author = {David A. Rosenblueth},
title = {Chain Programs for Writing Deterministic Metainterpreters},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {2},
pages = {203--232},
year = {2002},
url = {https://doi.org/10.1017/S147106840100134X},
doi = {10.1017/S147106840100134X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Rosenblueth02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Collado-VidesMPSHGRCBMGSBDSM02,
author = {Julio Collado{-}Vides and
Gabriel Moreno{-}Hagelsieb and
Ernesto P{\'{e}}rez{-}Rueda and
Heladia Salgado and
Araceli M. Huerta and
Rosa Mar{\'{\i}}a Guti{\'{e}}rrez and
David A. Rosenblueth and
Andr{\'{e}}s Christen and
Esperanza Ben{\'{\i}}tez{-}Bell{\'{o}}n and
Arturo Medrano{-}Soto and
Socorro Gama{-}Castro and
Alberto Santos{-}Zavaleta and
C{\'{e}}sar Bonavides{-}Mart{\'{\i}}nez and
Edgar D{\'{\i}}az{-}Peredo and
Fabiola S{\'{a}}nchez{-}Solano and
Dulce Mar{\'{\i}}a Mill{\'{a}}},
editor = {Julio Collado{-}Vides and
Ralf Hofest{\"{a}}dt},
title = {Genomics of Gene Regulation: The View from Escherichia coli},
booktitle = {Gene Regulations and Metabolism - Postgenomic Computational Approaches},
pages = {103--128},
publisher = {{MIT} Press},
year = {2002},
timestamp = {Tue, 28 Aug 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Collado-VidesMPSHGRCBMGSBDSM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HernandezR01,
author = {Manuel Hern{\'{a}}ndez and
David A. Rosenblueth},
title = {Development Reuse and the Logic Program Derivation of Two String-Matching
Algorithms},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {38--48},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773190},
doi = {10.1145/773184.773190},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/HernandezR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0104003,
author = {David A. Rosenblueth},
title = {Chain Programs for Writing Deterministic Metainterpreters},
journal = {CoRR},
volume = {cs.LO/0104003},
year = {2001},
url = {https://arxiv.org/abs/cs/0104003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0104003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RosenbluethP98,
author = {David A. Rosenblueth and
Julio C. Peralta},
title = {{SLR} Inference an Inference System for Fixed-Mode Logic Programs
Based on {SLR} Parsing},
journal = {J. Log. Program.},
volume = {34},
number = {3},
pages = {227--259},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(96)00076-3},
doi = {10.1016/S0743-1066(96)00076-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RosenbluethP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Rosenblueth98,
author = {David A. Rosenblueth},
editor = {Pierre Flener},
title = {An Exhaustive-Search Method Using Layered Streams Obtained Through
a Meta-Interpreter for Chain Programs},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {322--324},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_22},
doi = {10.1007/3-540-48958-4\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Rosenblueth98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RosenbluethTHSC96,
author = {David A. Rosenblueth and
Denis Thieffry and
Araceli M. Huerta and
Heladia Salgado and
Julio Collado{-}Vides},
title = {Syntactic recognition of regulatory regions in Escherichia coli},
journal = {Comput. Appl. Biosci.},
volume = {12},
number = {5},
pages = {415--422},
year = {1996},
url = {https://doi.org/10.1093/bioinformatics/12.5.415},
doi = {10.1093/BIOINFORMATICS/12.5.415},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/RosenbluethTHSC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Rosenblueth96,
author = {David A. Rosenblueth},
title = {Chart Parsers as Inference Systems for Fixed-Mode Logic Programs},
journal = {New Gener. Comput.},
volume = {14},
number = {4},
pages = {429--458},
year = {1996},
url = {https://doi.org/10.1007/BF03037212},
doi = {10.1007/BF03037212},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Rosenblueth96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/RosenbluethP94,
author = {David A. Rosenblueth and
Julio C. Peralta},
editor = {Maurice Bruynooghe},
title = {{LR} Inference: Inference Systems for Fixed-Mode Logic Programs, Based
on {LR} Parsing},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {439--453},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/RosenbluethP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Rosenblueth93,
author = {David A. Rosenblueth},
title = {An Execution Mechanism for Nondeterministic, State-Oriented Programs
Based on a Chart Parser},
journal = {Inf. Process. Lett.},
volume = {45},
number = {4},
pages = {211--217},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90121-O},
doi = {10.1016/0020-0190(93)90121-O},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Rosenblueth93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Rosenblueth92,
author = {David A. Rosenblueth},
title = {Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {1125--1132},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Rosenblueth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
