The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Puebla with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-1999 (20) 2000-2003 (18) 2004 (193) 2005 (154) 2006 (138) 2007 (60) 2008 (67) 2009 (131) 2010 (183) 2011 (175) 2012 (80) 2013 (82) 2014 (47) 2015 (42) 2016 (52) 2017-2018 (49) 2019 (35) 2020-2022 (17) 2023 (44) 2024 (2)
Publication types (Num. hits)
article(57) incollection(3) inproceedings(1488) phdthesis(1) proceedings(40)
Venues (Conferences, Journals, ...)
CONIELECOMP(582) IBERAMIA(98) CIARP(89) MCPR(69) D.GO(68) ENC(54) DG.O(53) MICAI (1)(51) MICAI (2)(47) LANMR(42) CLIHC(41) JIISIC(35) LA-WEB(32) ReConFig(29) LA-NMR(28) WoLLIC(27) More (+10 of total 119)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 629 occurrences of 408 keywords

Results
Found 1612 publication records. Showing 1589 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
110René 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. Search on Bibsonomy DG.O The full citation details ... 2010 DBLP  BibTeX  RDF Joomla, Puebla, portal evolution and design, Java, open source, portals, digital government, Scrum, net
110Cindy 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. Search on Bibsonomy D.GO The full citation details ... 2009 DBLP  BibTeX  RDF Puebla, portal evolution and design, portals, digital government
52Pilar 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 Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2020 DBLP  BibTeX  RDF
52Marí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. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez 0001 Weighted Complete Graphs for Condensing Data. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Mauricio Osorio 0001, Claudia Zepeda Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Mauricio Osorio 0001, José Luis Carballido Carranza An Extension of the Stable Semantics via Lukasiewicz Logic. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca Gradual Typing Using Union Typing With Records. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Flavio Everardo, Mauricio Osorio 0001 Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52José Martín Castro-Manzano Murphree's Numerical Term Logic Tableaux. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Cristina 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. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Everardo 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. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Pilar Pozos Parra, José Raymundo Marcial-Romero Preface. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Guillermo 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. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo On Interactive Proof-Search for Constructive Modal Necessity. Search on Bibsonomy LANMR (Selected Papers) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
52Mauricio 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 Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Stefania Costantini, Andrea Formisano 0001 Conditional preferences in P-RASP. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni CTL AgentSpeak(L): a specification language for agent programs. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Abraham Sánchez López, Alfredo Toriz P. Coordinated multi-agent exploration. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Magdalena Ortiz 0001 An Automata-based algorithm for description logics around SRIQ. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Ruslán Ledesma Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52José Arrazola, Eduardo Ariza, Verónica Borja Macías The Pac Logic in the properties of C(w) and C(min). Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52José Luis Carballido, Claudia Zepeda P-stable models of strong kernel programs. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Iván Olmos, Jesus A. Gonzalez Structural graph-based representations used for finding hidden patterns. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52David Pinto 0001, Jorge Civera, Alfons Juan, Paolo Rosso, Alberto Barrón-Cedeño A statistical approach to crosslingual natural language tasks. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Claudia Zepeda, José Luis Carballido Semi-negative normal programs based on p-stable semantics. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Guillermo De Ita Luna, Mireya Tovar, Meliza Contreras González Agents's competition for selecting a representative. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Ana 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. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Ma. 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. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Roxana Dánger, Rafael Berlanga Llavori Generating complex ontology instances from documents. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López Efficient computation of the degree of belief in a propositional theory. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52Juan Carlos Acosta Guadarrama AGM postulates in Answer Sets. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
52José 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 Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Edgar S. García-Treviño, Vicente Alarcón Aquino, M. A. Herrera-Garcia Wavelet-Networks for Prediction of Ozone Levels in Puebla City Mexico. Search on Bibsonomy CONIELECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Juan Carlos Nieves, Mauricio Osorio 0001 Generating maximal models using the stable model semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Juan Carlos Nieves, Mauricio Osorio 0001 Inferring preferred extensions by Pstable semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González Efficient counting of models for boolean formulas represented by embedded cycles. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Federico Marulanda Rey Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez Planning using situation calculus, prolog and a mobile robot. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares Handling Exceptions in nonmonotonic reasoning. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Rogelio Dávila, Sara C. Hernández, Juan F. Corona Teaching natural deduction to improve text argumentation analysis in engineering students. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52José Luis Carballido, José Arrazola, Mauricio Osorio 0001 Equivalence for the G3'-stable models semantics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Mauricio Osorio 0001 GLukG logic and its application for non-monotonic reasoning. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
52Eduardo Ariza, José Arrazola Analysis of the paraconsistency in some logics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
51Luis F. Luna-Reyes Plenary keynote panel: digital government in Mexico. Search on Bibsonomy DG.O The full citation details ... 2010 DBLP  BibTeX  RDF state and local, digital government, federal, Mexico
27Ruben Aurelio Puebla-Gutierrez, Antonio Favela-Contreras, Alfonso Ávila 0001, Camilo Lozoya Embedded Asynchronous MIMO Adaptive Predictive Control. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Guillermo Puebla, Jeffrey S. Bowers Visual Reasoning in Object-Centric Deep Neural Networks: A Comparative Cognition Approach. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Guillermo Puebla, Jeffrey S. Bowers The role of object-centric representations, guided attention, and external memory on generalizing visual relations. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Jeffrey 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. Search on Bibsonomy Cogn. Syst. Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Juan L. Puebla, Vladik Kreinovich Spiral Arms Around a Star: Geometric Explanation. Search on Bibsonomy Uncertainty, Constraints, and Decision Making The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Boban 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. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Dasapta Erwin Irawan, Hilyatuz Zahroh, Iratxe Puebla Preprints as a driver of open science: Opportunities for Southeast Asia. Search on Bibsonomy Frontiers Res. Metrics Anal. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Alejandro 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. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Guillermo Puebla, Leonidas A. A. Doumas Learning Relational Rules from Rewards. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Mike 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. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
27Francisco 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. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Mariana 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 Search on Bibsonomy MCM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Belén Puebla-Martínez, Nuria Navarro-Sierra, Gema Alcolea-Díaz Methodological Proposal for the Detection of the Composing Elements of Vulnerability Regarding Disinformation. Search on Bibsonomy Publ. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Esperanza Marcos, Roberto Hens Pato, Teresa Puebla, Juan Manuel Vara Applying Emotional Team Coaching to Software Development. Search on Bibsonomy IEEE Softw. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Guillermo Puebla, Jeffrey S. Bowers Can Deep Convolutional Neural Networks Learn Same-Different Relations? Search on Bibsonomy CogSci The full citation details ... 2021 DBLP  BibTeX  RDF
27Misagh Ketabdari, Ignacio Puebla Millán, Maurizio Crispino, Emanuele Toraldo, Mariano Pernetti Numerical Prediction Model of Runway-Taxiway Junctions for Optimizing the Runway Evacuation Time. Search on Bibsonomy ICCSA (1) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27José 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. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin, John E. Hummel Relation learning in a neurocomputational architecture supports cross-domain transfer. Search on Bibsonomy CogSci The full citation details ... 2020 DBLP  BibTeX  RDF
27Ricardo 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. Search on Bibsonomy Symmetry The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin, John E. Hummel Relation learning in a neurocomputational architecture supports cross-domain transfer. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Guillermo Puebla, Andrea E. Martin, Leonidas A. A. Doumas The relational processing limits of classic and contemporary neural network models of language processing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Guillermo Puebla, Sergio E. Chaigneau A Piecemeal Processing Strategy Model for Causal-Based Categorization. Search on Bibsonomy CogSci The full citation details ... 2019 DBLP  BibTeX  RDF
27Manuel 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. Search on Bibsonomy KGSWC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Alejandro 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. Search on Bibsonomy IGARSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Leonidas A. A. Doumas, Guillermo Puebla, Andrea E. Martin Human-like generalization in a machine through predicate learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Manuel 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. Search on Bibsonomy IPMU (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Manuel 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). Search on Bibsonomy IWSW The full citation details ... 2018 DBLP  BibTeX  RDF
27Octavio 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 Search on Bibsonomy MCM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27J. David Gómez-Téllez, Emilio Lluis-Puebla, Mariana Montiel A Symmetric Quantum Theory of Modulation in Z\!\!Z_20 Z Z 20. Search on Bibsonomy MCM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Alex 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. Search on Bibsonomy CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
27Elvira 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. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Eliseo 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. Search on Bibsonomy Math. Comput. Simul. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Manuel 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. Search on Bibsonomy IWSW The full citation details ... 2016 DBLP  BibTeX  RDF
27Elvira 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. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla A practical comparator of cost functions and its applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez Quantified abstract configurations of distributed systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Elvira 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. Search on Bibsonomy Softw. Test. Verification Reliab. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Miguel Sánchez-Puebla, Roberto Sobrino, José Martín Everyday Tools Used for Avionics User Modifiable Software Automatic Generation. Search on Bibsonomy IS-EUD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Elvira 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. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez Conditional termination of loops over heap-allocated data. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Miguel Gómez-Zamalloa, Germán Puebla Selected and extended papers from Bytecode 2013. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Elvira 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. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez Quantified Abstractions of Distributed Systems. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini Cost analysis of object-oriented bytecode programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo Certificate size reduction in abstraction-carrying code. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Manuel 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. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla Automatic Inference of Resource Consumption Bounds. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez Incremental resource usage analysis. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla COSTABS: a cost and termination analyzer for ABS. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Elvira 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. Search on Bibsonomy FMCO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Manuel 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 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
27Julia Lawall, Germán Puebla, Germán Vidal Editorial. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Closed-Form Upper Bounds in Static Cost Analysis. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient local unfolding with ancestor stacks. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1589 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license