Search results for "Puebla"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	René Méndez Aceves, Cindy R. Pérez Díaz, Luis F. Luna-Reyes	Portales de gobierno estatal en México: el caso del portal del gobierno del Estado de Puebla.	DG.O	2010	DBLP BibTeX RDF	Joomla, Puebla, portal evolution and design, Java, open source, portals, digital government, Scrum, net
110	Cindy R. Pérez Díaz, René Méndez Aceves, Luis F. Luna-Reyes	Portales de gobierno estatal en México: el caso del portal del gobierno del estado de Puebla.	D.GO	2009	DBLP BibTeX RDF	Puebla, portal evolution and design, portals, digital government
52	Pilar Pozos Parra, José Raymundo Marcial-Romero (eds.)	Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019	LANMR (Selected Papers)	2020	DBLP BibTeX RDF
52	María Auxilio Medina Nieto, Delia Arrieta Díaz, Jorge de la Calleja Mora, Laura Zacatzontetl Hernández, Marilú Zacatelco Pérez	An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez 0001	Weighted Complete Graphs for Condensing Data.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Mauricio Osorio 0001, Claudia Zepeda	Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Mauricio Osorio 0001, José Luis Carballido Carranza	An Extension of the Stable Semantics via Lukasiewicz Logic.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio	Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca	Gradual Typing Using Union Typing With Records.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Flavio Everardo, Mauricio Osorio 0001	Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	José Martín Castro-Manzano	Murphree's Numerical Term Logic Tableaux.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Cristina López-Ramírez, Jorge Eduardo Gutiérrez-Gómez, Guillermo De Ita Luna	Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena	A Note on Constructive Interpolation for the Multi-Modal Logic Km.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Pilar Pozos Parra, José Raymundo Marcial-Romero	Preface.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Guillermo De Ita Luna, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge Eduardo Gutiérrez-Gómez	A Heuristic for the Coloring of Planar Graphs.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo	On Interactive Proof-Search for Constructive Modal Necessity.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
52	Mauricio Osorio 0001, Iván Olmos (eds.)	Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008	LA-NMR	2008	DBLP BibTeX RDF
52	Stefania Costantini, Andrea Formisano 0001	Conditional preferences in P-RASP.	LA-NMR	2008	DBLP BibTeX RDF
52	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	CTL AgentSpeak(L): a specification language for agent programs.	LA-NMR	2008	DBLP BibTeX RDF
52	Abraham Sánchez López, Alfredo Toriz P.	Coordinated multi-agent exploration.	LA-NMR	2008	DBLP BibTeX RDF
52	Magdalena Ortiz 0001	An Automata-based algorithm for description logics around SRIQ.	LA-NMR	2008	DBLP BibTeX RDF
52	Ruslán Ledesma	Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics.	LA-NMR	2008	DBLP BibTeX RDF
52	José Arrazola, Eduardo Ariza, Verónica Borja Macías	The Pac Logic in the properties of C(w) and C(min).	LA-NMR	2008	DBLP BibTeX RDF
52	José Luis Carballido, Claudia Zepeda	P-stable models of strong kernel programs.	LA-NMR	2008	DBLP BibTeX RDF
52	Iván Olmos, Jesus A. Gonzalez	Structural graph-based representations used for finding hidden patterns.	LA-NMR	2008	DBLP BibTeX RDF
52	David Pinto 0001, Jorge Civera, Alfons Juan, Paolo Rosso, Alberto Barrón-Cedeño	A statistical approach to crosslingual natural language tasks.	LA-NMR	2008	DBLP BibTeX RDF
52	Claudia Zepeda, José Luis Carballido	Semi-negative normal programs based on p-stable semantics.	LA-NMR	2008	DBLP BibTeX RDF
52	Guillermo De Ita Luna, Mireya Tovar, Meliza Contreras González	Agents's competition for selecting a representative.	LA-NMR	2008	DBLP BibTeX RDF
52	Ana B. Ríos-Alvarado, Ricardo Marcelín-Jiménez, R. Carolina Medina Ramírez	Semantic information storage and retrieval in a peer-to-peer corporate memory.	LA-NMR	2008	DBLP BibTeX RDF
52	Ma. de Guadalupe García-Hernández, José Ruiz-Pinales, Alberto Reyes-Ballesteros, Eva Onaindia, Juan Gabriel Aviña-Cervantes, Sergio Ledesma, Donato Hernández	Association rule-based Markov Decision Processes.	LA-NMR	2008	DBLP BibTeX RDF
52	Roxana Dánger, Rafael Berlanga Llavori	Generating complex ontology instances from documents.	LA-NMR	2008	DBLP BibTeX RDF
52	Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López	Efficient computation of the degree of belief in a propositional theory.	LA-NMR	2008	DBLP BibTeX RDF
52	Juan Carlos Acosta Guadarrama	AGM postulates in Answer Sets.	LA-NMR	2008	DBLP BibTeX RDF
52	José Arrazola, Pilar Pozos Parra, Mauricio Osorio 0001, Claudia Zepeda (eds.)	Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007	LA-NMR	2007	DBLP BibTeX RDF
52	Edgar S. García-Treviño, Vicente Alarcón Aquino, M. A. Herrera-Garcia	Wavelet-Networks for Prediction of Ozone Levels in Puebla City Mexico.	CONIELECOMP	2007	DBLP DOI BibTeX RDF
52	Juan Carlos Nieves, Mauricio Osorio 0001	Generating maximal models using the stable model semantics.	LA-NMR	2007	DBLP BibTeX RDF
52	Juan Carlos Nieves, Mauricio Osorio 0001	Inferring preferred extensions by Pstable semantics.	LA-NMR	2007	DBLP BibTeX RDF
52	Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González	Efficient counting of models for boolean formulas represented by embedded cycles.	LA-NMR	2007	DBLP BibTeX RDF
52	Federico Marulanda Rey	Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.	LA-NMR	2007	DBLP BibTeX RDF
52	Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez	Planning using situation calculus, prolog and a mobile robot.	LA-NMR	2007	DBLP BibTeX RDF
52	Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares	Handling Exceptions in nonmonotonic reasoning.	LA-NMR	2007	DBLP BibTeX RDF
52	Rogelio Dávila, Sara C. Hernández, Juan F. Corona	Teaching natural deduction to improve text argumentation analysis in engineering students.	LA-NMR	2007	DBLP BibTeX RDF
52	José Luis Carballido, José Arrazola, Mauricio Osorio 0001	Equivalence for the G3'-stable models semantics.	LA-NMR	2007	DBLP BibTeX RDF
52	Mauricio Osorio 0001	GLukG logic and its application for non-monotonic reasoning.	LA-NMR	2007	DBLP BibTeX RDF
52	Eduardo Ariza, José Arrazola	Analysis of the paraconsistency in some logics.	LA-NMR	2007	DBLP BibTeX RDF
51	Luis F. Luna-Reyes	Plenary keynote panel: digital government in Mexico.	DG.O	2010	DBLP BibTeX RDF	state and local, digital government, federal, Mexico
27	Ruben Aurelio Puebla-Gutierrez, Antonio Favela-Contreras, Alfonso Ávila 0001, Camilo Lozoya	Embedded Asynchronous MIMO Adaptive Predictive Control.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
27	Guillermo Puebla, Jeffrey S. Bowers	Visual Reasoning in Object-Centric Deep Neural Networks: A Comparative Cognition Approach.	CoRR	2024	DBLP DOI BibTeX RDF
27	Guillermo Puebla, Jeffrey S. Bowers	The role of object-centric representations, guided attention, and external memory on generalizing visual relations.	CoRR	2023	DBLP DOI BibTeX RDF
27	Jeffrey S. Bowers, Gaurav Malhotra, Federico Adolfi, Marin Dujmovic, Milton Llera Montero, Valerio Biscione, Guillermo Puebla, John E. Hummel, Rachel Heaton	On the importance of severely testing deep learning models of cognition.	Cogn. Syst. Res.	2023	DBLP DOI BibTeX RDF
27	Juan L. Puebla, Vladik Kreinovich	Spiral Arms Around a Star: Geometric Explanation.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
27	Boban Joksimoski, Eftim Zdravevski, Petre Lameski, Ivan Miguel Pires, Francisco José Melero, Tomás Puebla Martinez, Nuno M. Garcia, Martin Mihajlov, Ivan Chorbev, Vladimir Trajkovik	Technological Solutions for Sign Language Recognition: A Scoping Review of Research Trends, Challenges, and Opportunities.	IEEE Access	2022	DBLP DOI BibTeX RDF
27	Dasapta Erwin Irawan, Hilyatuz Zahroh, Iratxe Puebla	Preprints as a driver of open science: Opportunities for Southeast Asia.	Frontiers Res. Metrics Anal.	2022	DBLP DOI BibTeX RDF
27	Alejandro Monsiváis-Huertero, Daniel Enrique Constantino-Recillas, Juan Carlos Hernández-Sánchez, Héctor Ernesto Huerta-Batiz, Jasmeet Judge, Pedro Alejandro López-Estrada, José Carlos Jiménez-Escalona, Eduardo Arizmendi-Vasconcelos, Marco Antonio García-Bernal, Cira Francisca Zambrano-Gallardo, Alejandra Aurelia López-Caloca, Enrique Zempoaltécatl-Ramirez, Iván Edmundo De La Rosa-Montero, Roberto Ivan Villalobos-Martínez, Ramón Sidonio Aparicio-García, Carlos Rodolfo Sánchez-Villanueva, Leonardo Arizmendi-Vasconcelos, Roberto Cotero-Manzo, Jaime Hugo Puebla-Lomas, Víctor Manuel Saúce-Rangel	Assessment of NASA SMAP Soil Moisture Products for Agricultural Regions in Central Mexico: An Analysis Based on the THEXMEX Dataset.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
27	Guillermo Puebla, Leonidas A. A. Doumas	Learning Relational Rules from Rewards.	CoRR	2022	DBLP DOI BibTeX RDF
27	Mike Wu, Will McTighe, Kaili Wang, István András Seres, Nick Bax, Manuel Puebla, Mariano Mendez, Federico Carrone, Tomás De Mattey, Herman O. Demaestri, Mariano Nicolini, Pedro Fontana	Tutela: An Open-Source Tool for Assessing User-Privacy on Ethereum and Tornado Cash.	CoRR	2022	DBLP BibTeX RDF
27	Francisco José Melero-Muñoz, María Victoria Bueno Delgado, Ramón Martínez-Carreras, Rafael Maestre-Ferriz, Miguel Ángel Beteta-Medina, Tomás Puebla-Martínez, Andrés Lorenzo Bleda-Tomás, Gorka Sánchez-Nanclares, Ricardo Pérez-de-Zabala, Mónica Álvarez-Leon	Design and Development of a Heterogeneous Active Assisted Living Solution for Monitoring and Following Up with Chronic Heart Failure Patients in Spain.	Sensors	2022	DBLP DOI BibTeX RDF
27	Mariana Montiel, Octavio Alberto Agustín-Aquino, Francisco Gómez 0001, Jeremy Kastine, Emilio Lluis-Puebla, Brent Milam (eds.)	Mathematics and Computation in Music - 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022, Proceedings	MCM	2022	DBLP DOI BibTeX RDF
27	Belén Puebla-Martínez, Nuria Navarro-Sierra, Gema Alcolea-Díaz	Methodological Proposal for the Detection of the Composing Elements of Vulnerability Regarding Disinformation.	Publ.	2021	DBLP DOI BibTeX RDF
27	Esperanza Marcos, Roberto Hens Pato, Teresa Puebla, Juan Manuel Vara	Applying Emotional Team Coaching to Software Development.	IEEE Softw.	2021	DBLP DOI BibTeX RDF
27	Guillermo Puebla, Jeffrey S. Bowers	Can Deep Convolutional Neural Networks Learn Same-Different Relations?	CogSci	2021	DBLP BibTeX RDF
27	Misagh Ketabdari, Ignacio Puebla Millán, Maurizio Crispino, Emanuele Toraldo, Mariano Pernetti	Numerical Prediction Model of Runway-Taxiway Junctions for Optimizing the Runway Evacuation Time.	ICCSA (1)	2021	DBLP DOI BibTeX RDF
27	José María Álvarez Rodríguez, Roy Mendieta, Valentin Moreno 0001, Miguel Sánchez-Puebla, Juan Lloréns	Semantic Recovery of Traceability Links between System Artifacts.	Int. J. Softw. Eng. Knowl. Eng.	2020	DBLP DOI BibTeX RDF
27	Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin, John E. Hummel	Relation learning in a neurocomputational architecture supports cross-domain transfer.	CogSci	2020	DBLP BibTeX RDF
27	Ricardo Puebla, Giorgio Zicari, Iñigo Arrazola, Enrique Solano, Mauro Paternostro, Jorge Casanova	Spin-Boson Model as A Simulator of Non-Markovian Multiphoton Jaynes-Cummings Models.	Symmetry	2019	DBLP DOI BibTeX RDF
27	Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin, John E. Hummel	Relation learning in a neurocomputational architecture supports cross-domain transfer.	CoRR	2019	DBLP BibTeX RDF
27	Guillermo Puebla, Andrea E. Martin, Leonidas A. A. Doumas	The relational processing limits of classic and contemporary neural network models of language processing.	CoRR	2019	DBLP BibTeX RDF
27	Guillermo Puebla, Sergio E. Chaigneau	A Piecemeal Processing Strategy Model for Causal-Based Categorization.	CogSci	2019	DBLP BibTeX RDF
27	Manuel Enrique Puebla Martínez, José M. Perea-Ortega, Alfredo Simón-Cuevas, Francisco P. Romero 0001, José A. Olivas Varela	Automated Large Geographic Ontologies Generation Method from Spatial Databases.	KGSWC	2019	DBLP DOI BibTeX RDF
27	Alejandro Monsivais-Huertero, Ramón Sidonio Aparicio-García, Carlos Rodolfo Sánchez-Villanueva, Víctor Manuel Saúce-Rangel, Jasmeet Judge, Juan Carlos Hernández-Sánchez, Iván Edmundo De La Rosa-Montero, Eduardo Arizmendi-Vasconcelos, José Carlos Jiménez-Escalona, Daniel Enrique Constantino-Recillas, Roberto Ivan Villalobos-Martínez, Jaime Hugo Puebla-Lomas, Enrique Zempoaltécatl-Ramirez	The Thexmex-18 Dataset: Understanding the Soil and Vegetation Dynamics of Agricultural Fields in Central Mexico from L-Band SMAP Observations.	IGARSS	2019	DBLP DOI BibTeX RDF
27	Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin	Human-like generalization in a machine through predicate learning.	CoRR	2018	DBLP BibTeX RDF
27	Manuel Enrique Puebla Martínez, José M. Perea-Ortega, Alfredo Simón-Cuevas, Francisco P. Romero 0001	Automatic Expansion of Spatial Ontologies for Geographic Information Retrieval.	IPMU (2)	2018	DBLP DOI BibTeX RDF
27	Manuel Enrique Puebla Martínez, José M. Perea-Ortega, Alfredo Simón-Cuevas	Extensión del Framework OWLAPI para la Administración y Razonamiento sobre Grandes Ontologías (An Extension of the OWLAPI Framework for Management and Reasoning on Large Ontologies).	IWSW	2018	DBLP BibTeX RDF
27	Octavio Alberto Agustín-Aquino, Emilio Lluis-Puebla, Mariana Montiel (eds.)	Mathematics and Computation in Music - 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings	MCM	2017	DBLP DOI BibTeX RDF
27	J. David Gómez-Téllez, Emilio Lluis-Puebla, Mariana Montiel	A Symmetric Quantum Theory of Modulation in Z\!\!Z_20 Z Z 20.	MCM	2017	DBLP DOI BibTeX RDF
27	Alex Doumas, Aaron Hamer, Guillermo Puebla-Ramírez, Andrea E. Martin	A theory of the detection and learning of structured representations of similarity and relative magnitude.	CogSci	2017	DBLP BibTeX RDF
27	Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez	A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
27	Eliseo Hernandez-Martinez, Francisco J. Valdes-Parada, Jose Alvarez-Ramirez, Hector Puebla, Epifanio Morales-Zarate	A Green's function approach for the numerical solution of a class of fractional reaction-diffusion equations.	Math. Comput. Simul.	2016	DBLP DOI BibTeX RDF
27	Manuel E. Puebla, José M. Perea, Alfredo J. Simón	Generación Semiautomática de una Ontología Geográfica a partir de Fuentes Heterogéneas.	IWSW	2016	DBLP BibTeX RDF
27	Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez	A multi-domain incremental analysis engine and its application to incremental resource analysis.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	A practical comparator of cost functions and its applications.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
27	Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez	Quantified abstract configurations of distributed systems.	Formal Aspects Comput.	2015	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez	Object-sensitive cost analysis for concurrent objects.	Softw. Test. Verification Reliab.	2015	DBLP DOI BibTeX RDF
27	Miguel Sánchez-Puebla, Roberto Sobrino, José Martín	Everyday Tools Used for Avionics User Modifiable Software Automatic Generation.	IS-EUD	2015	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez	Resource Analysis: From Sequential to Concurrent and Distributed Programs.	FM	2015	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez	Conditional termination of loops over heap-allocated data.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
27	Miguel Gómez-Zamalloa, Germán Puebla	Selected and extended papers from Bytecode 2013.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez	SACO: Static Analyzer for Concurrent Objects.	TACAS	2014	DBLP DOI BibTeX RDF
27	Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez	Quantified Abstractions of Distributed Systems.	IFM	2013	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini	Cost analysis of object-oriented bytecode programs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo	Certificate size reduction in abstraction-carrying code.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales 0001, Germán Puebla	An overview of Ciao and its design philosophy.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla	Automatic Inference of Resource Consumption Bounds.	LPAR	2012	DBLP DOI BibTeX RDF
27	Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez	Incremental resource usage analysis.	PEPM	2012	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla	COSTABS: a cost and termination analyzer for ABS.	PEPM	2012	DBLP DOI BibTeX RDF
27	Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini	Automatic Inference of Bounds on Resource Consumption.	FMCO	2012	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales 0001, German Puebla	An overview of Ciao and its design philosophy	CoRR	2011	DBLP BibTeX RDF
27	Julia Lawall, Germán Puebla, Germán Vidal	Editorial.	High. Order Symb. Comput.	2011	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Closed-Form Upper Bounds in Static Cost Analysis.	J. Autom. Reason.	2011	DBLP DOI BibTeX RDF
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient local unfolding with ancestor stacks.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF