Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Guillermo Puebla"
download as .bib file
@article{DBLP:journals/corr/abs-2402-12675,
author = {Guillermo Puebla and
Jeffrey S. Bowers},
title = {Visual Reasoning in Object-Centric Deep Neural Networks: {A} Comparative
Cognition Approach},
journal = {CoRR},
volume = {abs/2402.12675},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12675},
doi = {10.48550/ARXIV.2402.12675},
eprinttype = {arXiv},
eprint = {2402.12675},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-05290,
author = {Valerio Biscione and
Dong Yin and
Gaurav Malhotra and
Marin Dujmovic and
Milton Llera Montero and
Guillermo Puebla and
Federico Adolfi and
Rachel F. Heaton and
John E. Hummel and
Benjamin D. Evans and
Karim Habashy and
Jeffrey S. Bowers},
title = {MindSet: Vision. {A} toolbox for testing DNNs on key psychological
experiments},
journal = {CoRR},
volume = {abs/2404.05290},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.05290},
doi = {10.48550/ARXIV.2404.05290},
eprinttype = {arXiv},
eprint = {2404.05290},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/BowersMADMBPHH23,
author = {Jeffrey S. Bowers and
Gaurav Malhotra and
Federico Adolfi and
Marin Dujmovic and
Milton Llera Montero and
Valerio Biscione and
Guillermo Puebla and
John E. Hummel and
Rachel F. Heaton},
title = {On the importance of severely testing deep learning models of cognition},
journal = {Cogn. Syst. Res.},
volume = {82},
pages = {101158},
year = {2023},
url = {https://doi.org/10.1016/j.cogsys.2023.101158},
doi = {10.1016/J.COGSYS.2023.101158},
timestamp = {Tue, 14 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsr/BowersMADMBPHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-07091,
author = {Guillermo Puebla and
Jeffrey S. Bowers},
title = {The role of object-centric representations, guided attention, and
external memory on generalizing visual relations},
journal = {CoRR},
volume = {abs/2304.07091},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.07091},
doi = {10.48550/ARXIV.2304.07091},
eprinttype = {arXiv},
eprint = {2304.07091},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-07091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13599,
author = {Guillermo Puebla and
Leonidas A. A. Doumas},
title = {Learning Relational Rules from Rewards},
journal = {CoRR},
volume = {abs/2203.13599},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13599},
doi = {10.48550/ARXIV.2203.13599},
eprinttype = {arXiv},
eprint = {2203.13599},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/PueblaB21,
author = {Guillermo Puebla and
Jeffrey S. Bowers},
editor = {W. Tecumseh Fitch and
Claus Lamm and
Helmut Leder and
Kristin Te{\ss}mar{-}Raible},
title = {Can Deep Convolutional Neural Networks Learn Same-Different Relations?},
booktitle = {Proceedings of the 43rd Annual Meeting of the Cognitive Science Society,
CogSci 2021, virtual, July 26-29, 2021},
publisher = {cognitivesciencesociety.org},
year = {2021},
url = {https://escholarship.org/uc/item/4d13996b},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/PueblaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/DoumasPMH20,
author = {Leonidas A. A. Doumas and
Guillermo Puebla and
Andrea E. Martin and
John E. Hummel},
editor = {Stephanie Denison and
Michael L. Mack and
Yang Xu and
Blair C. Armstrong},
title = {Relation learning in a neurocomputational architecture supports cross-domain
transfer},
booktitle = {Proceedings of the 42th Annual Meeting of the Cognitive Science Society
- Developing a Mind: Learning in Humans, Animals, and Machines, CogSci
2020, virtual, July 29 - August 1, 2020},
publisher = {cognitivesciencesociety.org},
year = {2020},
url = {https://cogsci.mindmodeling.org/2020/papers/0165/index.html},
timestamp = {Thu, 25 Apr 2024 16:58:16 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/DoumasPMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/PueblaC19,
author = {Guillermo Puebla and
Sergio E. Chaigneau},
editor = {Ashok K. Goel and
Colleen M. Seifert and
Christian Freksa},
title = {A Piecemeal Processing Strategy Model for Causal-Based Categorization},
booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
July 24-27, 2019},
pages = {2613--2619},
publisher = {cognitivesciencesociety.org},
year = {2019},
url = {https://mindmodeling.org/cogsci2019/papers/0448/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:09 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/PueblaC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05708,
author = {Guillermo Puebla and
Andrea E. Martin and
Leonidas A. A. Doumas},
title = {The relational processing limits of classic and contemporary neural
network models of language processing},
journal = {CoRR},
volume = {abs/1905.05708},
year = {2019},
url = {http://arxiv.org/abs/1905.05708},
eprinttype = {arXiv},
eprint = {1905.05708},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-05065,
author = {Leonidas A. A. Doumas and
Guillermo Puebla and
Andrea E. Martin and
John E. Hummel},
title = {Relation learning in a neurocomputational architecture supports cross-domain
transfer},
journal = {CoRR},
volume = {abs/1910.05065},
year = {2019},
url = {http://arxiv.org/abs/1910.05065},
eprinttype = {arXiv},
eprint = {1910.05065},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-05065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-01709,
author = {Leonidas A. A. Doumas and
Guillermo Puebla and
Andrea E. Martin},
title = {Human-like generalization in a machine through predicate learning},
journal = {CoRR},
volume = {abs/1806.01709},
year = {2018},
url = {http://arxiv.org/abs/1806.01709},
eprinttype = {arXiv},
eprint = {1806.01709},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-01709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/DoumasHPM17,
author = {Alex Doumas and
Aaron Hamer and
Guillermo Puebla{-}Ram{\'{\i}}rez and
Andrea E. Martin},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
title = {A theory of the detection and learning of structured representations
of similarity and relative magnitude},
booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
CogSci 2017, London, UK, 16-29 July 2017},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0375/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/DoumasHPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AlbertBGHPR16,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {A formal verification framework for static analysis - As well as its
instantiation to the resource analyzer {COSTA} and formal verification
tool KeY},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {987--1012},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0476-y},
doi = {10.1007/S10270-015-0476-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/AlbertBGHPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AlbertFPR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Quantified abstract configurations of distributed systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {665--699},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0321-z},
doi = {10.1007/S00165-014-0321-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlbertFPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlbertAFGGPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Object-sensitive cost analysis for concurrent objects},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {218--271},
year = {2015},
url = {https://doi.org/10.1002/stvr.1569},
doi = {10.1002/STVR.1569},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AlbertAFGGPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlbertFPR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {A multi-domain incremental analysis engine and its application to
incremental resource analysis},
journal = {Theor. Comput. Sci.},
volume = {585},
pages = {91--114},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.002},
doi = {10.1016/J.TCS.2015.03.002},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlbertFPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertACGGMPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Resource Analysis: From Sequential to Concurrent and Distributed Programs},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_1},
doi = {10.1007/978-3-319-19249-9\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertACGGMPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertAGPR14,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Conditional termination of loops over heap-allocated data},
journal = {Sci. Comput. Program.},
volume = {92},
pages = {2--24},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.04.006},
doi = {10.1016/J.SCICO.2013.04.006},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertAGPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertAFGGMPR14,
author = {Elvira Albert and
Puri Arenas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
German Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {{SACO:} Static Analyzer for Concurrent Objects},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {562--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_46},
doi = {10.1007/978-3-642-54862-8\_46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AlbertAFGGMPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AlbertCPR13,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Quantified Abstractions of Distributed Systems},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {285--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_20},
doi = {10.1007/978-3-642-38613-8\_20},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AlbertCPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAACFGGMPRRZ12,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Jes{\'{u}}s Correas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Abu Naser Masud and
German Puebla and
Jos{\'{e}} Miguel Rojas and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automatic Inference of Bounds on Resource Consumption},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {119--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_4},
doi = {10.1007/978-3-642-40615-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertCPR12,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Incremental resource usage analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {25--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103754},
doi = {10.1145/2103746.2103754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertCPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/Puebla-RamirezC11,
author = {Guillermo Puebla{-}Ram{\'{\i}}rez and
Sergio E. Chaigneau},
editor = {Laura A. Carlson and
Christoph H{\"{o}}lscher and
Thomas F. Shipley},
title = {Is the Centrality of Design History Function an Effect of Causal Knowledge?},
booktitle = {Proceedings of the 33th Annual Meeting of the Cognitive Science Society,
CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011},
publisher = {cognitivesciencesociety.org},
year = {2011},
url = {https://mindmodeling.org/cogsci2011/papers/0348/index.html},
timestamp = {Wed, 17 Apr 2024 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/Puebla-RamirezC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertBGHPR11,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Verified resource guarantees using {COSTA} and KeY},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {73--76},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929513},
doi = {10.1145/1929501.1929513},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertBGHPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGGPRRZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Termination and Cost Analysis with {COSTA} and its User Interfaces},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {109--121},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.008},
doi = {10.1016/J.ENTCS.2009.12.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGGPRRZ09.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.
retrieved on 2024-07-29 05:30 CEST from data curated 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:
