Support |
|
|
|
Publications presenting results of the PROMESAS project
Publications are classified according to
four ranking databases:
JCR
(using for each publication venue the average position in the
list in 1998-2006), the CORE listings, the
CiteSeer impact
listings (see also
the upgraded CiteSeerX listing) and the
CS Conference
Rankings.
Each of these
databases (except CORE) maps venues to a number between 0 and
1 (or 0 and 100%) which corresponds to the position of the
corresponding venue divided by the total number of ranked
venues (the lower the position the better). CORE classifies
venues, instead, into four discrete ranking categories:
A+, A, B and C. In
order to have a numerical figure with which to compare to the
other databases and be able to compute an average value, we
have mapped CORE's A+ to top 10%, A to
33%, B to 66% and C to 100%. We
obtain an overall numerical ranking for each publication as
the extbfaverage of all available rankings for the corresponding venue
(some venues do not appear in all ranking databases).
Finally, publications are classified according to this
average. Publications with average ranking 0-33% are considered as first level, 33-66% are considered as second level and the rest are
considered as third level. In the listings, for
each publication we report the individual rankings available
for the corresponding venue, as well as the global average
position, in the form of a percentage.
Articles in First-Level Refereed Conferences and
Journals:
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode.
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM),
pages 25--28,
ACM Press,
January
2010.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- E. Mera, P. López-García, M. Hermenegildo.
Integrating Software Testing and Run-Time
Checking in an Assertion Verification Framework.
International Conference on Logic Programming (ICLP),
LNCS,
Vol. 5649,
pages 281--295,
Springer-Verlag,
July
2009.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo.
A Tabling Implementation Based on
Variables with Multiple Bindings.
International Conference on Logic Programming (ICLP 2009),
LNCS,
Num. 5649,
15 pages,
Springer-Verlag,
July
2009.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- Pablo Chico de Guzmán Huerta, Manuel Carro, Manuel Hermenegildo.
Towards a Complete Scheme for Tabled Execution
Based on Program Transformation.
11th International Symposium on Practical Aspects of
Declarative Languages (PADL'09),
LNCS,
Num. 5418,
pages 224--238,
Springer-Verlag,
January
2009.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- G. Puebla, G. Vidal.
ACM SIGPLAN Partial Evaluation and Program Manipulation
(PEPM'09).
200 pages,
ACM Digital Library,
January
2009.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
16th International Symposium on Formal Methods, FM'09,
Lecture Notes in Computer Science,
Vol. 5850,
pages 370--386,
Springer,
2009.
CORE: A. CS Conf Rankings: 0.97. Average position: top 18%.
- Bradley Walker, Nicolas Fay, Shane Rogers, Nik Swoboda.
Experimental Investigation of the Role of
Collaboration in the Evolution of Communication Systems.
Proceedings of the 31st Annual Conference of the
Cognitive Science,
pages 1388--1393,
Cognitive Science Society,
2009.
JCR: position (ave) top 24%, impact (ave) 2.15, subject(s): PSYCHOLOGY, EXPERIMENTAL.
PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impact 1.38. Average position: top 22%.
- Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo.
Event Based Choreography.
Science of Computer Programming,
To Appear, 2009.
To appear..
JCR: position (ave) top 39%, impact (ave) 0.77, subject(s): COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING.
COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING -- CORE: A. Citeseer: 185/1221 (15%), impact 1.22. Average position: top 29%.
- Manuel Clavel, Francisco Durán, Steven Eker, Santiago
Escobar, Patrick Lincoln, Narciso Martí-Oliet, José
Meseguer, Carolyn L. Talcott.
Unification and Narrowing in Maude 2.4.
Rewriting Techniques and Applications, 20th International Conference,
RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings,
Lecture Notes in Computer Science,
Vol. 5595,
pages 380--390,
Springer,
2009.
CORE: A. Average position: top 33%.
- Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou.
Sound Multi-party Business Protocols for Service Networks.
Proceedings of the Sixth International Conference on Service Oriented Computing,
LNCS,
Vol. 5364,
pages 302--316,
Springer-Verlag,
December
2008.
CORE: A. Average position: top 33%.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo.
Negative Ternary Set-Sharing.
International Conference on Logic Programming, ICLP,
LNCS,
Num. 5366,
pages 301--316,
Springer-Verlag,
December
2008.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo.
A Sketch of a Complete Scheme for Tabled
Execution Based on Program Transformation.
Int'l. Conference on Logic Programming,
LNCS,
Vol. 5366,
pages 795--800,
Springer Verlag,
December
2008.
Short paper.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- A. Casas, M. Carro, M. Hermenegildo.
A High-Level Implementation of
Non-Deterministic, Unrestricted, Independent
And-Parallelism.
24th International Conference on Logic Programming
(ICLP'08),
LNCS,
Vol. 5366,
pages 651--666,
Springer-Verlag,
December
2008.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- M. J. Gabbay, A. Mathijssen.
One-and-a-halfth-order Logic (journal version).
Journal of Logic and Computation,
Vol. 18,
Num. 4,
pages 521--562,
November
2008.
JCR: position (ave) top 49%, impact (ave) 0.68, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 155/1221 (12%), impact 1.29. Average position: top 31%.
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla.
Automatic Inference of Upper Bounds for
Recurrence Relations in Cost Analysis.
Static Analysis, 15th International Symposium, SAS 2008,
Valencia, Spain, July 15-17, 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 5079,
pages 221--237,
Springer-Verlag,
July
2008.
CORE: A. Citeseer: 145/1221 (11%), impact 1.35. CS Conf Rankings: 0.9. Average position: top 18%.
- M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic.
Efficient Context-Sensitive Shape Analysis with Graph-Based
Heap Models.
International Conference on Compiler Construction (CC
2008),
Lecture Notes in Computer Science,
15 pages,
Springer,
April
2008.
CORE: A. Citeseer: 370/1221 (30%), impact 0.83. CS Conf Rankings: 0.95. Average position: top 22%.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing Analysis
for Java-style Programs.
9th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'08),
LNCS,
Num. 4905,
pages 172--187,
Springer-Verlag,
January
2008.
CORE: A. Average position: top 33%.
- P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha.
An Improved Continuation Call-Based
Implementation of Tabling.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 198--213,
Springer-Verlag,
January
2008.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- I. Mastroeni, D. Zanardini.
Data Dependencies and Program Slicing: from Syntax
to Abstract Semantics.
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-based Program Manipulation (PEPM),
ACM Press, New York,
January
2008.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- Guillem Marpons, Julio Mariño, M. Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund.
Automatic Coding Rule Conformance Checking Using Logic
Programming.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 18--34,
Springer Verlag,
January
2008.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- A. Casas, M. Carro, M. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 230--247,
Springer-Verlag,
January
2008.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
A Practical Type Analysis for Verification of
Modular Prolog Programs.
ACM SIGPLAN 2008 Workshop on Partial Evaluation and
Program Manipulation (PEPM'08),
pages 61--70,
ACM Press,
January
2008.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- M. J. Gabbay, A. Mathijssen.
Capture-Avoiding Substitution as a Nominal Algebra.
Formal Aspects of Computing,
Vol. 20,
Num. 4-5,
pages 451--479,
Springer,
January
2008.
CORE: A. Citeseer: 257/1221 (21%), impact 1.06. Average position: top 27%.
- S. Estévez-Martín, A.J. Fernández, F. Sáenz-Pérez.
Playing with TOY: Constraints and Domain Cooperation.
ESOP 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 4960,
pages 112--115,
Springer,
2008.
CORE: A. Citeseer: 87/1221 (7%), impact 1.58. CS Conf Rankings: 0.92. Average position: top 16%.
- Christiano Braga.
From Access Control Policies to an Aspect-based Infrastructure: A
Metamodel-based Approach.
Proceedings of MODELS 2008 Workshops and Symposia,
Lecture Notes in Computer Science,
Springer,
2008.
CORE: A. Average position: top 33%.
- Viviane Silva.
From the Specification to the Implementation of Norms: An Automatic
Approach to Generate Rules from Norms to Govern the Behaviour of
Agents.
International Journal of Autonomous Agents and Mult-Agent Systems,
Special Issue on Norms,
To Appear, 2008.
CORE: A. Citeseer: 197/1221 (16%), impact 1.18. Average position: top 24%.
- L-Å. Fredlund, H. Svensson.
McErlang: a model checker for a distributed functional
programming language.
Proceedings of the 12th ACM SIGPLAN International conference
on functional programming (ICFP 2007),
October
2007.
CORE: A+. Citeseer: 81/1221 (6%), impact 1.62. CS Conf Rankings: 0.97. Average position: top 6%.
- P. Pietrzak, M. Hermenegildo.
Automatic Binding-related Error Diagnosis in Logic
Programs.
International Conference on Logic Programming
(ICLP'07),
LNCS,
Num. 4670,
pages 333--347,
Springer-Verlag,
September
2007.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
Declarative Debugging of Missing Answers in Constraint Functional- Logic Programming.
23rd International Conference on Logic Programming (ICLP 2007),
LNCS,
pages 425--427,
Springer-Verlag,
September
2007.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- J. Lipton, S. Nieva.
Higher-Order Logic Programming Languages with Constraints:
A Semantics.
Typed Lambda Calculi and Applications,
Lecture Notes in Computer Science,
Vol. 4583,
pages 272--289,
Springer,
June
2007.
Citeseer: 179/1221 (14%), impact 1.23. Average position: top 14%.
- J. Lipton, S. Nieva.
Higher-Order Logic Programming Languages with Constraints: A Semantics.
8th International Conference Typed Lambda Calculi and Applications (TLCA 2007),
LNCS,
Num. 4583,
pages 272--289,
Springer-Verlag,
June
2007.
Citeseer: 179/1221 (14%), impact 1.23. Average position: top 14%.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Verification of Java Bytecode using Analysis and
Transformation of Logic Programs.
Ninth International Symposium on Practical Aspects of
Declarative Languages (PADL 2007),
LNCS,
Num. 4354,
pages 124--139,
Springer-Verlag,
January
2007.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo.
Combining Static Analysis and Profiling for
Estimating Execution Times.
Ninth International Symposium on Practical Aspects of
Declarative Languages,
LNCS,
Num. 4354,
pages 140--154,
Springer-Verlag,
January
2007.
CORE: A. Citeseer: 351/1221 (28%), impact 0.87. CS Conf Rankings: 0.88. Average position: top 24%.
- C. Ochoa, G. Puebla.
Poly-Controlled Partial Evaluation in Practice.
ACM Partial Evaluation and Program Manipulation
(PEPM'07),
pages 164--173,
ACM Press,
January
2007.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- J. Navas, E. Mera, P. López-García, M. Hermenegildo.
User-Definable Resource Bounds Analysis
for Logic Programs.
23rd International Conference on Logic Programming
(ICLP'07),
LNCS,
Vol. 4670,
pages 348--363,
Springer,
2007.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- Patrick G.T. Healey, Nik Swoboda, Ichiro Umata, James King.
Graphical Language Games: Interactional constraints on
representational form.
Cognitive Science,
Vol. 31,
pages 285--309,
2007.
JCR: position (ave) top 24%, impact (ave) 2.15, subject(s): PSYCHOLOGY, EXPERIMENTAL.
PSYCHOLOGY, EXPERIMENTAL -- CORE: A. Citeseer: 135/1221 (11%), impact 1.38. Average position: top 22%.
- David Basin, Jürgen Doser, Manuel Clavel, Marina Egea.
A Metamodel-Based Approach for Analyzing Security-Design Models.
Model Driven Engineering Languages and Systems-- 10th International
Conference --MoDELS 2007,
Lecture Notes for Computer Science,
Vol. 4735,
pages 420--435,
Springer,
2007.
CORE: A. Average position: top 33%.
- Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo.
Strategies and simulations in a semantic framework.
Journal of Algorithms,
Vol. 62,
Num. 3-4,
pages 95--116,
2007.
Special number associated to the Brazilian Workshop on Logical and
Semantic Frameworks, with Applications, LSFA 2006.
CORE: A. Citeseer: 126/1221 (10%), impact 1.42. Average position: top 21%.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
A Static Heap Analysis for Shape and
Connectivity.
Languages and Compilers for Parallel Computing
(LCPC'06),
Lecture Notes in Computer Science,
Vol. 4382,
pages 345--363,
Springer,
November
2006.
Citeseer: 186/1221 (15%), impact 1.22. Average position: top 15%.
- E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo.
Using Combined Static Analysis and Profiling
for Logic Program Execution Time Estimation.
22nd International Conference on Logic Programming
(ICLP 2006),
LNCS,
Num. 4079,
pages 431--432,
Springer-Verlag,
August
2006.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- G. Puebla, E. Albert, M. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
The 13th International Static Analysis Symposium
(SAS'06),
LNCS,
Num. 4134,
pages 107--126,
Springer,
August
2006.
CORE: A. Citeseer: 145/1221 (11%), impact 1.35. CS Conf Rankings: 0.9. Average position: top 18%.
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Reduced Certificates for Abstraction-Carrying
Code.
22nd International Conference on Logic Programming (ICLP
2006),
LNCS,
Num. 4079,
pages 163--178,
Springer-Verlag,
August
2006.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP 2006,
Lecture Notes in Computer Science,
Vol. 4079,
pages 421--422,
Springer,
2006.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
Proc. 22nd International Conference on Logic Programming (ICLP 2006),
LNCS,
Vol. 4079,
pages 421--422,
Springer,
2006.
CORE: A. Citeseer: 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Average position: top 15%.
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando
Rubio.
Towards Improving Skeletons in Eden.
Parallel Computing: Current & Future Issues of High-End Computing
(Proc. of the Int. Conf. ParCo 2005),
pages 843--849,
NIC Series (John von Neumann Institute for Computing). NIC-Directors,
2006.
CORE: A. Average position: top 33%.
- Fernando Rosa-Velardo, David de Frutos-Escrig.
Symbolic Semantics for the verification of security properties of
mobile Petri Nets.
Proceedings of the 4th International Symposium on Automated Technology
for Verification and Analysis, ATVA'06,
LNCS,
Vol. 4218,
pages 461--476,
Springer,
2006.
CORE: A. Average position: top 33%.
Articles in Second-Level Refereed Conferences and
Journals:
- G. Puebla, E. Albert, M. Hermenegildo.
Efficient Local Unfolding with Ancestor Stacks.
Theory and Practice of Logic Programming,
To Appear, Cambridge U. Press,
2010.
JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING.
COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
- D. Cabeza, M. Hermenegildo.
Non-Strict Independence-Based Program
Parallelization Using Sharing and Freeness
Information.
Theoretical Computer Science,
Vol. 46,
Num. 410,
pages 4704--4723,
Elsevier Science,
October
2009.
JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding for Online Termination.
Information Processing Letters,
Vol. 109,
pages 879--886,
Elsevier,
July
2009.
JCR: position (ave) top 65%, impact (ave) 0.66, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS.
COMPUTER SCIENCE, INFORMATION SYSTEMS -- CORE: B. Citeseer: 551/1221 (45%), impact 0.58. Average position: top 58%.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Live Heap Space Analysis for Languages with Garbage Collection.
8th international symposium on Memory management,
pages 129--138,
ACM Press,
June
2009.
CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
- M. Marron, D. Kapur, M. Hermenegildo.
Identification of Logically Related Heap
Regions.
ISMM'09: Proceedings of the 8th international symposium
on Memory management,
ACM Press,
June
2009.
CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
Test Data Generation of Bytecode by CLP Partial Evaluation.
18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08),
LNCS,
Num. 5438,
pages 4--23,
Springer-Verlag,
March
2009.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla.
Asymptotic Resource Usage Bounds.
The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09),
Lecture Notes in Computer Science,
Springer,
2009.
CORE: B. CS Conf Rankings: 0.93. Average position: top 36%.
- Vincenzo Ciancia, Ugo Montanari.
Symmetries, Local Names and Dynamic (De)-allocation of Names.
Information and Computation,
To Appear, 2009.
To appear..
JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
- José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet.
Algebraic Simulations.
Journal of Logic and Algebraic Programming,
Vol. 79,
Num. 2,
2009.
JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.
- Fernando Rosa-Velardo, David de Frutos-Escrig.
Decidability results for restricted models of Petri nets with name
creation and replication.
30th International Conference on Applications and Theory of Petri
Nets and Other Models of Concurrency, ICATPN 2009,
Lecture Notes in Computer Science,
Vol. 5606,
pages 63--82,
Springer,
2009.
Best paper award.
CORE: B. Citeseer: 427/1221 (34%), impact 0.74. CS Conf Rankings: 0.54. Average position: top 48%.
- M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur.
Sharing Analysis of Arrays, Collections, and
Recursive Structures.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'08),
ACM,
November
2008.
CORE: B. Citeseer: 235/1221 (19%), impact 1.1. Average position: top 42%.
- J. Mariño, J. J. Moreno-Navarro, S. Muñoz.
Implementing Constructive Intensional Negation.
New Generation Computing,
Vol. 27,
Num. 1,
November
2008.
JCR: position (ave) top 58%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURE.
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE -- CORE: B. Citeseer: 305/1221 (24%), impact 0.97. Average position: top 49%.
- J. Morales, M. Carro, M. Hermenegildo.
Comparing Tag Scheme Variations Using an
Abstract Machine Generator.
10th Int'l. ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP'08),
pages 32--43,
ACM Press,
July
2008.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- E. Mera, P. López-García, M. Carro, M. Hermenegildo.
Towards Execution Time Estimation in
Abstract Machine-Based Languages.
10th Int'l. ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP'08),
pages 174--184,
ACM Press,
July
2008.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- J. Garrigue, M. Hermenegildo.
Functional and Logic Programming, 9th International
Symposium, FLOPS'08.
LNCS,
Num. 4989,
Springer,
April
2008.
CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Removing Useless Variables in Cost Analysis of
Java Bytecode.
ACM Symposium on Applied Computing (SAC) - Software
Verification Track (SV08),
pages 368--375,
ACM Press, New York,
March
2008.
CORE: B. Citeseer: 782/1221 (64%), impact 0.31. CS Conf Rankings: 0.85. Average position: top 48%.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding and its
Applications to Online Partial Evaluation.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Vol. 4915,
pages 23--42,
Springer-Verlag,
February
2008.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- M. J. Gabbay.
A study of substitution, using nominal techniques and
Fraenkel-Mostowski sets.
Theoretical Computer Science,
To Appear, 2008.
JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
- M. J. Gabbay, M. Hofmann.
Nominal renaming sets.
LPAR'08,
pages 158--173,
2008.
CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
- R. Caballero, M. Rodríguez-Artalejo, C.A.Romero-Díaz.
Similarity-based reasoning in qualified logic programming.
Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08),
pages 185--194,
ACM,
2008.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda.
Cooperation of Constraint Domains in the TOY System.
PPDP'08: Proceedings of the 12th ACM SIGPLAN international conference on Principles and practice of declaritive programming,
pages 258--268,
ACM Press,
2008.
.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Rewriting and Call-time choice: the HO case.
Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08),
LNCS,
Vol. 4989,
pages 147--162,
Springer,
2008.
CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
- S. Nieva, F. Sáenz-Pérez, J. Sánchez.
Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation.
Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08),
LNCS,
Vol. 4989,
pages 289--304,
Springer,
2008.
CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
- M. Rodríguez-Artalejo, C.A. Romero-Díaz.
Quantitative Logic Programming Revisited.
Functional and Logic Programming (FLOPS'08),
LNCS,
Vol. 4989,
pages 272--288,
Springer Verlag,
2008.
CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
- C. Segura, I. Pita, R. del Vado-Vírseda, A.I. Saiz, P. Soler.
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS '08: Proceedings of the 8th International Conference on Computational Science,
Lecture Notes in Computer Science,
Vol. 5101,
pages 800--809,
Springer,
2008.
CORE: A. Citeseer: 1116/1221 (91%), impact 0.05. Average position: top 62%.
- C. Segura, I. Pita, R. del Vado-Vírseda, A.I. Saiz, P. Soler.
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS '08: Proceedings of the 8th International Conference on Computational Science,
Lecture Notes in Computer Science,
Vol. 5101,
pages 800--809,
Springer,
2008.
CORE: A. Citeseer: 1116/1221 (91%), impact 0.05. Average position: top 62%.
- David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino.
Ready to preorder: an algebraic and general proof.
Journal of Logic and Algebraic Programming,
Vol. 78,
Num. 7,
pages 539--551,
2008.
JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.
- José Meseguer, Miguel Palomino, Narciso Mart&\acute;i-Oliet.
Equational Abstractions.
Theoretical Computer Science,
Vol. 403,
Num. 2-3,
pages 239--264,
2008.
JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
An Inference Algorithm for Guaranteeing Safe Destruction.
17th International Symposium on Logic-Based Program Synthesis and
Transformation, LOPSTR'08,
Lecture Notes in Computer Science,
Vol. 5438,
pages 135--151,
2008.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Heap Space Analysis for Java Bytecode.
Proceedings of the 6th International
Symposium on Memory Management (ISMM'07),
pages 105--116,
ACM Press,
October
2007.
CORE: B. Citeseer: 117/1221 (9%), impact 1.47. Average position: top 37%.
- M. Méndez-Lojo, J. Navas, M. Hermenegildo.
A Flexible (C)LP-Based Approach to the
Analysis of Object-Oriented Programs.
17th International Symposium on Logic-based Program Synthesis
and Transformation (LOPSTR 2007),
LNCS,
Num. 4915,
pages 154--168,
Springer-Verlag,
August
2007.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- A. Casas, M. Carro, M. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Num. 4915,
pages 138--153,
Springer-Verlag,
August
2007.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- J.F. Morales, M. Carro, M. Hermenegildo.
Towards Description and Optimization of Abstract
Machines in an Extension of Prolog.
Logic-Based Program Synthesis and
Transformation (LOPSTR'06),
LNCS,
Num. 4407,
pages 77--93,
July
2007.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur.
Heap Analysis in the Presence of Collection
Libraries.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'07),
ACM,
June
2007.
CORE: B. Citeseer: 235/1221 (19%), impact 1.1. Average position: top 42%.
- Viviane Silva, Carlos Lucena.
Modeling Multi-Agent Systems.
Communications of the ACM,
Vol. 50(5),
pages 103--108,
May
2007.
CORE: B. Average position: top 66%.
- G. Puebla.
Logic Based Program Synthesis and Transformation
(LOPSTR'06).
LNCS,
Num. 4407,
237 pages,
Springer,
March
2007.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- J. Mariño, A. Herranz, J. J. Moreno-Navarro.
Demandedness Analysis with Partial Predicates.
Theory and Practice of Logic Programming,
Vol. 7,
Num. 1-2,
pages 153--182,
January
2007.
JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING.
COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
- M. J. Gabbay.
A general mathematics of names.
Information and Computation,
Vol. 205,
Num. 7,
pages 982--1011,
2007.
JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
- M. Fernández, M. J. Gabbay.
Nominal Rewriting (journal version).
Information and Computation,
Vol. 205,
Num. 6,
pages 917--965,
2007.
JCR: position (ave) top 39%, impact (ave) 0.82, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: C. Citeseer: 115/1221 (9%), impact 1.48. Average position: top 49%.
- L-Å. Fredlund, H. Svensson.
McErlang: a model checker for a distributed functional
programming language.
ACM SIGPLAN Notices,
Vol. 42,
Num. 9,
pages 125--136,
2007.
Citeseer: 786/1221 (64%), impact 0.31. Average position: top 64%.
- R. del Vado-Vírseda.
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.
ICTAC,
Lecture Notes in Computer Science,
Vol. 4711,
pages 169--184,
Springer,
2007.
CORE: B. Average position: top 66%.
- A.J. Fernández, T. Hortalá-González, F. Sáenz-Pérez, R. del Vado-Vírseda.
Constraint Functional Logic Programming over Finite Domains.
Theory and Practice of Logic Programming,
Vol. 7,
Num. 5,
pages 537--582,
Cambridge University Press,
2007.
JCR: position (ave) top 31%, impact (ave) 1.23, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERING.
COMPUTER SCIENCE, SOFTWARE ENGINEERING -- CORE: A. Citeseer: 494/1221 (40%), impact 0.66. Average position: top 34%.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
A simple rewrite notion for call-time choice semantics.
Principles and Practice of Declarative Programming (PPDP 2007),
pages 197--208,
2007.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- F.J. López-Fraguas, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
A new generic scheme for functional logic programming with constraints.
Higher-Order and Symbolic Computation,
Vol. 20,
Num. 1-2,
pages 73--122,
2007.
CORE: C. Citeseer: 193/1221 (15%), impact 1.19. Average position: top 57%.
- Manuel Clavel, José Meseguer, Miguel Palomino.
Reflection in Membership Equational Logic, Many-Sorted Equational
Logic, Horn-Logic with Equality, and Rewriting Logic.
Theoretical Computer Science,
Vol. 373,
Num. 1-2,
pages 70--91,
Elsevier,
2007.
JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
- David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez.
New Bisimulation Semantics for Distributed Systems.
Formal Techniques for Networked and Distributed Systems, FORTE 2007,
Lecture Notes in Computer Science,
Vol. 4574,
pages 143--159,
Springer,
2007.
CORE: A. Citeseer: 497/1221 (40%), impact 0.66. Average position: top 36%.
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén.
To be or not to be lazy.
19th Intl. Symposium on the Implementation of Functional Languages
(IFL 2007),
pages 89--106,
University of Kent, Canterbury (UK),
2007.
Citeseer: 546/1221 (44%), impact 0.58. Average position: top 44%.
- Fernando Rosa-Velardo, David de Frutos-Escrig.
Name Creation vs. Replication in Petri Net Systems.
28th International Conference on Applications and Theory of Petri
Nets and Other Models of Concurrency, ICATPN 2007,
Lecture Notes in Computer Science,
Vol. 4546,
pages 402--422,
Springer,
2007.
CORE: B. Citeseer: 427/1221 (34%), impact 0.74. CS Conf Rankings: 0.54. Average position: top 48%.
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to
Abstraction-Carrying Code.
13th International Conference on
Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 377--391,
Springer-Verlag,
November
2006.
CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
Context-Sensitive Multivariant Assertion Checking
in Modular Programs.
13th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 392--406,
Springer-Verlag,
November
2006.
CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 392--406,
Springer-Verlag,
November
2006.
CORE: A. Citeseer: 469/1221 (38%), impact 0.69. Average position: top 35%.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo.
High-Level Languages for Small Devices: A
Case Study.
Compilers, Architecture, and Synthesis for Embedded
Systems,
pages 271--281,
ACM Press / Sheridan,
October
2006.
CORE: A. Citeseer: 618/1221 (50%), impact 0.5. CS Conf Rankings: 0.81. Average position: top 34%.
- M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, P. Lopez-Garcia, M. Méndez-Lojo, G. Puebla.
Advanced Program Development Using Abstract
Interpretation.
ACM SAC'06, ACM Symposium in Applied Computing (keynote
address),
April
2006.
CORE: B. Citeseer: 782/1221 (64%), impact 0.31. CS Conf Rankings: 0.85. Average position: top 48%.
- J. Correas, G. Puebla, M. Hermenegildo, F. Bueno.
Experiments in Context-Sensitive Analysis of Modular Programs.
15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 163--178,
Springer-Verlag,
April
2006.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- G. Puebla, C. Ochoa.
Poly-Controlled Partial Evaluation.
8th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
(PPDP'06),
pages 261--271,
ACM Press,
2006.
CORE: B. Citeseer: 421/1221 (34%), impact 0.75. Average position: top 50%.
- J.M. Cleva, I. Pita.
Verification of CRWL Programs with Rewriting Logic.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1594--1617,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- J. Sánchez-Hernández.
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1574--1593,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- J. Sánchez-Hernández.
Constructive Failure in Functional-Logic Programming: from Theory to Implementation.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1574--1593,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- Manuel Clavel, Miguel Palomino, Adriá Riesco.
Introducing the ITP Tool: a Tutorial.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1618--1650,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
Process Equivalences as Global Bisimulations.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1521--1550,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- José Miguel Cleva, Isabel Pita.
Verification of CRWL Programs with Rewriting Logic.
Journal of Universal Computer Science,
Vol. 12,
Num. 11,
pages 1594--1617,
2006.
CORE: B. Citeseer: 755/1221 (61%), impact 0.34. Average position: top 63%.
- José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho.
Reductions in binary search trees.
Theoretical Computer Science,
Vol. 355(3),
pages 327--353,
2006.
JCR: position (ave) top 60%, impact (ave) 0.57, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Citeseer: 338/1221 (27%), impact 0.91. Average position: top 40%.
- Alberto Verdejo, Narciso Martí-Oliet.
Executable structural operational semantics in Maude.
Journal of Logic and Algebraic Programming,
Vol. 67,
pages 226--293,
2006.
JCR: position (ave) top 37%, impact (ave) 1.06, subject(s): COMPUTER SCIENCE, THEORY & METHODS.
COMPUTER SCIENCE, THEORY & METHODS -- CORE: A. Average position: top 35%.
Books and Monographs:
- E. Albert, S. Genaim.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation.
Electronic Notes in Theoretical Computer Science,
Vol. 253,
Num. 5,
pages 1--2,
Elsevier - North Holland,
March
2009.
- G. Puebla, G. Vidal.
ACM SIGPLAN Partial Evaluation and Program Manipulation
(PEPM'09).
200 pages,
ACM Digital Library,
January
2009.
CORE: A. Citeseer: 65/1221 (5%), impact 1.47. CS Conf Rankings: 0.91. Average position: top 15%.
- José-Ramón Sánchez-Couso .
Análisis de características en el modelo BST.
Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Fac. CC
Matemáticas, Universidad Complutense de Madrid,
2009.
- A. Casas.
Automatic Unrestricted Independent
And-Parallelism in Declarative Multiparadigm
Languages.
Ph.D. Thesis, University of New Mexico (UNM),
Electrical and Computer Engineering Department,
University of New Mexico, Albuquerque, NM 87131-0001
(USA),
September
2008.
- M. Méndez-Lojo.
A Generic Approach to Bytecode Analysis.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Navas.
Analysis and Inference of Resource Usage Information.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Correas.
Analysis and Verification of Modular Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2008.
- J. Correas.
Análisis y Verificación de Programas Modulares.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2008.
- J. Garrigue, M. Hermenegildo.
Functional and Logic Programming, 9th International
Symposium, FLOPS'08.
LNCS,
Num. 4989,
Springer,
April
2008.
CORE: A. Citeseer: 468/1221 (38%), impact 0.69. Average position: top 35%.
- M. Hermenegildo.
ACM SIGPLAN-Intel Workshop on Declarative Aspects of
Multicore Programming, DAMP'08, Informal Proceedings.
January
2008.
- D. Krizanc, J. Lipton.
Formal Treatment of Secure Protocols.
pages 74--91,
IOS Press,
2008.
- Marina Egea.
An executable formal semantics for OCL with Applications to Formal
Analysis and Validation-Draft Version.
Ph.D. Thesis, Universidad Complutense de Madrid,
2008.
- L. Sánchez-Gil.
Sobre la equivalencia entre semánticas operacionales y denotacionales
para lenguajes funcionales paralelos.
Ms. Thesis, Universidad Complutense de Madrid (Departamento de Sistemas Informáticos
y Computación),
2008.
- Fernando Rosa-Velardo.
Redes de Petri móviles para la especificación y verificación
de propiedades de seguridad en sistemas ubicuos.
Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad
Complutense de Madrid,
November
2007.
- F. Sáenz-Pérez.
DES: un recurso para el aprendizaje de bases de datos deductivas.
Thomson,
July
2007.
- G. Puebla.
Logic Based Program Synthesis and Transformation
(LOPSTR'06).
LNCS,
Num. 4407,
237 pages,
Springer,
March
2007.
CORE: B. Citeseer: 363/1221 (29%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 41%.
- R. Caballero, T. Hortalá, N. Martí, S. Nieva, A. Pareja, M. Rodríguez.
Matemática Discreta para Informáticos.
Pearson Publicaciones,
2007.
- S. Estévez-Martín, A. Fernández, F. Sáenz-Pérez.
About Implementing a Constraint Functional Logic Programming System with Solver Cooperation.
pages 57--71,
Proceedings of Ciclops'07,
2007.
- F.J. López-Fraguas (editor).
Special issue with Proc. WFLP 2006.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
Num. ,
Elsevier Science,
2007.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Bundles Pack Tighter than Lists.
2007.
- Christiano Braga (editor).
Special number associated to the Brazilian Workshop on Logical and
Semantic Frameworks, with Applications, LSFA 2006.
Elsevier,
2007.
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln
and Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
All About Maude: A High-Performance Logical Framework.
Lecture Notes in Computer Science,
Vol. 4350,
Springer,
2007.
- Dave Barker-Plummer, Richard Cox, Nik Swoboda.
Diagrammatic Representation and Inference.
Lecture Notes in Artificial Intelligence,
Num. 4045,
300 pages,
Springer,
June
2006.
- A. Sarasa, R. del Vado-Vírseda.
Propositional Logic Learning Objects.
pages 183--186,
Universidad de Salamanca,
2006.
Invited Papers and Tutorials:
- Elvira Albert.
Upper Bounds on Memory Usage for Garbage-Collected Languages .
Workshop on Quantitative Analysis of Software (QA'09),
1 pages,
June
2009.
- J. Martinez, I. Pérez, S. Muñoz, D. Lancho.
Thin Client Technology in the Academic Environment.
IV Congreso Universidad y Cooperación al Desarrollo,
November
2008.
- M. Freire Morán, J. Mariño.
Voto Útil.
Num. 193,
2008.
- J. Mariño, O. Martín Sánchez.
Las luces de la escalera.
Num. 191,
pages 72--74,
2008.
- C. Pareja, J. Mariño.
Papiroflexia.
Vol. 1,
Num. 189,
pages 73--75,
September
2007.
- G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard.
MOBIUS: Mobility, Ubiquity, Security: Objectives and
progress report.
Trustworthy Global Computing'06,
LNCS,
Num. 4661,
pages 10--29,
March
2007.
- The Ciao Development Team.
The Ciao Multiparadigm Language and Program
Development Environment.
6 pages,
November
2006.
The ALP Newsletter 19(3). The Association for Logic
Programming..
- G. Puebla, E. Albert, P. Arenas, M. Hermenegildo.
On Abstraction-Carrying Code and Certificate-Size
Reduction.
1st International Workshop on Emerging Applications of
Abstract Interpretation (EAAI 2006),
15 pages,
March
2006.
Articles in Books and Other Collections:
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Resource Usage Analysis and its Application to Resource Certification.
9th Internation School on Foundations of Security Analysis and Design (FOSAD'09),
Lecture Notes in Computer Science,
Num. 5705,
pages 258--288,
Springer,
2009.
- M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla.
An Overview of The Ciao Multiparadigm Language
and Program Development Environment
and its Design Philosophy.
Festschrift for Ugo Montanari,
LNCS,
Num. 5065,
pages 209--237,
Springer-Verlag,
June
2008.
- Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco
and Alberto Verdejo.
Declarative debugging of membership equational logic specifications.
Concurrency, Graphs and Models, Ugo Montanari's Festschrift,
Lecture Notes for Computer Science,
Vol. 5065,
pages 174--193,
Springer,
2008.
Articles in Third-Level (or Non-Indexed) Refereed Conferences
and Journals:
- P. López-García, F. Bueno, M. Hermenegildo.
Automatic Inference of Determinacy and Mutual
Exclusion for Logic Programs Using Mode
and Type Information.
New Generation Computing,
To Appear, 2010.
- David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer.
Automatic Generation of Smart, Security-Aware GUI Models.
Engineering Secure Software and Systems, Second International Symposium,
ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings,
Lecture Notes in Computer Science,
pages 201--217,
Springer,
2010.
- Narciso Martí-Oliet.
An introduction to Maude and some of its applications.
Practical Aspects of Declarative Languages, 12th International Symposium,
PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings,
Lecture Notes in Computer Science,
Vol. 5937,
pages 4--9,
Springer,
2010.
- Fernando Rosa-Velardo, David de Frutos-Escrig.
(Un)decidability in Petri Nets with Name Creation and Replication.
submitted,
To Appear, 2010.
- Fernando Rosa-Velardo, Giorgio Delzanno.
A Language-based Comparison of Nets with Black Tokens, Pure Names
and Ordered Data.
4th International Conference on Language and Automata Theory and
Applications, LATA 2010,
Lecture Notes in Computer Science,
Vol. to appear,
2010.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Information and Software Technology,
Vol. 51,
pages 1409--1427,
Elsevier,
October
2009.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramirez, G. Román, D. Zanardini.
Termination and Cost Analysis with COSTA and its User Interfaces.
Spanish Conference on Programming and Computer Languages (PROLE'09
),
ENTCS,
Vol. 258,
pages 109--121,
Elsevier,
September
2009.
- J. de Dios, R. Peña.
Formal Certification of a Resource-Aware Language Implementation.
22nd Int. Conf. on Theorem Proving in Higher Order Logics, TPHOL'09,
Munich (Germany),
Lecture Notes in Computer Science,
Vol. 5674,
pages 196--211,
Springer,
August
2009.
- Elvira Albert.
Upper Bounds on Memory Usage for Garbage-Collected Languages .
Workshop on Quantitative Analysis of Software (QA'09),
1 pages,
June
2009.
- E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla.
Comparing Cost Functions in Resource Analysis.
1st International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09),
2009.
- David A. Basin, Manuel Clavel, Jürgen Doser, Marina
Egea.
Automated analysis of security-design models.
Information & Software Technology,
Vol. 51,
Num. 5,
pages 815--831,
2009.
- Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci.
A presheaf environment for the calculus of explicit fusions.
Submitted,
To Appear, 2009.
- Vincenzo Ciancia, Alexander Kurz, Ugo Montanari.
Families of symmetries for the semantics of programming languages.
Submitted,
To Appear, 2009.
- Vincenzo Ciancia, Emilio Tuosto.
A novel class of automata for languages on infinite alphabets.
Submitted,
To Appear, 2009.
- de Frutos Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel
Palomino.
On the unification of semantics for processes: observational semantics.
SOFSEM 09: Theory and Practice of Computer Science. 35th International
Conference on Current Trends in Theory and Practice of Computer Science,
Spindleruv Ml ýn, Czech Republic, January 24--30, 2009,
Proceedings,
Lecture Notes in Computer Science,
Vol. 5404,
pages 279--290,
Springer,
2009.
- de Frutos Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel
Palomino.
On the unification of semantics for processes: equational semantics.
Twenty-fifth Conference on the Mathematical Foundations of Programming
Semantics,
Electronic Notes in Theoretical Computer Science,
Vol. 249,
pages 243--267,
Elsevier,
2009.
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
(Bi)simulations up-to characterise process semantics.
Inf. Comput.,
Vol. 207,
Num. 2,
pages 146--170,
Elsevier,
2009.
- Ignacio Fábregas, Miguel Palomino, de Frutos-Escrig, David.
Non-strongly stable orders also define interesting simulation relations.
Algebra and Coalgebra in Computer Science, Third conference CALCO
2009, Udine, Italy, September 7-10, 2009. Proceedings,
Lecture Notes in Computer Science,
Vol. 5728,
pages 221--235,
Springer,
2009.
- Baldoino Neto, Andrew Costa, Manoel Teixeira, Carlos Lucena
and Viviane Silva.
JAAF-S: A Framework to implement Autonomic Agents able to deal with
web services.
4th International Conference on Software and Data Techniques (ICSOFT),
2009.
- Baldoino Neto, Andrew Costa, Manoel Teixeira, Viviane Silva
and Carlos Lucena .
JAAF: A Framework to Implement Self-Adaptive Agents.
21st International Conference on Software Engineering and Knowledge
Engineering (SEKE),
2009.
- L. Sánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén.
An Operational Semantics for Distributed Lazy Evaluation.
Tenth symposium on Trends in Functional Programming, TFP'09,
pages 222--239,
Eötvös Loránd University,
2009.
- M. Schläpfer, M. Egea, D. Basin, M. Clavel.
Automatic Generation of Security-Aware GUI Models.
European Workshop on Security in Model Driven Arquitecture 2009 (SEC-MDA
2009),
Workshop Proceedings Series,
Num. WP09-06,
pages 42--56,
CTIT, Enschede, the Netherlands,
2009.
- Viviane Silva, Ramón Hermoso, Roberto Centeno.
A Hybrid Reputation Model Based on the Use of Organization.
Coordination, Organizations, Institutions, and Norms in Agent Systems
III,
Lecture Notes in Computer Science,
Vol. 5429,
pages 111--125,
Springer,
2009.
- F. Escudero, S. Muñoz, D. Pérez, F. Suarez.
C&D-learning: B-learning eficiente adaptado a paises en
desarrollo con bajos recursos.
IV Congreso Universidad y Cooperación al Desarrollo,
November
2008.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, L-Å. Fredlund, J. J. Moreno Navarro, A. Polo.
A Coding Rule Conformance Checker Integrated into GCC.
VIII Jornadas sobre Programación y Lenguajes, PROLE'08,
October
2008.
- I. Pérez, A. Herranz, S. Muñoz, J. J. Moreno
Navarro.
Modelling Mash-Up Resources.
13th Conference on Software Engineering and Databases,
JISBD'08,
pages 135--146,
October
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
pages 239--248,
IEEE Computer Society,
September
2008.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
IEEE Computer Society,
September
2008.
- E. J. Gallego Arias, J. Lipton, J. Mariño, P.
Nogueira.
First-order Unification Using Variable-free Relational
Algebra.
Proceedings of the 22nd International Conference on
Unification (UNIF'08),
July
2008.
- Adrián Riesco, Alberto Verdejo, Narciso Martí- Oliet
and Rafael Caballero.
A declarative debugger for Maude.
Algebraic Methodology and Software Technology --- 12th International
Conference, AMAST 2008,
Lecture Notes in Computer Science,
Vol. 5140,
pages 116--121,
Springer,
July
2008.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
IFIP International Conference on
Formal Methods for Open Object-based Distributed
Systems (FMOODS'08),
Lecture Notes in Computer Science,
Vol. 5051,
pages 2--18,
Springer-Verlag, Berlin,
June
2008.
CORE: C. Average position: top 100%.
- G. Marpons, J. Mariño, A. Polo.
Adding Coding Rule Checking Capabilities to the GCC
Toolchain.
Proceedings of the GCC Developers' Summit 2008,
pages 43--54,
June
2008.
- E. Albert, G. Puebla, M. Hermenegildo.
Abstraction-Carrying Code: A Model for Mobile
Code Safety.
New Generation Computing,
Vol. 26,
Num. 2,
pages 171--204,
March
2008.
- A. de la Encina, R. Peña.
From Natural Semantics to C: A Formal Derivation of two STG Machines.
Journal of Functional Programming, Vol. 19, Num. 1, Cambridge University
Press,
To Appear, January
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Cost Relation Systems: a Language--Independent
Target Language for Cost Analysis.
8th Spanish Conference on Programming and Computer Languages
(PROLE'08),
Electronic Notes in Theoretical Computer Science,
Vol. 17615,
Elsevier,
2008.
- Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda.
Openproof - A Flexible Framework for Heterogeneous Reasoning.
Diagrammatic Representation and Inference,
Lecture Notes in Artificial Intelligence,
Vol. 5223,
pages 347--349,
Springer,
2008.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
10th IFIP International Conference on
Formal Methods for Open Object-based Distributed
Systems (FMOODS'08),
Lecture Notes in Computer Science,
Vol. 5051,
pages 2--18,
Springer,
2008.
CORE: C. Average position: top 100%.
- O. Hermant, J. Lipton.
A constructive semantic approach to cut elimination in type
theories with axioms.
Computer Science Logic,
Lecture Notes in Computer Science,
Vol. 5213,
pages 169--183,
Springer,
2008.
- M. J. Gabbay, M. Gabbay.
a-logic with arrows (journal version).
Electronic Notes in Theoretical Computer Science,
Vol. 216,
pages 3--29,
2008.
- M. J. Gabbay, M. Gabbay.
Substitution for Fraenkel-Mostowski foundations.
Proceedings of the 2008 AISB Symposium on Computing and
Philosophy,
pages 65--72,
2008.
- C. Benac Earle, L-Å. Fredlund, J. Iglesias, A. Ledezma.
Verifying Robocup Teams.
In Proceedings of the 2008 workshop on Model Checking and
Artificial Intelligence (MochART),
2008.
- O. Hermant.
Skolemization in various intuitionistic logics.
Archive for Mathematical Logic,
To Appear, Springer,
2008.
- M. Rodríguez-Artalejo, C.A.Romero-Díaz.
Qualified Logic Programming with Bivalued Predicates.
Proceedings of PROLE'08,
2008.
- Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal
and Ismael Rodríguez, Fernando Rubio.
Testing the Behaviour of Entities in a Cognitive Language.
International Journal of Cognitive Informatics and Natural Intelligence,
Vol. 2,
Num. 1,
pages 29--43,
2008.
- Manuel Clavel, Viviane Silva, Christiano Braga, Marina Egea.
Model-Driven Security in Practice: An Industrial Experience.
ECMDA-FA '08: Proceedings of Model Driven Architecture - Industrial
Track,
Lecture Notes in Computer Science,
Vol. 5095,
pages 327--338,
Springer-Verlag,
2008.
- Andrew Costa, Carlos Lucena, Viviane Silva, Sergio Azevedo
and Favio Soares.
Computing Reputation in the Art Context: Agent Design to Handle Negotiation
Challenges.
Trust in Agent Societies,
2008.
- Cristóbal Pareja Flores, Jaime Urquiza Fuentes y J. Ángel
Velázquez Iturbide.
Web-Based Algorithm and Program Visualization for Education.
Web-based Education: Learning from Experience,
pages 4093--4098,
Idea Group Publishing,
2008.
- Fernanda Duran, Viviane Silva, Carlos Lucena.
Using Testimonies to Enforce the Behavior of Agents.
Coordination, Organizations, Institutions, and Norms in Agent Systems
III,
Lecture Notes in Artificial Inteligence,
Vol. 4870,
pages 218--231,
Springer,
2008.
- Fernando Rosa-Velardo,, David de Frutos-Escrig.
Name creation vs. replication in Petri net systems.
Fundamenta Informaticae,
Vol. 88,
Num. 3,
pages 329--356,
2008.
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
Universal Coinductive Characterisations of Process Semantics.
IFIP TCS,
pages 397--412,
Springer,
2008.
- de Frutos-Escrig, David, Miguel Palomino, Ignacio Fábregas.
Multiset Bisimulation as a Common Framework for Ordinary and Probabilistic
Bisimulations.
Formal Techniques for Networked and Distributed Systems --- FORTE
2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June
10-13, 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 5048,
pages 283--298,
Springer,
2008.
- de Frutos-Escrig, David, Carlos Gregorio- Rodr&\acute;iguez, Miguel
Palomino.
Coinductive characterisations reveal nice relations between preorders
and equivalences.
The First International Conference on Foundations of Informatics,
Computing and Software, FICS 2008,
Electronic Notes in Theoretical Computer Science,
Vol. 212,
pages 149--162,
Elsevier,
2008.
- Jose Guedes, Viviane Silva, Carlos Lucena.
A Reputation Model Based on testimonies.
Agent Oriented Information Systems IV: Proc. of the 8th International
Bi-Conference Workshop,
Lecture Notes in Artificial Inteligence,
Vol. 4898,
pages 37--52,
Springer-Verlag,
2008.
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén.
Calculational Reasoning for Parallel Functional Programming..
9th Intl. Symposium on Trends in Functional Programming (TFP 2008),
pages 377--395,
Radboud University Nijmegen, The Netherlands,
2008.
- J. Ángel Velázquez-Iturbide, Cristóbal Pareja-Flores
and Jaime Urquiza-Fuentes.
An Instructors' Guide to Design Web-Based Algorithm Animations.
6th International Conference on Web Based Learning - ICWL 2007,
Lecture Notes in Computer Science,
Vol. 4823,
Springer-Verlag,
2008.
- Salvador Lucas, Ricardo Pe na.
Rewriting Techniques for Analysing Termination and Complexity Bounds
of Safe Programs.
Pre-Proceedings of LOPSTR 2008: The 18th International Symposium
on Logic-Based Program Synthesis and Transformation,
pages 43--57,
2008.
- Hermenegilda Maci`a, Valentín Valero Ruiz, Fernando
Cuartero, David de Frutos-Escrig.
A congruence relation for sPBC.
Formal Methods in System Design,
Vol. 32,
Num. 2,
pages 85--128,
Springer,
2008.
- Narciso Mart&\acute;i-Oliet, José Meseguer, Miguel Palomino.
Algebraic Stuttering Simulations.
Proceedings of the Seventh Spanish Conference on Programming and
Computer Languages (PROLE 2007),
Electronic Notes in Theoretical Computer Science,
Vol. 206,
pages 91--110,
Elsevier,
2008.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
An Inference Algorithm for Guaranteeing Safe Destruction.
Pre-Proceedings of LOPSTR 2008: The 18th International Symposium
on Logic-Based Program Synthesis and Transformation,
pages 13--27,
2008.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
A Type System for Safe Memory Management and its Proof of Correctness.
10th International ACM SIGPLAN Symposium on Principles and Practice
of Declarative Programming,
pages 152--162,
ACM Press,
2008.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language.
VIII Jornadas sobre Programación y Lenguajes, PROLE'08,
pages 141--150,
2008.
- M. Montenegro, R. Peña, C. Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language.
9th Symposium on Trends in Functional Programming, TFP'08,
pages 194--208,
2008.
- Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel
Velázquez-Iturbide.
An Approach to Effortless Construction of Program Animations.
Computers and Education,
Vol. 50,
Num. 1,
pages 329--356,
Elsevier,
2008.
- Ricardo Peña, Delfín Rupérez.
A Certified Implementation of a Functional Virtual Machine on top
of the Java Virtual Machine.
VIII Jornadas sobre Programación y Lenguajes (PROLE'08),
pages 131--140,
2008.
- Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal
Pareja-Flores.
A gentle introduction to mutual recursion.
Annual Joint Conference on Integrating Technology into Computer Science
Education, ITiCSE'08,
pages 235--239,
ACM Press,
2008.
- Clara Segura, Isabel Pita, Rafael del Vado, Ana Isabel
Saiz, Pablo Soler.
Interactive Learning of Data Structures and Algorithmic Schemes.
Computational Science - ICCS 2008, 8th International Conference,
Lecture Notes in Computer Science,
Vol. 5101(1),
pages 800--809,
Springer-Verlag,
2008.
- Viviane Silva, Ricardo Choren, Carlos Lucena.
MAS-ML: A Multi-Agent System Modelling Language.
International Journal of Agent-Oriented Software Engineering,
To Appear, 2008.
- G. Puebla.
Scenarios for Proof Carrying Code.
Formal Methods for Components and Objects, FMCO'2007,
November
2007.
- Ruben Vazquez, Nik Swoboda.
Combining the Semantic Web with the Web as Background
Knowledge for Ontology Mapping.
OTM Conferences (1),
Lecture Notes in Computer Science,
Vol. 4803,
pages 814--831,
Springer,
November
2007.
- D. Zanardini.
Analyzing Non-Interference with respect to Classes.
Proceedings of the Italian Conference on Theoretical
Computer Science (ICTCS),
World Scientific,
October
2007.
CORE: C. Citeseer: 1119/1221 (91%), impact 0.05. Average position: top 95%.
- F. Sáenz-Pérez.
ACIDE: An Integrated Development Environment Configurable for LaTeX.
The PracTeX Journal,
Vol. 2007,
Num. 3,
August
2007.
- F. Sáenz-Pérez.
Bib Manager and Word Citer: Bibliography Management and Citation Extraction.
The PracTeX Journal,
Vol. 2007,
Num. 3,
August
2007.
- Viviane Silva, Fernanda Duran, Jose Guedes, Carlos Lucena.
Governing Multi-Agent Systems.
Journal of Brazilian Computer Society -- Special Issue on Software
Engineering for Multi-Agent Systems,
Vol. 2(13),
pages 19--34,
August
2007.
CORE: C. Average position: top 100%.
- S. Muñoz, W. S. Wiguna.
Fuzzy Cognitive Layer in RoboCupSoccer.
12th International Fuzzy Systems Association World Congress
(IFSA 2007). Foundations of Fuzzy Logic and Soft Computing,
LNAI,
Num. 4529,
pages 635--645,
Springer,
June
2007.
- Nik Swoboda, Patrick G.T. Healey, Gonzalo Berrocal
Noguerales.
A prototype body orientation based drawing system.
First International Workshop on Pen-Based Learning
Technologies (PLT 2007),
pages 16--19,
IEEE Computer Society,
May
2007.
- S. Muñoz, W. S. Wiguna.
Fuzzy Prolog as Cognitive Layer in RoboCupSoccer.
IEEE Symposium on Computational Intelligence and Games (2007
IEEE Symposia Series in Computational Intelligence),
IEEE,
pages 340--345,
April
2007.
- T. Taibi, A. Herranz.
Automatic Proof of Refinement among Design Patterns using
the TLC.
Proceedings of the 6th WSEAS International Conference on
Applied Computer Science (ACOS'07),
pages 542--547,
April
2007.
- T. Taibi, A. Herranz.
Automatic Proof of Refinement among Design Patterns using
the TLC.
Proceedings of the 6th WSEAS International Conference on
Applied Computer Science (ACOS 2006),
pages 542--547,
April
2007.
- G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard.
MOBIUS: Mobility, Ubiquity, Security: Objectives and
progress report.
Trustworthy Global Computing'06,
LNCS,
Num. 4661,
pages 10--29,
March
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: Design and Implementation of a Cost and
Termination Analyzer for Java Bytecode.
6th International Symposioum on Formal Methods for Components and Objects (FMCO'08),
Lecture Notes in Computer Science,
Num. 5382,
pages 113--133,
Springer,
2007.
- G. Marpons, J. Mariño, A. Herranz, L-Å.
Fredlund, M. Carro, J. J. Moreno Navarro.
Automatic Coding Rule Conformance Checking Using Logic
Programs.
CoRR,
Vol. abs/0711.0344,
2007.
- M. J. Gabbay.
Fresh Logic: proof-theory and semantics for FM and nominal
techniques.
Journal of Applied Logic,
Vol. 5,
Num. 2,
pages 356--387,
2007.
- M. J. Gabbay.
Hierarchical Nominal Terms and their Theory of Rewriting.
Electronic Notes in Theoretical Computer Science,
Vol. 174,
Num. 5,
pages 37--52,
2007.
- M. J. Gabbay, A. Mathijssen.
A Formal Calculus for Informal Equality with Binding.
Proceedings of WOLLIC'07,
Lecture Notes in Computer Science,
Vol. 4576,
pages 162--176,
2007.
- P. Nogueira.
When is an Abstract Data Type a Functor?.
Trends in Functional Programming,
pages 217--231,
Intellect,
2007.
Winner of Best Student Paper Award.
- E. J. Gallego Arias, J. Mariño, J. M. Rey
Poza.
A Proposal for Disequality Constraints in Curry.
Electr. Notes Theor. Comput. Sci.,
Vol. 177,
pages 269--285,
2007.
- R. Caballero, Y. García-Ruiz.
Implementing Dynamic Cut in Toy.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 153--168,
Elsevier Science,
2007.
- R. Caballero, C. Hermanns, H. Kuchen.
Algorithmic Debugging of Java Programs.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 75--89,
Elsevier Science,
2007.
- J.M. Cleva, F.J. López-Fraguas.
Semantic determinism and functional logic program properties.
Electronic Notes in Theoretical Computer Science,
To Appear, ,
2007.
- J. Dios-Castro, F.J. López-Fraguas.
Extra Variables can be Eliminated from Functional Logic Programs.
Electronic Notes in Theoretical Computer Science,
To Appear, ,
2007.
- S. Estévez-Martín, A. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 235--252,
Elsevier Science,
2007.
- S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda.
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 188,
pages 37--51,
Elsevier Science,
2007.
- S. Estévez-Martín, A.J. Fernández, M.T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 235--252,
2007.
- R. González-del Campo, F. Sáenz-Pérez.
Programmed Search in a Timetabling Problem over Finite Domains.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 253--267,
Elsevier Science,
2007.
- R. González-del Campo, F. Sáenz-Pérez.
Programmed Search in a Timetabling Problem over Finite Domains.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 253--267,
2007.
- J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Lazy Functional Prolog: a Practical Approach.
Proc. PROLE'07,
pages 121--135,
2007.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Bundles: a data structure for lazy non-determinism.
Proc. PROLE'07,
pages 195--204,
Thompson,
2007.
- Anarosa Brandão, Viviane Silva, Carlos Lucena.
Observed-MAS: An Ontology-based Method for Analyzing Multi-Agent
Systems Design Models.
Agent-Oriented Software Engineering,
Lecture Notes in Computer Science,
Vol. 4405,
pages 122--139,
Springer,
2007.
- Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador
Lucas, José Meseguer, Peter Ölveczky.
The Maude Formal Tool Environment.
Algebra and Coalgebra in Computer Science--Second International Conference--CALCO
2007,
Lecture Notes for Computer Science,
Vol. 4624,
pages 173--178,
Springer,
2007.
- María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso.
Binary Search Trees, Recurrent Properties and Wave Equations.
Fundamenta Informaticae,
Vol. 81(4),
pages 409--439,
2007.
- Ignacio Fábregas, Miguel Palomino, de Frutos-Escrig, David.
Reflection and preservation of properties in coalgebraic (bi)simulations.
Theoretical Aspects of Computing --- ICTAC 2007. 4th International
Colloquium, Macao, China, September 2007, Proceedings,
Lecture Notes in Computer Science,
Vol. 4711,
pages 231--245,
Springer,
2007.
- Ricardo Peña, Clara Segura, Manuel Montenegro.
A Sharing Analysis for SAFE.
Trends in Functional Programming (Volume 7) Selected Papers of the
Seventh Symposium on Trends in Functional Programming, TFP'06,
pages 205--221,
Intellect,
2007.
- Ricardo Peña, Clara Segura, Manuel Montenegro.
An Inference Algorithm for Guaranteeing Safe Destruction.
Proceedings of the Eighth Symposium on Trends in Functional Programming,
TFP'07,
2007.
- Adrián Riesco, Alberto Verdejo.
Distributed applications implemented in Maude with parameterized
skeletons.
Formal Methods for Open Object-Based Distributed Systems, FMOODS
2007,
Lecture Notes for Computer Science,
Vol. 4468,
pages 91--106,
SV,
2007.
- Fernando Rosa-Velardo.
Petri Nets for the Verification of Ubiquitous Systems with Transient
Secure Association.
Ubiquitous Intelligence and Computing, 4th International Conference,
UIC 2007,
Lecture Notes in Computer Science,
Vol. 4611,
pages 1148--1158,
Springer,
2007.
- Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso.
On the expressiveness of Mobile Synchronizing Petri Nets.
Proceedings of the 3rd International Workshop on Security Issues
in Concurrency, SECCO'05,
Electronic Notes in Theoretical Computer Science,
Vol. 180(1),
pages 77--94,
Elsevier,
2007.
- R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez.
Towards a Set Oriented Calculus for Logic Programming.
Proceedings of VI Jornadas of PROgramación y LEnguajes (Prole 2006),
CINME,
2006.
- J. Dios, F.J. López-Fraguas.
Elimination of Extra Variables from Functional Logic Programs.
VI Jornadas sobre Programación y Lenguajes (PROLE 2006),
pages 121--135,
CINME,
2006.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Relating Two Semantic Descriptions of Functional Logic Programs.
VI Jornadas sobre Programación y Lenguajes (PROLE 2006),
CINME,
2006.
- S. Nieva, F. Sáenz-Pérez, J. Sánchez.
Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas.
Sextas Jornadas de Programación y Lenguajes, PROLE,
pages 171--182,
2006.
- Manuel Clavel, Marina Egea.
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static
Class Diagrams.
Algebraic Methodology and Software Technology, 11th International
Conference, AMAST 2006, Proceedings,
Lecture Notes in Computer Science,
Vol. 4019,
pages 368--373,
Springer,
2006.
CORE: C. Average position: top 100%.
- Manuel Clavel, Adrián Riesco.
The Web ITP: a quick overview.
Proceedings of the Second International Congress on Tools for Teaching
Logic (SICTTL),
pages 15--20,
Universidad de Salamanca,
2006.
- Mercedes Hidalgo-Herrero, Fernando Rubio, Yolanda Ortega-Mallén.
An Integrated Framework for Comparing Alternative Semantics for Functional
Parallel Languages.
Proceedings of the 18th International Symposium on Implementation
and Application of Functional Languages [IFL'06],
pages 62--80,
Eötvös Loránd University, Faculty of Informatics, Department
of Programming Languages and Compilers (Technical Report No: 2006-S01),
2006.
- Ricardo Peña, Clara Segura.
Formally Deriving a Compiler for SAFE.
Proceedings of the 18th International Symposium on Implementation
and Application of Functional Languages, IFL'06. Technical Report
2006-S01.Eotvos Loránd University,
pages 429--446,
2006.
- Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso.
Replicated Ubiquitous Nets.
Computational Science and Its Applications - ICCSA 2006,
Lecture Notes in Computer Science,
Vol. 3983,
pages 158--168,
Springer,
2006.
Publications in Refereed Workshops:
- M. Montenegro, R. Peña, C. Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language.
Proceedings of the 18th International Workshop on Functional and
(Constraint) Logic Programming, WFLP 2009,
Lecture Notes in Computer Science,
Springer,
2010.
- Adrián Riesco, J. Rodríguez-Hortalá.
Programming with Singular and Plural Non-deterministic Functions.
PEPM '10: Proceedings of the 2010 ACM SIGPLAN workshop on Partial
evaluation and program manipulation,
pages 83--92,
ACM,
2010.
- Fernando Rosa-Velardo.
Multiset rewriting: a Semantic Framework for Concurrency with Name
Binding.
8th International Workshop on Rewriting Logic and its Applications,
WRLA 2010,
Lecture Notes in Computer Science,
Vol. to appear,
2010.
- D. Ivanović, M. Carro, M. Hermenegildo.
An Initial Proposal for Data-Aware Resource
Analysis of Orchestrations with Applications to
Proactive Monitoring.
Pre-proceedings of the 2nd Workshop on Monitoring,
Adaptation and Beyond (MONA+),
November
2009.
- J. de Dios, R. Peña.
A Certified Implementation on top of the Java Virtual Machine.
14th Int. Workshop on Formal Method in Industrial Critical Systems,
FMICS'09, Eindhoven (The Netherlands),
Lecture Notes in Computer Science,
Vol. 5825,
pages 181--196,
Springer,
November
2009.
- L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
September
2009.
- J. de Dios, R. Peña, M. Montenegro.
Certified Absence of Dangling Pointers in a Language with Explicit
Deallocation.
Proceedings of IX Jornadas sobre Programación y Lenguajes, PROLE'09,
San Sebastián (Spain),
pages 65--74,
September
2009.
- J. Navas, M. Méndez-Lojo, M. Hermenegildo.
User-Definable Resource Usage Bounds
Analysis for Java Bytecode.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation (BYTECODE'09),
Electronic Notes in Theoretical Computer Science,
17 pages,
Elsevier - North Holland,
March
2009.
- E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla.
Comparing Cost Functions in Resource Analysis.
1st International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09),
2009.
- Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco
and Alberto Verdejo.
A declarative debugger for Maude functional modules.
Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, WRLA 2008,
Electronic Notes in Theoretical Computer Science,
Vol. 238(3),
pages 63--81,
Elsevier,
2009.
- Roberto Centeno, Viviane Silva, Ramón Hermoso.
A Reputation Model for Organisational Supply Chain Formation.
Workshop on Coordination, Organizations, Institutions, and Norms
in Agent Systems III,
2009.
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén.
To be or not to be lazy (In a Parallel Context) .
Selected papers of IX Jornadas sobre Programación y Lenguajes, PROLE'09,
Electronic Notes in Theoretical Computer Science,
Vol. 258,
pages 21--39,
Elsevier,
2009.
- Narciso Martí-Oliet, José Meseguer, Alberto Verdejo.
A Rewriting Semantics for Maude Strategies.
Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, WRLA 2008,
Electronic Notes in Theoretical Computer Science,
Vol. 238(3),
Num. 3,
pages 227--247,
Elsevier,
2009.
- M. Montenegro, R. Peña, C. Segura.
A Space Consumption Analysis by Abstract Interpretation.
Proceedings of the First International Workshop on Foundational and
Practical Aspects of Resource Analysis, FOPARA 2009,
pages 2--17,
Technical Report CIS-R09008, Radboud University Nijmegen,
2009.
- M. Montenegro, R. Peña, C. Segura.
Experiences in developing a compiler for Safe using Haskell.
Actas del I Taller de Programación Funcional, TPF 2009,
pages 31--38,
2009.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
A Resource-Aware Semantics and Abstract Machine for a Functional
Language with Explicit Deallocation.
17th International Workshop on Functional and (Constraint) Logic
Programming, WFLP 2008,
Electronic Notes in Theoretical Computer Science,
Vol. 246,
pages 167--182,
Elsevier,
2009.
- M. Montenegro, R. Peña, C. Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language.
Pre-Proceedings of the 18th International Workshop on Functional
and (Constraint) Logic Programming, WFLP 2009,
pages 63--77,
2009.
- Adrián Riesco, J. Rodríguez-Hortalá.
A natural implementation of Plural Semantics in Maude.
Proceedings Ninth International Workshop on Language Descriptions
Tools and Applications LDTA 2009,
Electronic Notes in Theoretical Computer Science,
Elsevier,
2009.
- Adrián Riesco, Alberto Verdejo.
Implementing and analyzing in Maude the Enhanced Interior Gateway
Routing Protocol.
Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, WRLA 2008,
Electronic Notes in Theoretical Computer Science,
Vol. 238(3),
pages 249--266,
Elsevier,
2009.
- Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso
Martí-Oliet.
Declarative Debugging of Rewriting Logic Specifications.
Recent Trends in Algebraic Development Techniques (WADT 2008),
Lecture Notes in Computer Science,
Vol. 5486,
pages 308--325,
Springer,
2009.
- L. sSánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén.
An Operational Semantics for Distributed Lazy Evaluation.
XVII Jornadas de Concurrencia y Sistemas Distribuidos, JCSD'09,
pages 195--213,
Universidad Politécnica de Valencia,
2009.
- L. Sánchez-Gil, M. Hidalgo-Herrero, Y. Ortega-Mallén.
Properties of an Operational Semantics for Distributed Lazy Evaluation.
IX Jornadas sobre Programación y Lenguajes, PROLE'09,
pages 329--338,
Gr áficas Michelena,
2009.
- P. Chico de Guzmán, M. Carro, M. Hermenegildo.
A Program Transformation for Continuation
Call-Based Tabled Execution.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (ICLP associated workshop),
15 pages,
University of Udine,
December
2008.
- Guillem Marpons, Julio Mariño, Manuel Carro, Ángel
Herranz, Lars-Åke Fredlund, Juan José
Moreno-Navarro, Álvaro Polo.
A Coding Rule Conformance Checker Integrated into GCC.
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008,
pages 245--249,
October
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
Upper Bounds of Resource Usage for Java Bytecode using
COSTA and its Web Interface.
Workshop on Resource Analysis,
September
2008.
- P. Nogueira.
Bialgebra Views: A Way for Polytypic Programming to
Cohabit with Data Abstraction.
Proceedings of the ACM SIGPLAN Workshop on Generic
Programming (ICFP-WGP'08),
pages 61--73,
ACM Press,
September
2008.
- M. Méndez-Lojo, O. Lhoták, M. Hermenegildo.
Efficient Set Sharing using ZBDDs.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Springer-Verlag,
August
2008.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
Identification of Heap-Carried Data Dependence
Via Explicit Store Heap Models.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Springer-Verlag,
August
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Dealing with Numeric Fields in Termination Analysis of Java-like Languages.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- S. Genaim, F. Spoto.
Constancy Analysis.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo.
Two Efficient Representations for Set-Sharing
Analysis in Logic Programs .
17th International Workshop on Functional and (Constraint) Logic
Programming, WFLP'08,
15 pages,
July
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
The COSTA Cost and Termination Analyzer for Java
Bytecode and its Web Interface (Tool Demo).
22nd European Conference on Object-Oriented Programming
(ECOOP'08),
July
2008.
- Rémy Haemmerlé, Hariolf Betz.
Verification of Constraint Handling Rules using Liner Logic
Phase Semantics.
Proceeding of CHR 2008,
Report Series 08-10,
RICS-Linz,
July
2008.
- J. Navas, M. Méndez-Lojo, M. Hermenegildo.
Safe Upper-bounds Inference of Energy Consumption for
Java Bytecode Applications.
The Sixth NASA Langley Formal Methods Workshop (LFM 08),
April
2008.
Extended Abstract.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: A Cost and Termination Analyzer for Java
Bytecode.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation
(BYTECODE'08),
Electronic Notes in Theoretical Computer Science,
Elsevier,
April
2008.
To appear.
- C. Ochoa, G. Puebla.
Oracle-Based Poly-Controlled Partial Evaluation.
ETAPS Workshop on Quantitative Aspects of Programming
Languages (QAPL'08),
Vol. 220,
Num. 3,
pages 145--161,
Elsevier,
March
2008.
- R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez.
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
International Workshop on Semantics in Data and Knowledge Bases (SDKB 2008),
LNCS,
Springer,
March
2008.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
A Practical Type Analysis for Verification of Modular Prolog Programs.
ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08),
pages 61--70,
ACM Press,
January
2008.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
A Practical Type Analysis for Verification of Modular Prolog Programs.
ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08),
pages 61--70,
ACM Press,
January
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
On the Generation of Test Data for Prolog by Partial Evaluation.
Workshop on Logic-based methods in Programming Environments (WLPE'08),
pages 26--43,
2008.
Report number: WLPE/2008/06.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Towards Modular Interpretive Decompilation of Low-Level Code to Prolog.
8th Spanish Conference on Programming and Computer Languages (PROLE'08),
2008.
- M. J. Gabbay, D. P. Mulligan.
One-and-a-halfth Order Terms: Curry-Howard for Incomplete
Derivations.
Proceedings of Workshop on Logic, Language and Information
in Computation (WoLLIC 2008),
Lecture Notes in Artificial Intelligence,
Vol. 5110,
pages 179--193,
2008.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
A Resource-Aware Semantics and Abstract Machine for a Functional
Language with Explicit Deallocation.
Pre-Proceedings of the 17th International Workshop on Functional
and (Constraint) Logic Programming, WFLP 2008,
pages 47--61,
2008.
- Viviane Silva, Ricardo Choren, Carlos Lucena.
Using MAS-ML Dynamic Diagrams to Model MAS Behavioral Properties.
Agent Oriented Information Systems IV: Proc. of the 8th International
Bi-Conference Workshop,
Lecture Notes in Artificial Inteligence,
Vol. 4898,
pages 1--18,
Springer,
2008.
- A. García Pérez, N. Medinilla Martínez.
The Ambiguity Criterion in Software Design.
International Workshop on Living with Uncertainties
(IWLU'07),
November
2007.
- H. Svensson, L-Å. Fredlund.
Programming distributed Erlang applications: pitfalls and
recipes.
Proceedings of the 2007 ACM SIGPLAN Erlang Workshop,
October
2007.
- Guillem Marpons-Ucero, Julio Mariño, Ángel
Herranz, Lars-Åke Fredlund, Manuel Carro, Juan
José Moreno-Navarro.
Automatic Coding Rule Conformance Checking Using Logic Programs.
17th Workshop on Logic-based methods in Programming
Environments, WLPE 2007,
September
2007.
- P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha.
Some Improvements over the Continuation Call
Tabling Implementation Technique.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (ICLP associated workshop),
15 pages,
Universidade do Porto,
September
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
A Generic Framework for the Cost Analysis of Java
Bytecode.
Spanish Conference on
Programming and Computer Languages (PROLE'07),
September
2007.
- A. Casas, M. Carro, M. Hermenegildo.
Towards High-Level Execution Primitives for
And-Parallelism: Preliminary Results.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (CICLOPS'07, ICLP associated
workshop),
15 pages,
U. of Evora,
September
2007.
- Dave Barker-Plummer, Nik Swoboda.
A Sequent Based Logic for Coincidence Grid.
CEUR Workshop Proceedings,
Vol. 274,
pages 1--12,
September
2007.
Available online
http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-274/.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Typed-based Homeomorphic Embedding for Online
Termination.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
August
2007.
Extended Abstract.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Applications of Static Slicing in Cost Analysis of
Java
Bytecode.
3rd International Workshop on
Programming Language Interference and Dependence (PLID'07),
August
2007.
- J. Navas, M. Méndez-Lojo, M. Hermenegildo.
An Efficient, Context and Path Sensitive Analysis Framework
for Java Programs.
9th Workshop on Formal Techniques for Java-like Programs
FTfJP 2007,
12 pages,
July
2007.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Improving the Decompilation of Java Bytecode to
Prolog
by Partial Evaluation.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
pages 85--101,
Elsevier - North Holland,
July
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Experiments in Cost Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
pages 67--83,
Elsevier - North Holland,
July
2007.
- M. Hermenegildo, The Ciao Development Team.
An Overview of The Ciao Multiparadigm Language
and Program Development Environment and its
Design Philosophy.
ECOOP Workshop on Multiparadigm Programming with
Object-Oriented Languages MPOOL 2007,
July
2007.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
9th International Workshop on Termination, WST'07,
June
2007.
- C. Ochoa, G. Puebla.
A Study on the Practicality of Poly-Controlled
Partial Evaluation.
Proceedings of the 15th Workshop on Functional and
(Constraint) Logic Programming (WFLP'06),
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 137--151,
Elsevier,
June
2007.
- E. J. Gallego Arias, J. Mariño, J. M. Rey
Poza.
A Generic Semantics for Constraint Functional Logic
Programming.
Proc. of the 16th Int'l Workshop on Functional and
(Constraint) Logic Programming (WFLP 2007),
June
2007.
- R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez.
A New Proposal for Debugging Datalog Programs.
16th International Workshop on Functional and (Constraint) Logic Programming (WFLP'07),
ENCS,
Vol. 216,
pages 79--92,
June
2007.
- Nik Swoboda, Patrick G.T. Healey, Gonzalo Berrocal
Noguerales.
A prototype body orientation based drawing system.
First International Workshop on Pen-Based Learning
Technologies (PLT 2007),
pages 16--19,
IEEE Computer Society,
May
2007.
- Viviane Silva.
Implementing Norms that Govern Non-Dialogical Actions.
Workshop on Coordination, Organization, Institutions and Norms in
agent systems at the International Conference on Autonomous Agents
and Multi-Agent Systems,
May
2007.
- M. Méndez-Lojo, J. Navas, M. Hermenegildo.
An Efficient, Parametric Fixpoint Algorithm for
Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE 2007),
Electronic Notes in Theoretical Computer Science,
Elsevier - North Holland,
March
2007.
- F.J. López-Fraguas, J. Rodríguez-Hortalá, J. Sánchez-Hernández.
Narrowing for non-determinism with call-time choice semantics.
Proc. Workshop on Logic Programming (WLP'07), Tech. Rep. 434 Univ. Wurzburg,
pages 224--233,
2007.
- Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg.
A Formal Semantics for a Qualitity of Service Contract Language.
Proceedings of Formal Foundations of Embedded Software and Component-Based
Software Architectures FESCA'07, Satellite workshop of ETAPS'07,
Electronic Notes in Theoretical Computer Science,
Elsevier,
2007.
- Christiano Braga, Alberto Verdejo.
Modular Structural Operational Semantics with Strategies.
Proceedings of the 3rd Workshop on Structural Operational Semantics
(SOS 2006),
Electronic Notes in Theoretical Computer Science,
Vol. 175,
pages 3--17,
Elsevier,
2007.
- Fabricio Chalub, Christiano Braga.
Maude MSOS Tool.
Proceedings of 6th International Workshop on Rewriting Logic and
its Applications, WRLA 2006,
Num. 176,
pages 133--146,
Elsevier,
2007.
- Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo.
Deduction, Strategies, and Rewriting.
6th International Workshop on Strategies in Automated Deduction,
STRATEGIES'06, Part of FLOC 2006,
Electronic Notes in Theoretical Computer Science,
Elsevier,
2007.
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando
Rubio.
Comparing Alternative Evaluation Strategies for Stream-Based Functional
Languages.
Proceedings of the 20th International Workshop on Implementation
of Functional Languages, (IFL'06 selected papers),
Lecture Notes in Computer Science,
Vol. 4449,
pages 55--72,
Springer,
2007.
- Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén.
Using Maude and its strategies for defining a framework for analyzing
Eden semantics.
The Sixth International Workshop on Reduction Strategies in Rewriting
and Programming, WRS'06,
Electronic Notes in Theoretical Computer Science,
Vol. 174(10),
pages 119--137,
Elsevier,
2007.
- Gustavo Santos-Garc&\acute;ia, Miguel Palomino.
Solving Sudoku Puzzles with Rewriting Rules.
Proceedings Fifth International Workshop on Rewriting Logic and its
Applications, WRLA'06, Vienna, Austria, April 1--2, 2006,
Electronic Notes in Theoretical Computer Science,
Vol. 176(4),
pages 79--93,
Elsevier,
2007.
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Generation of Reduced Certificates in
Abstraction-Carrying Code.
VI Jornadas Programación y Lenguajes (PROLE'06),
10 pages,
October
2006.
- E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo.
Towards Execution Time Estimation for Logic
Programs via Static Analysis and Profiling.
16th Workshop on Logic Programming Environments,
pages 45--60,
University of Namur, Institut d'Informatique,
August
2006.
- E. Albert, P. Arenas, G. Puebla.
Some Issues on Incremental Abstraction-Carrying
Code.
16th Workshop on Logic-Based Methods in Programming
Environments (WLPE'06) ,
15 pages,
August
2006.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Towards Verification of Java Bytecode using Tools
for Logic Programming.
International Workshop on Software Verification and
Validation (SVV 2006),
15 pages,
August
2006.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Towards Verification of Java Bytecode using Tools for Logic Programming.
International Workshop on Software Verification and Validation (SVV 2006),
15 pages,
August
2006.
- E. Albert, P. Arenas, G. Puebla.
Incremental Certificates and Checkers for
Abstraction-Carrying Code.
Sixth Workshop on Issues in the Theory of Security,
16 pages,
March
2006.
- Manuel Clavel, Marina Egea.
Using Reflection to Implement in Maude a Rewriting-BasedValidation
Tool for UML+OCL Static Class Diagrams.
Proceedings of the First International Workshop on AlgebraicFoundations
for OCL and Applications (WAFOCA),
Universidad Politécnica de Valencia,
2006.
- Francisco Durán, Adrián Riesco, Alberto Verdejo.
A distributed implementation of Mobile Maude.
Proceedings Sixth International Workshop on Rewriting Logic and its
Applications, WRLA 2006,
Electronic Notes in Theoretical Computer Science,
pages 35--55,
Elsevier,
2006.
- Fernando Rosa-Velardo.
Coding Mobile Synchronizing Nets into Rewriting Logic.
Proceedings of the 7th International Workshop on Rule-Based Programming,
RULE'06,
Electronic Notes in Theoretical Computer Science,
Vol. 174,
Num. 1,
pages 83--98,
2006.
- Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de
Frutos-Escrig.
Mobile Synchronizing Petri Nets: a choreographic approach for coordination
in Ubiquitous Systems.
Proceedings of the 1st International Workshop on Methods and Tools
for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05,
Electronic Notes in Theoretical Computer Science,
Vol. 150,
pages 103--126,
Elsevier,
2006.
- Clara Segura, Carmen Torrano.
Using Template Haskell for Abstract Interpretation.
15th Workshop on Functional and (Constraint) Logic Programming, WFLP'06,
pages 183--196,
2006.
- Viviane Silva, Beatriz de Maria, Carlos Lucena.
A MDE-Based Approach for Developing Multi-Agent Systems.
Third Workshop on Software Evolution through Transformations: Embracing
the Change,
Electronic Communications,
Vol. 3,
EASST: European Association of Software Science and Technology,
2006.
Technical Reports and Manuals:
- P. López-García, L. Darmawan, F. Bueno.
Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System.
Num. CLIP1/2010.0,
Technical University of Madrid (UPM),
February
2010.
Available at http://cliplab.org/papers/resource-verif-10-tr.pdf.
- D. Ivanović, M. Carro, M. Hermenegildo.
Sharing-Based Independence-Driven Fragment
Identification for Service Orchestrations.
Num. CLIP7/2009.0,
Technical University of Madrid (UPM),
December
2009.
- D. Ivanović, M. Carro, M. Hermenegildo, P. López, E. Mera.
Towards Data-Aware Cost-Driven Adaptation for
Service Orchestrations.
Num. CLIP5/2009.0,
Technical University of Madrid (UPM),
November
2009.
- J.F. Morales, M. Carro, M. Hermenegildo.
Description and Optimization of Abstract Machines
in a Dialect of Prolog.
Num. CLIP4/2009.0,
Technical University of Madrid (UPM),
October
2009.
- D. Ivanović, M. Carro, M. Hermenegildo.
Towards Data-Aware Resource Analysis for
Service Orchestrations.
Num. CLIP3/2009.0,
Technical University of Madrid (UPM),
June
2009.
- E. Mera, P. López-García, M. Hermenegildo.
Towards Integrating Run-Time Checking and
Software Testing in a Verification Framework.
Num. CLIP1/2009.0,
19 pages,
Technical University of Madrid (UPM),
March
2009.
- P. López-García, F. Bueno, M. Hermenegildo.
Inferring Determinacy and Mutual Exclusion in
Logic Programs Using Mode and Type
Analysis.
Num. CLIP2/2009.0,
Technical University of Madrid (UPM),
February
2009.
- Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso
Martí-Oliet.
A Declarative Debugger for Maude Specifications - User Guide.
Num. SIC-7-09,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2009.
(available online).
- Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet.
Declarative Debugging of Missing Answers in Rewriting Logic.
Num. SIC-6-09,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2009.
(available online).
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Num. CLIP7/2008.0,
Technical University of Madrid (UPM),
September
2008.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. Hermenegildo.
Efficient Representations for Set-Sharing Analysis.
Num. CLIP9/2008.0,
University of New Mexico and Technical University of
Madrid,
September
2008.
- P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo.
Bridge Program Transformation for the CCall
Tabling Scheme.
Num. CLIP6/2008.0,
Technical University of Madrid (UPM),
September
2008.
- A. Casas, M. Carro, M. Hermenegildo.
A High-Level Implementation of
Non-Deterministic, Unrestricted, Independent
And-Parallelism.
Num. TR-CS-2008-10,
University of New Mexico (UNM),
September
2008.
- J. Navas, E. Mera, P. López-García, M. Hermenegildo.
Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications.
Num. CLIP5/2008.0,
Technical University of Madrid (UPM),
July
2008.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
Num. CLIP4/2008.0,
Technical University of Madrid (UPM),
June
2008.
- M. Méndez-Lojo, O. Lhoták, M. Hermenegildo.
Fast Set Sharing using ZBDDs.
University of New Mexico,
June
2008.
- J. Navas, M. Méndez-Lojo, M. Hermenegildo.
Customizable Resource Usage Analysis for Java Bytecode.
Num. UNM TR-CS-2008-02 - CLIP1/2008.0,
University of New Mexico,
January
2008.
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick
Lincoln, Narciso Mart&\acute;i-Oliet, José Meseguer, Carolyn
Talcott.
Maude Manual (Version 2.4).
oct
2008.
- Manuel Montenegro, Ricardo Peña, Clara Segura.
A Type System for Safe Memory Management and its Proof of Correctness.
SIC-5-08. Universidad Complutense de Madrid,
2008.
- Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso
Martí-Oliet.
Declarative debugging of Maude modules.
Num. SIC-6/08,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2008.
- G. Román-Díez, G. Puebla.
Java Bytecode Timing Cost Models.
Num. CLIP12/2007.0,
Technical University of Madrid,
December
2007.
- A. Casas, M. Carro, M. Hermenegildo.
Automatic Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP11/2007.0,
Technical University of Madrid (UPM),
December
2007.
Under consideration for publication in Theory and
Practice of Logic Programming (TPLP).
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing for Java-style Programs (and proofs).
Num. CLIP2/2007.1,
Technical University of Madrid (UPM),
November
2007.
- J. Mariño, A. Herranz, L-Å. Fredlund, M.
Carro, V-P. Ceruelo, G. Marpons, J. J.
Moreno Navarro .
Study of existing coding rule formalisms and compendium of
common hazards. Use of Coding Rules in Software Industry.
Facultad de Informática, Universidad Politécnica de
Madrid,
November
2007.
- A. Casas, M. Carro, M. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
Num. TR-CS-2007-16,
University of New Mexico (UNM),
October
2007.
- A. Casas, M. Carro, M. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. TR-CS-2007-14,
University of New Mexico (UNM),
September
2007.
- E. Mera, P. López-García, M. Carro, M. Hermenegildo.
Towards Execution Time Estimation in
Abstract Machine-Based (Logic) Languages.
Num. CLIP8/2007.0,
Technical University of Madrid (UPM),
August
2007.
- Guillem Marpons, Julio Mariño, M. Carro, Ángel Herranz, Juan José Moreno-Navarro, Lars-Åke Fredlund.
Automatic Coding Rule Conformance Checking Using Logic Programming.
Num. CLIP6/2007.0,
Technical University of Madrid (UPM),
August
2007.
- P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo.
An Improved Continuation Call-Based Implementation of Tabling.
Num. CLIP9/2007.0,
Technical University of Madrid (UPM),
August
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-Restricted, Independent
And-Parallelism.
Num. CLIP7/2007.0,
Technical University of Madrid (UPM),
August
2007.
- A. Casas, M. Carro, M. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP5/2007.0,
Technical University of Madrid (UPM),
June
2007.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing and Nullity Analysis
for Java-style Programs.
Num. CLIP2/2007.0,
Technical University of Madrid (UPM),
February
2007.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Partial Evaluation Types for Improving the
Decompilation of Java Bytecode to Prolog.
Num. CLIP1/2007.0,
Technical University of Madrid (UPM),
February
2007.
- P. López-García, F. Bueno, M. Hermenegildo.
Inferring Determinacy in Logic Programs Using
Mode and Type Information.
Num. CLIP3/2007.0,
Technical University of Madrid (UPM),
February
2007.
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick
Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
Maude Manual (Version 2.3).
January
2007.
- Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco
and Alberto Verdejo.
Declarative debugging of Maude functional modules.
Num. 4/07,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2007.
- Adrián Riesco, Alberto Verdejo.
The EIGRP Protocol in Maude.
Num. 3/07,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2007.
- Adrián Riesco, Alberto Verdejo.
Parameterized skeletons in Maude.
Num. TR 1/07,
Dpto. Sistemas Informáticos y Computación, Universidad Complutense
de Madrid,
2007.
- M. Méndez-Lojo, J. Navas, M. Hermenegildo.
Efficient, Parametric Analysis of Java Bytecode.
Num. CLIP9/2006.0,
Technical University of Madrid (UPM),
December
2006.
- J. Morales, M. Carro, M. Hermenegildo.
Description and Optimization of Abstract Machines
in an Extension of Prolog.
Num. CLIP8/2006.0,
43 pages,
Technical University of Madrid (UPM),
December
2006.
- M. Hermenegildo, The Ciao Development Team.
Why Ciao? --An Overview of the Ciao System's
Design Philosophy.
Num. CLIP7/2006.0,
6 pages,
Technical University of Madrid (UPM),
December
2006.
Available from:
(available online).
- J. Navas, E. Mera, P. López-García, M. Hermenegildo.
Resource Bounds Analysis.
Num. CLIP6/2006.0,
19 pages,
Technical University of Madrid (UPM),
November
2006.
- S. Estévez-Martín, A. Fernández, F. Sáenz-Pérez.
Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation.
Num. LCC ITI 06-8,
Universidad de M?laga,
November
2006.
- P. Pietrzak, M. Hermenegildo.
Improved Automatic Error Diagnosis Based on
Abstract Interpretation.
Num. CLIP11/2006.0,
Technical University of Madrid,
September
2006.
- A. Kostenko, M. Carro.
A Preliminary DHT Infrastructure for Ciao.
Num. CLIP12/2006.0,
Technical University of Madrid (UPM),
August
2006.
- R. Caballero, J. Sanchez (eds.).
TOY: A Multiparadigm Declarative Language, Version 2.2.3.
UCM, Madrid,
July
2006.
- E. Mera, P. López-García, G. Puebla, M. Carro, M. Hermenegildo.
Towards Combining Static Analysis and Profiling
for Estimating Execution Times in Logic
Programs.
Num. CLIP5/2006.0,
15 pages,
Technical University of Madrid (UPM),
April
2006.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo.
Optimizing Prolog for Small Devices: A Case
Study.
Num. CLIP4/2006.0,
16 pages,
Technical University of Madrid,
April
2006.
Under consideration for publication.
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to Abstraction-Carrying
Code.
Num. CLIP3/2006,
16 pages,
Technical University of Madrid (UPM),
March
2006.
- R. Caballero, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
Algorithmic Debugging of Wrong Answers in Constraint Functional Logic Programming.
Num. 02/06,
Facultad de Informática, Universidad Complutense de Madrid,
2006.
- R. Caballero-Roldán, M. Rodríguez-Artalejo, R. del Vado-Vírseda.
Algorithmic Debugging of Wrong Answers in Constraint Functional-Logic Programming.
Num. 3/06,
Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid,
2006.
- R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez.
A Set Oriented Calculus for Logic Programming.
Num. 02/06,
Facultad de Informática, Universidad Complutense de Madrid,
2006.
|