|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #100 of 1589 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|