Publicaciones Google Scholar de
1980 a
2024
| Título |
Fuente |
Fecha |
| Specifying Fairness Constraints and Model Checking with Non-intensional Strategies |
International Workshop on Rewriting Logic and its Applications, 145-162 , 2024 |
2024 |
| La lengua de las matemáticas y otros relatos exactos |
Los libros de la Catarata , 2024 |
2024 |
| Mejora del logro de resultados de aprendizaje en matemáticas de los estudiantes del Diploma Liceo a través del diseño de procesos de enseñanza-aprendizaje basados en el … |
|
2024 |
| Programming Open Distributed Systems in Maude |
Proceedings of the 26th International Symposium on Principles and Practice … , 2024 |
2024 |
| Validity of Contextual Formulas |
35th International Conference on Concurrency Theory (CONCUR 2024) , 2024 |
2024 |
| Validity of contextual formulas (extended version) |
arXiv preprint arXiv:2407.07759 , 2024 |
2024 |
| Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers |
Springer Nature , 2024 |
2024 |
| An efficient propositional system for Abductive Logic Programming |
Artificial Intelligence Review 57 (12), 1-30 , 2024 |
2024 |
| Conversion of the Spanish WordNet databases into a Prolog-readable format |
Language Resources and Evaluation, 1-27 , 2024 |
2024 |
| A full process algebraic representation of Ant Colony Optimization |
Information Sciences 658, 120025 , 2024 |
2024 |
| Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving |
Multimedia Tools and Applications 83 (12), 36865-36898 , 2024 |
2024 |
| Efficient Normalization of Linear Temporal Logic |
Journal of the ACM 71 (2), 1-42 , 2024 |
2024 |
| Compositional Verification in Rewriting Logic |
Theory and Practice of Logic Programming 24 (1), 57-109 , 2024 |
2024 |
| Preface to Selected Papers from 20th Workshop on Programming and Languages (PROLE 2021) |
Journal of Logical and Algebraic Methods in Programming, 100974 , 2024 |
2024 |
| Experiencing Hypothetical Datalog in SQL Puzzles |
|
2024 |
| Automatización del seguimiento docente en la Facultad de Informática |
|
2024 |
| Voting according to one’s political stances is difficult: Problems definition, computational hardness, and approximate solutions |
Journal of Computational Science 80, 102328 , 2024 |
2024 |
| QMaude: Quantitative Specification and Verification in Rewriting Logic |
|
2023 |
| The Maude strategy language |
Elsevier , 2023 |
2023 |
| Verification of the ROS NavFn planner using executable specification languages |
Journal of Logical and Algebraic Methods in Programming 132, 100860 , 2023 |
2023 |
| Inteligencia colectiva aplicada al aula: Realimentación docente a través de preguntas con dificultades específicas diseñadas por alumnos |
|
2023 |
| Del conteo al agrupamiento en la numeración: Un paso necesario para aprender la numeración |
Uno: Revista de didáctica de las matematicas 100, 11-20 , 2023 |
2023 |
| Bousi∼ Prolog: Design and implementation of a proximity-based fuzzy logic programming language |
Expert Systems with Applications 213, 118858 , 2023 |
2023 |
| Aplicación web progresiva para la realización de cuestionarios offline: difusión e integración con Moodle |
|
2023 |
| How to stop undesired propagations by using bi-level genetic algorithms |
Applied Soft Computing 136, 110094 , 2023 |
2023 |
| QMaude: quantitative specification and verification in rewriting logic |
International Symposium on Formal Methods, 240-259 , 2023 |
2023 |
| Majority Problems: Formal Study and Practical Resolution |
2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2023 |
2023 |
| Optimization techniques for model checking leads-to properties in a stratified way |
ACM Transactions on Software Engineering and Methodology 32 (6), 1-38 , 2023 |
2023 |
| Automated engineering of domain-specific metamorphic testing environments |
Information and Software Technology 157, 107164 , 2023 |
2023 |
| UnitJudge: A novel online automatic correction system for long programming practices by means of unit tests |
2023 10th International and the 16th National Conference on E-Learning and E … , 2023 |
2023 |
| Complexity of adaptive testing in scenarios defined extensionally |
Frontiers of Computer Science 17 (3), 173206 , 2023 |
2023 |
| Parallel mutation testing for large scale systems |
Cluster Computing, 1-27 , 2023 |
2023 |
| PhDay Educación 2023. IX Jornadas de Investigación. Libro de Actas |
Universidad Complutense de Madrid. Facultad de Educación-Centro de Formación … , 2023 |
2023 |
| Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way |
ACM , 2023 |
2023 |
| Compositional Verification in Rewriting Logic |
Cambridge University Press , 2023 |
2023 |
| Strategies in conditional narrowing modulo SMT plus axioms |
Analysis, Verification and Transformation for Declarative Programming and … , 2023 |
2023 |
| Hacia una mejora en la corrección automática parcial de actividades/prácticas de los estudiantes |
|
2023 |
| Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures |
Journal of Cloud Computing 12 (1), 133 , 2023 |
2023 |
| Desarrollo de actividades de estudio e investigación para la enseñanza-aprendizaje de Matemáticas para el Diploma de formación para jóvenes con discapacidad intelectual … |
|
2023 |
| The Maude strategy language |
Journal of Logical and Algebraic Methods in Programming 134, 100887 , 2023 |
2023 |
| Verification of mutable linear data structures and iterator-based algorithms in Dafny. |
Elsevier , 2023 |
2023 |
| Verification of mutable linear data structures and iterator-based algorithms in Dafny |
Journal of Logical and Algebraic Methods in Programming 134, 100875 , 2023 |
2023 |
| CloudExpert: An intelligent system for selecting cloud system simulators |
Expert Systems with Applications 187, 115955 , 2022 |
2022 |
| La transposición didáctica en la enseñanza de la Geometría en España durante la década de los 60 |
Educação Matemática Pesquisa: Revista do Programa de Estudos Pós-Graduados … , 2022 |
2022 |
| Integration of SMGA and Maude to Facilitate Characteristic Conjecture |
DMSVIVA 2022-Proceedings of the 28th International DMS Conference on … , 2022 |
2022 |
| Validating communication network configurations in cloud and HPC systems using Metamorphic Testing |
Proceedings of the 4th International Electronics Communication Conference, 55-62 , 2022 |
2022 |
| Chaos as a Software Product Line—A platform for improving open hybrid‐cloud systems resiliency |
Software: Practice and Experience 52 (7), 1581-1614 , 2022 |
2022 |
| Maude as a library: an efficient all-purpose programming interface |
|
2022 |
| Analysis of an SRP-TE on Logical Knowledge in the Initial Mathematical-Didactic Training of Teachers |
International Conference on the Anthropological Theory of the Didactic, 489-500 , 2022 |
2022 |
| A fuzzy declarative approach to classify unlabeled short texts based on automatically constructed WordNet ontologies |
Computational Intelligence and Mathematics for Tackling Complex Problems 3 … , 2022 |
2022 |
| A proposal for the mathematical-didactic training of teachers about logical knowledge |
PME , 2022 |
2022 |
| A simple rewrite system for the normalization of linear temporal logic |
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the … , 2022 |
2022 |
| LearnSQL: un juez para el aprendizaje de las bases de datos |
Jornada «Aprendizaje Eficaz con TIC en la UCM», 277-288 , 2022 |
2022 |
| Desarrollo de propuestas de enseñanza-aprendizaje de matemáticas para primer curso del Proyecto Liceo (Diploma de formación permanente para personas con discapacidad … |
|
2022 |
| Proposal of a Study Process for the Mathematical Training of Engineers |
International Conference on the Anthropological Theory of the Didactic, 443-459 , 2022 |
2022 |
| An integrated tool set for verifying CafeOBJ specifications |
Elsevier , 2022 |
2022 |
| Simulating and model checking membrane systems using strategies in Maude |
Journal of Logical and Algebraic Methods in Programming 124, 100727 , 2022 |
2022 |
| Metalevel transformation of strategies |
Elsevier , 2022 |
2022 |
| An overview of the Maude strategy language and its applications |
|
2022 |
| Investigating reversibility of steps in Petri nets |
Fundamenta Informaticae 183 (1-2), 67-96 , 2022 |
2022 |
| An integrated tool set for verifying CafeOBJ specifications |
Journal of Systems and Software 189, 111302 , 2022 |
2022 |
| A tool to certify dynamic benchmarks |
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2022 |
2022 |
| Analyzing the reliability of simulated distributed systems using Metamorphic Testing |
Proceedings of the 7th International Workshop on Metamorphic Testing, 34-41 , 2022 |
2022 |
| On the hardness of finding good pacts |
2022 IEEE Congress on Evolutionary Computation (CEC), 1-8 , 2022 |
2022 |
| Evaluating cloud interactions with costs and SLAs |
The Journal of Supercomputing, 1-27 , 2022 |
2022 |
| An overview of the Maude strategy language and its applications |
International Workshop on Rewriting Logic and its Applications, 65-84 , 2022 |
2022 |
| El desarrollo rítmico musical como herramienta para mejorar la conciencia fonológica de niños de 3 a 7 años |
|
2022 |
| Generalization and completeness of stochastic local search algorithms |
Swarm and Evolutionary Computation 68, 100982 , 2022 |
2022 |
| Theorem Proving for Maude Specifications Using Lean |
|
2022 |
| Hardware Trojan detection via rewriting logic |
Journal of Logical and Algebraic Methods in Programming 127, 100762 , 2022 |
2022 |
| Theorem proving for Maude specifications using Lean |
International Conference on Formal Engineering Methods, 263-280 , 2022 |
2022 |
| Improving database learning with an automatic judge |
|
2022 |
| Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings |
Springer Nature , 2022 |
2022 |
| Parallel Maude-NPA for cryptographic protocol analysis |
International Workshop on Rewriting Logic and its Applications, 253-273 , 2022 |
2022 |
| Equational unification and matching, and symbolic reachability analysis in maude 3.2 (system description) |
International Joint Conference on Automated Reasoning, 529-540 , 2022 |
2022 |
| Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities |
2022 IEEE Congress on Evolutionary Computation (CEC), 1-8 , 2022 |
2022 |
| Evaluación del impacto sobre el aprendizaje de bases de datos del juez automático LearnSQL |
|
2022 |
| Maude as a library: an efficient all-purpose programming interface |
International Workshop on Rewriting Logic and its Applications, 274-294 , 2022 |
2022 |
| Model checking strategy-controlled systems in rewriting logic |
Automated Software Engineering 29 (1), 7 , 2022 |
2022 |
| Metalevel transformation of strategies |
Journal of Logical and Algebraic Methods in Programming 124, 100728 , 2022 |
2022 |
| ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers |
2022 4th International Conference on Computer Communication and the Internet … , 2022 |
2022 |
| Los conocimientos lógicos en la formación matemático-didáctica de maestros |
Investigación en Educación Matemática XXIV, 385-392 , 2021 |
2021 |
| The semantics of the Maude strategy language |
Technical report 01/21, Departamento de Sistemas Informáticos y Computación … , 2021 |
2021 |
| Evaluating genetic algorithms through the approximability hierarchy |
Journal of Computational Science 53, 101388 , 2021 |
2021 |
| Analyzing the Cloud Performance Using Different User Subscription Times |
International Journal of Software Engineering and Knowledge Engineering 31 … , 2021 |
2021 |
| Profiling SLAs for cloud system infrastructures and user interactions |
PeerJ Computer Science 7, e513 , 2021 |
2021 |
| PhDay Educación 2021. VII Jornadas de Investigación. Libro de Actas |
Facultad de Educación-Centro de Formación del Profesorado-Universidad … , 2021 |
2021 |
| Strategies, model checking and branching-time properties in Maude |
Elsevier , 2021 |
2021 |
| Caracterización geofísica de técnicas de explotación de nódulos de sílex en el yacimiento de la Leandra (La Muela, Zaragoza) |
Geotemas (Madrid), 813 , 2021 |
2021 |
| Distributed population protocols: naturally! |
|
2021 |
| On the hardness of lying under egalitarian social welfare |
Mathematics 9 (14), 1599 , 2021 |
2021 |
| Guidelines for Evaluation of Inquiry-Based Mathematics at University Level: The PLATINUM Project |
|
2021 |
| The semantics of the Maude strategy language |
|
2021 |
| Desarrollar una propuesta de enseñanza aprendizaje de Matemáticas y su Didáctica para la formación de Docentes considerando la diversidad funcional asociada a la discapacidad … |
|
2021 |
| B Maude: A formal executable environment for Abstract Machine Notation Descriptions |
arXiv preprint arXiv:2108.07878 , 2021 |
2021 |
| On the Hardness of Lying under Egalitarian Social Welfare. Mathematics 2021, 9, 1599 |
s Note: MDPI stays neutral with regard to jurisdictional claims in published … , 2021 |
2021 |
| Planning for an efficient implementation of hypothetical Bousi∼ Prolog |
Theory and Practice of Logic Programming 21 (5), 680-697 , 2021 |
2021 |
| Simulating and model checking membrane systems using strategies in Maude |
Elsevier , 2021 |
2021 |
| Strategy language for Maude |
URL: http://maude. ucm. es/strategies , 2021 |
2021 |
| A parallel stratified model checking technique/tool for leads-to properties |
2021 7th International Symposium on System and Software Reliability (ISSSR … , 2021 |
2021 |
| Fuzzy matching for cellular signaling networks in a choroidal melanoma model |
Practical Applications of Computational Biology & Bioinformatics, 14th … , 2021 |
2021 |
| IEEE ICCI* CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II) |
2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive … , 2021 |
2021 |
| Strategies in Conditional Narrowing Modulo SMT Plus Axioms |
|
2021 |
| New ideas: automated engineering of metamorphic testing environments for domain-specific languages |
Proceedings of the 14th ACM SIGPLAN International Conference on Software … , 2021 |
2021 |
| Verification of ROS navigation using Maude |
XX Jornadas de Programación y Lenguajes (PROLE). Sistedes , 2021 |
2021 |
| Juez automático para el aprendizaje de bases de datos |
|
2021 |
| Las técnicas del arte escénico de Stanislavsky como herramienta para mejorar las capacidades comunicativas y expresivas de los futuros profesores |
|
2021 |
| Verification of ROS Navigation using Maude |
|
2021 |
| The semantics of the Maude strategy language |
|
2021 |
| Composición en lógica de reescritura |
Composición en lógica de reescritura, 1-199 , 2021 |
2021 |
| Evaluación y mejora de la herramienta on-line DESweb para la enseñanza de bases de datos (2) |
|
2021 |
| Generalization and completeness of stochastic local search algorithms |
Elsevier , 2021 |
2021 |
| Implementing WordNet measures of lexical semantic similarity in a fuzzy logic programming system |
Theory and Practice of Logic Programming 21 (2), 264-282 , 2021 |
2021 |
| Teaching Inquiry-Oriented Mathematics: Establishing Support for Novice Lecturers |
Inquiry in University Mathematics Teaching and Learning The PLATINUM Project … , 2021 |
2021 |
| A contract among autonomous agents to deal with egalitarian social welfare |
2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive … , 2021 |
2021 |
| Juez automático para el aprendizaje de bases de datos |
Universidad Complutense de Madrid , 2021 |
2021 |
| A unified framework for declarative debugging and testing |
Information and Software Technology 129, 106427 , 2021 |
2021 |
| Strategies, model checking and branching-time properties in Maude |
Journal of Logical and Algebraic Methods in Programming 123, 100700 , 2021 |
2021 |
| Composition in Rewriting Logic |
Universidad Complutense de Madrid , 2021 |
2021 |
| Verification of mutable data structures in Dafny: methodological aspects |
|
2021 |
| Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Held as a Satellite Event of ETAPS, Dublin, Ireland, April 25-26, 2020, Proceedings. Theoretical … |
Springer , 2021 |
2021 |
| Inquiry in University Mathematics Teaching and Learning |
Masarykova univerzita , 2021 |
2021 |
| Extending Liquid Types to Arrays |
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41 , 2020 |
2020 |
| Proximity-based unification: an efficient implementation method |
IEEE Transactions on Fuzzy Systems 29 (5), 1238-1251 , 2020 |
2020 |
| PhDay Educación 2020. VI Jornadas de Investigación. Libro de Actas |
: Facultad de Educación-Centro de Formación del Profesorado-Universidad … , 2020 |
2020 |
| Deriving overloaded success type schemes in Erlang |
Journal of Computer Languages 58, 100965 , 2020 |
2020 |
| Maude manual (version 3.1) |
SRI International University of Illinois at Urbana-Champaign http://maude … , 2020 |
2020 |
| Unified Maude model-checking tool (umaudemc) |
FaDoSS. URL: https://github. com/fadoss/umaudemc , 2020 |
2020 |
| Strategies, model checking and branching-time properties in Maude |
International Workshop on Rewriting Logic and its Applications, 156-175 , 2020 |
2020 |
| Alternativa a la enseñanza monumentalista: los REI cooperativos |
Educação Matemática Pesquisa (EMP): Revista do Programa de Estudos Pós … , 2020 |
2020 |
| A Semantic Framework to Debug Parallel Lazy Functional Languages |
Mathematics 8 (6), 864 , 2020 |
2020 |
| CiMPG+ F: A proof generator and fixer-upper for CafeOBJ specifications |
Theoretical Aspects of Computing–ICTAC 2020: 17th International Colloquium … , 2020 |
2020 |
| Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts |
Theoretical Computer Science 813, 270-304 , 2020 |
2020 |
| A unified framework for declarative debugging and testing |
Elsevier , 2020 |
2020 |
| Introducing complexity to formal testing |
Journal of Logical and Algebraic Methods in Programming 111, 100502 , 2020 |
2020 |
| Programming and symbolic computation in Maude |
Journal of Logical and Algebraic Methods in Programming 110, 100497 , 2020 |
2020 |
| Compositional specification in rewriting logic |
Theory and Practice of Logic Programming 20 (1), 44-98 , 2020 |
2020 |
| A Semantic Framework to Debug Parallel Lazy Functional Languages |
MDPI , 2020 |
2020 |
| A Cognitive-based Tool to Teach how to Teach |
|
2020 |
| A System implementing Fuzzy Hypothetical Datalog ⋆ |
2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-8 , 2020 |
2020 |
| Measuring the benefits of lying in MARA under egalitarian social welfare |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2020 |
2020 |
| Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers |
Springer Nature , 2020 |
2020 |
| A Cognitive-based Tool to Teach how to Teach |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC … , 2020 |
2020 |
| MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems |
Journal of Systems and Software 163, 110522 , 2020 |
2020 |
| HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems |
Information and Computation 271, 104485 , 2020 |
2020 |
| TEA- Cloud : A Formal Framework for Testing Cloud Computing Systems |
IEEE Transactions on Reliability 70 (1), 261-284 , 2020 |
2020 |
| DESweb: una herramienta para el aprendizaje de SQL |
Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2019 |
2019 |
| Experiencing Intuitionistic Logic Programming in SQL Puzzles (Work In Progress) |
XIX Conference on Programming and Languages, PROLE’2019 (SISTEDES) , 2019 |
2019 |
| Model checking strategy-controlled rewriting systems (system description) |
4th International Conference on Formal Structures for Computation and … , 2019 |
2019 |
| El problema del análisis de la epistemología dominante en una institución: el caso del número en la educación infantil |
Educação Matemática Pesquisa Revista do Programa de Estudos Pós-Graduados em … , 2019 |
2019 |
| Model checking strategy-controlled rewriting systems (extended version) |
|
2019 |
| Journal of Logical and Algebraic Methods in Programming |
|
2019 |
| The education of prospective early childhood teachers within the paradigm of questioning the world |
Routledge , 2019 |
2019 |
| Towards applying river formation dynamics in continuous optimization problems |
Advances in Computational Intelligence: 15th International Work-Conference … , 2019 |
2019 |
| Compositional specification in rewriting logic |
Cambridge University Press , 2019 |
2019 |
| Dealing with Swarm Intelligence on GPUs |
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC … , 2019 |
2019 |
| An environment for specifying and model checking mobile ring robot algorithms |
Stabilization, Safety, and Security of Distributed Systems: 21st … , 2019 |
2019 |
| Evaluación de la realimentación semántica de SQL en DES |
|
2019 |
| Reversing steps in Petri nets |
Application and Theory of Petri Nets and Concurrency: 40th International … , 2019 |
2019 |
| Probabilistic software product lines |
Journal of Logical and Algebraic Methods in Programming 107, 54-78 , 2019 |
2019 |
| WordNet and prolog: Why not? |
11th Conference of the European Society for Fuzzy Logic and Technology … , 2019 |
2019 |
| Improving cloud architectures using UML profiles and M2T transformation techniques |
The Journal of Supercomputing 75, 8012-8058 , 2019 |
2019 |
| La gamificación en la educación universitaria: aplicación a asignaturas de programación |
|
2019 |
| Medición de la actitud implícita y explícita del alumnado de diferentes especialidades de la UCM hacia la música clásica y la capacidad de identificar las emociones básicas a … |
|
2019 |
| Big data con python: Recolección, almacenamiento y proceso |
Alpha Editorial , 2019 |
2019 |
| Property-Based Testing for Spark Streaming |
Cambridge University Press , 2019 |
2019 |
| A framework for modeling cloud infrastructures and user interactions |
IEEE Access 7, 43269-43285 , 2019 |
2019 |
| Journal of Logical and Algebraic Methods in Programming |
|
2019 |
| A core Erlang semantics for declarative debugging |
Journal of Logical and Algebraic Methods in Programming 107, 1-37 , 2019 |
2019 |
| The problems of selecting problems |
Springer Verlag , 2019 |
2019 |
| An expert system for checking the correctness of memory systems using simulation and metamorphic testing |
Expert Systems with Applications 132, 44-62 , 2019 |
2019 |
| FlinkCheck: property-based testing for apache flink |
IEEE Access 7, 150369-150382 , 2019 |
2019 |
| The problems of selecting problems |
Advances in Computational Intelligence: 15th International Work-Conference … , 2019 |
2019 |
| A cooperative co-evolution based scalable framework for solving large-scale global optimization problems |
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC … , 2019 |
2019 |
| Big data con python |
Alfaomega , 2019 |
2019 |
| Property-based testing for Spark Streaming |
Theory and Practice of Logic Programming 19 (4), 574-602 , 2019 |
2019 |
| Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study |
Interactive Learning Environments 27 (1), 15-32 , 2019 |
2019 |
| Petri Nets Are (Not Only) Distributed Automata |
Carl Adam Petri: Ideas, Personality, Impact, 67-72 , 2019 |
2019 |
| SIMCAN: A simulator to improve the learning of distributed and high‐performance computing systems in engineering degrees |
Computer Applications in Engineering Education 27 (5), 1126-1138 , 2019 |
2019 |
| Soft set theory for decision making in computational biology under incomplete information |
IEEE Access 7, 18183-18193 , 2019 |
2019 |
| 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) |
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH , 2019 |
2019 |
| The education of prospective early childhood teachers within the paradigm of questioning the world |
Working with the anthropological theory of the didactic in mathematics … , 2019 |
2019 |
| Water‐Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP‐Hard Problems |
Complexity 2019 (1), 4034258 , 2019 |
2019 |
| DESweb: una herramienta para el aprendizaje de SQL |
Actas de las JENUI, 95-102 , 2019 |
2019 |
| Parameterized strategies specification in Maude |
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 … , 2019 |
2019 |
| Classifying Pastebin content through the generation of PasteCC labeled dataset |
Hybrid Artificial Intelligent Systems: 14th International Conference, HAIS … , 2019 |
2019 |
| A core Erlang semantics for declarative debugging |
Elsevier , 2019 |
2019 |
| Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua |
|
2019 |
| Applying constraint logic programming to SQL semantic analysis |
Theory and Practice of Logic Programming 19 (5-6), 808-825 , 2019 |
2019 |
| Model checking strategy-controlled rewriting systems |
4th International Conference on Formal Structures for Computation and … , 2019 |
2019 |
| Exporting Rain-Fall optimization concepts to Artificial Bee Colony |
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC … , 2019 |
2019 |
| Specification and verification of invariant properties of transition systems |
2018 25th Asia-Pacific Software Engineering Conference (APSEC), 99-108 , 2018 |
2018 |
| MUnit: A unit framework for Maude |
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 … , 2018 |
2018 |
| Slicing from formal semantics: Chisel—a tool for generic program slicing |
International Journal on Software Tools for Technology Transfer 20 (6), 739-769 , 2018 |
2018 |
| Enhancing set constraint solvers with bound consistency |
Expert Systems with Applications 92, 485-494 , 2018 |
2018 |
| Associative unification and symbolic reasoning modulo associativity in Maude |
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 … , 2018 |
2018 |
| Selecting Algorithms by Using ATD |
2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 11-16 , 2018 |
2018 |
| Enhancing set constraint solvers with bound consistency |
Elsevier , 2018 |
2018 |
| Relational calculi in a deductive system |
Expert Systems With Applications 97, 106-116 , 2018 |
2018 |
| Mejora del aprendizaje de SQL con realimentación semántica |
|
2018 |
| Mutomvo: Mutation testing framework for simulated cloud and HPC environments |
Journal of Systems and Software 143, 187-207 , 2018 |
2018 |
| Declarative debugging of concurrent Erlang programs |
Journal of logical and algebraic methods in programming 101, 22-41 , 2018 |
2018 |
| Context-updates analysis and refinement in Chisel |
International Symposium on Model Checking Software, 328-346 , 2018 |
2018 |
| Construcción de un Modelo Epistemológico de Referencia para la enseñanza de la Geometría elemental en el primer ciclo de la educación secundaria obligatoria en España |
VIII CIBEM, Julio 2017, Madrid p. 291-299 , 2018 |
2018 |
| Prove it! inferring formal proof scripts from CafeOBJ proof scores |
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32 , 2018 |
2018 |
| A language-independent technique for assessing tweet success: an experience report |
IEEE Access 6, 62384-62395 , 2018 |
2018 |
| Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage |
Journal of Information and Telecommunication 2 (1), 2-18 , 2018 |
2018 |
| Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje |
|
2018 |
| Property-based testing for spark streaming (extended version) |
Technical Report 02/2018, Departamento de Sistemas Informáticos y … , 2018 |
2018 |
| Polymorphic success types for Erlang |
|
2018 |
| Alternativa a la enseñanza monumentalista: los REI cooperativos |
Chaachoua, Hamid. CITAD6. Grenoble: Isére , 2018 |
2018 |
| Alternating bit protocol as an example of compositional system specification |
|
2018 |
| An efficient characterization of Petri net solvable binary words |
Application and Theory of Petri Nets and Concurrency: 39th International … , 2018 |
2018 |
| Model checking parameterized by the semantics in Maude |
Functional and Logic Programming: 14th International Symposium, FLOPS 2018 … , 2018 |
2018 |
| A fuzzy datalog deductive database system |
IEEE Transactions on Fuzzy Systems 26 (5), 2634-2648 , 2018 |
2018 |
| Selecting Algorithms by Using ATD |
|
2018 |
| An Efficient Proximity-based Unification Algorithm ⋆ |
2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-8 , 2018 |
2018 |
| Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores |
ACM , 2018 |
2018 |
| Parameterized programming for compositional system specification |
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 … , 2018 |
2018 |
| Diseño y aplicación al aula de un modelo de asistente semi-automático para procesos de aprendizaje presenciales |
|
2017 |
| On the Unification of Process Semantics: Logical Semantics |
|
2017 |
| Aplicando técnicas inspiradas en MOOCs en una asignatura de introducción a la programación |
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de … , 2017 |
2017 |
| OUTRIDER: optimizing the mutation testing process in distributed environments |
Procedia Computer Science 108, 505-514 , 2017 |
2017 |
| Modular specification in rewriting logic (extended version) |
Tech. rep., Departamento de Sistemas Informáticos y Computación Facultad de … , 2017 |
2017 |
| Research Article Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search |
|
2017 |
| Intuitionistic Logic Programming for SQL |
Logic-Based Program Synthesis and Transformation: 26th International … , 2017 |
2017 |
| Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) |
Acta Informatica 54 (1), 1-2 , 2017 |
2017 |
| 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) |
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH , 2017 |
2017 |
| Applications of river formation dynamics |
Elsevier , 2017 |
2017 |
| A parallel swarm library based on functional programming |
Advances in Computational Intelligence: 14th International Work-Conference … , 2017 |
2017 |
| A Maude specification of the Kademlia distributed hash table: centralized version |
|
2017 |
| Sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos |
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de … , 2017 |
2017 |
| Games for bisimulations and abstraction |
Logical Methods in Computer Science 13 , 2017 |
2017 |
| Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos |
|
2017 |
| Conditional Narrowing Modulo SMT Plus Axioms |
|
2017 |
| MAGICIAN: Model-based design for optimizing the configuration of data-centers. |
SEKE, 602-607 , 2017 |
2017 |
| Modular specification in rewriting logic (extended version) |
|
2017 |
| Evaluation of temporal datasets via interval temporal logic model checking |
24th International Symposium on Temporal Representation and Reasoning (TIME … , 2017 |
2017 |
| A formal proof generator from semi-formal proof documents |
Theoretical Aspects of Computing–ICTAC 2017: 14th International Colloquium … , 2017 |
2017 |
| Conditional narrowing modulo SMT and axioms |
Proceedings of the 19th International Symposium on Principles and Practice … , 2017 |
2017 |
| Fuzzydes or how DES met bousi-prolog |
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6 , 2017 |
2017 |
| Context-Updates Analysis and Refinement in Chisel |
arXiv e-prints, arXiv: 1709.06897 , 2017 |
2017 |
| Data-aware automatic derivation of choreography-conforming systems of services |
Computer Standards & Interfaces 53, 59-79 , 2017 |
2017 |
| Epidermal growth factor signaling towards proliferation: modeling and logic inference using forward and backward search |
BioMed research international 2017 (1), 1809513 , 2017 |
2017 |
| How to make a best-seller: optimal product design problems |
Elsevier Science BV , 2017 |
2017 |
| Trace simulation semantics is not finitely based over BCCSP |
Acta Cybernetica 23 (1), 81-90 , 2017 |
2017 |
| How to make a best-seller: Optimal product design problems |
Applied Soft Computing 55, 178-196 , 2017 |
2017 |
| A survey of algorithmic debugging |
ACM Computing Surveys (CSUR) 50 (4), 1-35 , 2017 |
2017 |
| How to make a best-seller |
Applied Soft Computing 55 (C), 178-196 , 2017 |
2017 |
| Slicing from formal semantics: Chisel |
International Conference on Fundamental Approaches to Software Engineering … , 2017 |
2017 |
| A Maude environment for CafeOBJ |
Formal Aspects of Computing 29, 309-334 , 2017 |
2017 |
| A hybrid ant colony based system for assist the prevention and mitigation of wildfires in forests |
2017 2nd IEEE International Conference on Computational Intelligence and … , 2017 |
2017 |
| Reverse inference in symbolic systems biology |
11th International Conference on Practical Applications of Computational … , 2017 |
2017 |
| Applications of river formation dynamics |
Journal of computational science 22, 26-35 , 2017 |
2017 |
| Herramienta para escoger sistemáticamente combinaciones de ejercicios con mayor capacidad formadora y/o evaluadora |
|
2017 |
| Liquid types for array invariant synthesis |
Automated Technology for Verification and Analysis: 15th International … , 2017 |
2017 |
| Using Ants to Fight Wildfire |
Advances in Computational Intelligence: 14th International Work-Conference … , 2017 |
2017 |
| A program transformation for converting java assertions into control-flow statements |
ERCIS Working Paper , 2016 |
2016 |
| Polymorphic Types in Erlang Function Specifications (extended version) Technical Report TR-3-15 |
|
2016 |
| Synchronous products of rewrite systems |
Automated Technology for Verification and Analysis: 14th International … , 2016 |
2016 |
| Análisis transpositivo de la enseñanza de la geometría desde 1953 hasta 2016 |
González Barbera, Coral y Castro Morera, María. XVI Congreso Nacional y VII … , 2016 |
2016 |
| FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts |
Intelligent Information and Database Systems: 8th Asian Conference, ACIIDS … , 2016 |
2016 |
| Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción |
|
2016 |
| Eminent: Embarrassingly parallel mutation testing |
Procedia Computer Science 80, 63-73 , 2016 |
2016 |
| Games for Bisimulations and Abstraction, Cornel University Library |
arXiv preprint arXiv:1611.00401 , 2016 |
2016 |
| CafeInMaude: a CafeOBJ interpreter in maude |
International Conference on Fundamental Approaches to Software Engineering … , 2016 |
2016 |
| Egalitarian state-transition systems |
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 … , 2016 |
2016 |
| Polymorphic types in erlang function specifications |
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 … , 2016 |
2016 |
| Debugging meets testing in erlang |
International Conference on Tests and Proofs, 171-180 , 2016 |
2016 |
| Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad |
|
2016 |
| Assessing metaheuristics by means of random benchmarks |
Procedia Computer Science 80, 289-300 , 2016 |
2016 |
| Preface to SCP special issue with extended selected papers from SBMF 2014 |
Science of Computer Programming 126 (C), 1-2 , 2016 |
2016 |
| TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas |
|
2016 |
| Los Recorridos de Estudio e Investigación para la enseñanza de la Geometría en la Educación Secundaria: resultado de una experiencia piloto |
XVI Congreso Nacional y VII Congreso Iberoamericano de Pedagogía: Democracia … , 2016 |
2016 |
| Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach |
International Conference on Practical Applications of Computational Biology … , 2016 |
2016 |
| Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014) |
Elsevier , 2016 |
2016 |
| Branching bisimulation games |
Formal Techniques for Distributed Objects, Components, and Systems: 36th … , 2016 |
2016 |
| Temporal random testing for spark streaming |
International Conference on Integrated Formal Methods, 393-408 , 2016 |
2016 |
| Egalitarian state-transition systems (extended version) |
|
2016 |
| Synchronous products of rewrite systems (extended version) |
|
2016 |
| Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación |
Universidad Complutense de Madrid , 2016 |
2016 |
| Cost-related interface for software product lines |
Journal of Logical and Algebraic Methods in Programming 85 (1), 227-244 , 2016 |
2016 |
| Built-in variant generation and unification, and their applications in Maude 2.7 |
International Joint Conference on Automated Reasoning, 183-192 , 2016 |
2016 |
| Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración y operaciones elementales en la formación de … |
|
2016 |
| A Rewriting Logic Semantics for the Generalized Substitution Language |
Proc. of School of Theoretical Computer Science and Formal Methods (ETMF … , 2016 |
2016 |
| Automatic media planning: optimal advertisement placement problems |
2016 IEEE Congress on Evolutionary Computation (CEC), 5170-5177 , 2016 |
2016 |
| Automatic falsification of Java assertions |
Proceedings of the 7th International Conference in Advances in System … , 2015 |
2015 |
| Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012) |
Science of Computer Programming 99 (C), 1-2 , 2015 |
2015 |
| The role of indirections in lazy natural semantics. Perspectives of System Informatics (PSI) 2014. Vol. 8974. LNCS |
Springer , 2015 |
2015 |
| Sensitivity to reinforcement and punishment, and impulsivity in very violent criminals. A qualitative psychopathological assessment from several individuals convicted … |
|
2015 |
| Front Matter, Table of Contents, Preface, Committees, External Reviewers |
26th International Conference on Concurrency Theory (CONCUR 2015) , 2015 |
2015 |
| Space consumption analysis by abstract interpretation |
Science of Computer Programming 111 (P3), 426-457 , 2015 |
2015 |
| Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación |
|
2015 |
| Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración en la formación de maestros |
|
2015 |
| A liberal type system for functional logic programs |
Mathematical Structures in Computer Science 25 (4), 942-977 , 2015 |
2015 |
| Journal of Logical and Algebraic Methods in Programming |
|
2015 |
| Sentence-normalized conditional narrowing modulo in rewriting logic and maude |
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the … , 2015 |
2015 |
| Two Decades of Maude |
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the … , 2015 |
2015 |
| Space consumption analysis by abstract interpretation: Reductivity properties |
Science of Computer Programming 111, 458-482 , 2015 |
2015 |
| Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings |
Springer , 2015 |
2015 |
| A formal method for parallel genetic algorithms |
Procedia Computer Science 51, 2698-2702 , 2015 |
2015 |
| A lightweight tool for random testing of stream processing systems (extended version) |
Technical Report SIC 02/15, Departamento de Sistemas Informáticos y … , 2015 |
2015 |
| On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods |
Proceedings of the Companion Publication of the 2015 Annual Conference on … , 2015 |
2015 |
| Space consumption analysis by abstract interpretation: Inference of recursive functions |
Science of Computer Programming 111, 426-457 , 2015 |
2015 |
| Lifting Term Rewriting Derivations in Constructor Systems by Using Generators |
arXiv preprint arXiv:1501.02035 , 2015 |
2015 |
| Two decades of Maude |
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the … , 2015 |
2015 |
| Debugging of wrong and missing answers for Datalog programs with constraint handling rules |
Proceedings of the 17th International Symposium on Principles and Practice … , 2015 |
2015 |
| 26th International Conference on Concurrency Theory |
|
2015 |
| Técnicas de evaluación e intervención en Logopedia: base de datos audiovisual de la Unidad Clínica de Logopedia. |
|
2015 |
| José Meseguer: Scientist and Friend Extraordinaire |
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the … , 2015 |
2015 |
| Using datalog to provide just-in-time feedback during the construction of concept maps |
Expert Systems with Applications 42 (3), 1362-1375 , 2015 |
2015 |
| Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos |
Universidad Complutense de Madrid , 2015 |
2015 |
| Specifying and analyzing the kademlia protocol in maude |
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium … , 2015 |
2015 |
| Restricted predicates for hypothetical datalog |
arXiv preprint arXiv:1512.06945 , 2015 |
2015 |
| Checking java assertions using automated test-case generation |
Logic-Based Program Synthesis and Transformation: 25th International … , 2015 |
2015 |
| A methodology for designing energy-aware systems for computational science |
Procedia Computer Science 51, 2804-2808 , 2015 |
2015 |
| A generic intermediate representation for verification condition generation |
Logic-Based Program Synthesis and Transformation: 25th International … , 2015 |
2015 |
| Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |
Springer , 2015 |
2015 |
| A methodology for validating cloud models using metamorphic testing |
annals of telecommunications-annales des télécommunications 70, 127-135 , 2015 |
2015 |
| A zoom-declarative debugger for sequential Erlang programs |
Science of Computer Programming 110, 104-118 , 2015 |
2015 |
| Improving the deductive system DES with persistence by using SQL dbms's |
arXiv preprint arXiv:1501.02036 , 2015 |
2015 |
| LIPIcs, Volume 42, CONCUR'15, Complete Volume |
26th International Conference on Concurrency Theory (CONCUR 2015) , 2015 |
2015 |
| Proving continuity of coinductive global bisimulation distances: A never ending story |
arXiv preprint arXiv:1512.06944 , 2015 |
2015 |
| Memory policy analysis for semantics specifications in Maude |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2015 |
2015 |
| Passive testing of communicating systems with timeouts |
Information and Software Technology 64, 19-35 , 2015 |
2015 |
| Equational abstractions in rewriting logic and Maude |
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF … , 2015 |
2015 |
| A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation |
Information and Computation 235, 3-35 , 2014 |
2014 |
| Using big-step and small-step semantics in maude to perform declarative debugging |
Functional and Logic Programming: 12th International Symposium, FLOPS 2014 … , 2014 |
2014 |
| Model checking TLR* guarantee formulas on infinite systems |
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi … , 2014 |
2014 |
| Dificultades, conflictos, errores y obstáculos epistemológicos en la identificación visual del resto de la división con números decimales |
Épsilon - Revista de Educación Matemática 31 (87), 55-70 , 2014 |
2014 |
| A General Testability Theory: Classes, properties, complexity, and testing reductions |
IEEE Transactions on software engineering 40 (9), 862-894 , 2014 |
2014 |
| A Refinement Procedure for Inferring Side-Effect Constructs |
WADT, 61 , 2014 |
2014 |
| Singular and plural functions for functional logic programming |
Theory and Practice of Logic Programming 14 (1), 65-116 , 2014 |
2014 |
| An integration of CafeOBJ into full Maude |
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 … , 2014 |
2014 |
| A formal framework to analyze cost and performance in map-reduce based applications |
Journal of Computational Science 5 (2), 106-118 , 2014 |
2014 |
| EDD: A declarative debugger for sequential Erlang programs |
International Conference on Tools and Algorithms for the Construction and … , 2014 |
2014 |
| Rewriting and narrowing for constructor systems with call-time choice semantics1 |
Theory and Practice of Logic programming 14 (2), 165-213 , 2014 |
2014 |
| pHood: Tool Description, Analysis Techniques, and Case Studies |
New Generation Computing 32, 59-91 , 2014 |
2014 |
| ResAna: a resource analysis toolset for (real‐time) JAVA |
Concurrency and Computation: Practice and Experience 26 (14), 2432-2455 , 2014 |
2014 |
| International Nosocomial Infection Control Consortiu (INICC) report, data summary of 43 countries for 2007-2012. Device-associated module |
|
2014 |
| Axiomatizing weak simulation semantics over BCCSP |
Theoretical Computer Science 537, 42-71 , 2014 |
2014 |
| Towards a formal semantics-based technique for interprocedural slicing |
Integrated Formal Methods: 11th International Conference, IFM 2014 … , 2014 |
2014 |
| Safe typing of functional logic programs with opaque patterns and local bindings |
Information and Computation 235, 36-69 , 2014 |
2014 |
| An extended constraint deductive database: Theory and implementation |
The Journal of Logic and Algebraic Programming 83 (1), 20-52 , 2014 |
2014 |
| Parallelizing Particle Swarm Optimization in a Functional Programming Environment |
MDPI , 2014 |
2014 |
| Parallelizing particle swarm optimization in a functional programming environment |
Algorithms 7 (4), 554-581 , 2014 |
2014 |
| La identificación visual del resto de la división de números decimales como obstáculo epistemológico |
XV Congreso de Enseñanza y Aprendizaje de las Matemáticas , 2014 |
2014 |
| Towards Bridging the Expressiveness Gap Between\linebreak Relational and Deductive Databases |
Electronic Communications of the EASST 64 , 2014 |
2014 |
| Improving the solving efficiency of TOY (FD) and its application to real-life problems |
Improving the solving efficiency of TOY (FD) and its application to real … , 2014 |
2014 |
| Semantic Mining of Context Update Constructs in Imperative Languages |
WADT, 18 , 2014 |
2014 |
| A Methodology for Aiding Users to Design and Model Cloud Computing Architectures |
2014 Tenth International Conference on Signal-Image Technology and Internet … , 2014 |
2014 |
| Coinductive definition of distances between processes: beyond bisimulation distances |
Formal Techniques for Distributed Objects, Components, and Systems: 34th … , 2014 |
2014 |
| ¿ Qué sabemos de la incidencia de la morbilidad materna en México |
Revista Género y Salud en Cifras 12 (1), 3-14 , 2014 |
2014 |
| Conditional narrowing modulo in rewriting logic and Maude |
International Workshop on Rewriting Logic and its Applications, 80-96 , 2014 |
2014 |
| Launchbury’s semantics revisited: On the equivalence of context-heap semantics (Work in progress) |
XIV Jornadas sobre Programación y Lenguajes, 203-217 , 2014 |
2014 |
| Improving the Search Capabilities of a CFLP (FD) System |
Electronic Communications of the EASST 64 , 2014 |
2014 |
| Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems |
EPiC 26 , 2014 |
2014 |
| A zoom-declarative debugger for sequential Erlang programs (extended version) |
Departamento de Sistemas Informáticos y Computación , 2014 |
2014 |
| Implementing tabled hypothetical datalog |
2013 IEEE 25th International Conference on Tools with Artificial … , 2013 |
2013 |
| Testing restorable systems: formal definition and heuristic solution based on river formation dynamics |
Formal Aspects of Computing 25, 743-768 , 2013 |
2013 |
| La modelización a través de los recorridos de estudio e investigación: el caso de la comparación de tarifas de telefonía móvil |
CONGRESO INTERNACIONAL SOBRE LA TAD 4, 421-452 , 2013 |
2013 |
| An ACO-RFD hybrid method to solve NP-complete problems |
Frontiers of Computer Science 7, 729-744 , 2013 |
2013 |
| Formal specification of the Kademlia Routing table and the Kad Routing table in Maude |
Technical Report 1/2013. Dept. Sistemas Informáticos y Computación … , 2013 |
2013 |
| Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. |
LPAR (short papers), 9-22 , 2013 |
2013 |
| Comparing problem solving strategies for NP-hard optimization problems |
Fundamenta Informaticae 124 (1-2), 1-25 , 2013 |
2013 |
| E-mc2: A formal framework for energy modelling in cloud computing |
Simulation Modelling Practice and Theory 39, 56-75 , 2013 |
2013 |
| Formal specification of the Kademlia and the Kad routing tables in Maude |
Recent Trends in Algebraic Development Techniques: 21st International … , 2013 |
2013 |
| Unifying the linear time-branching time spectrum of process semantics |
Logical Methods in Computer Science 9 , 2013 |
2013 |
| On the specification of modal systems: A comparison of three frameworks |
Science of Computer Programming 78 (12), 2468-2487 , 2013 |
2013 |
| Typing as functional-logic evaluation |
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and … , 2013 |
2013 |
| Eden's bees: parallelizing artificial bee colony in a functional environment |
Procedia Computer Science 18, 661-670 , 2013 |
2013 |
| Formalizing a broader recursion coverage in SQL |
Practical Aspects of Declarative Languages: 15th International Symposium … , 2013 |
2013 |
| Using genetic algorithms to generate test sequences for complex timed systems |
Soft Computing 17, 301-315 , 2013 |
2013 |
| A calculus for sequential erlang programs |
Technical Report 03/13, Departamento de Sistemas Informáticos y Computación … , 2013 |
2013 |
| Video-based tracking of laparoscopic instruments using an orthogonal webcams system |
International Journal of Biomedical and Biological Engineering 7 (8), 440-443 , 2013 |
2013 |
| Applying CP(FD), CLP(FD) and CFLP(FD) to a real-life employee timetabling problem |
Procedia Computer Science 18, 531-540 , 2013 |
2013 |
| Recent Trends in Algebraic Development Techniques |
Springer , 2013 |
2013 |
| Speeding up algorithmic debugging using balanced execution trees |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary … , 2013 |
2013 |
| The role of indirections in lazy natural semantics (extended version) |
Technical report 13/13, Dpt. Sistemas Informáticos y Computación. Univ … , 2013 |
2013 |
| Estructuras de datos y métodos algorítmicos: 213 ejercicios resueltos |
|
2013 |
| A calculus for zoom debugging sequential Erlang programs |
Technical Report 07/13, Departamento de Sistemas Informáticos y Computación , 2013 |
2013 |
| Tabling with support for relational features in a deductive database |
Electronic Communications of the EASST 55 , 2013 |
2013 |
| Using polynomial reductions to test the suitability of metaheuristics for solving np-complete problems |
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 194-199 , 2013 |
2013 |
| Speeding up algorithmic debugging using balanced execution trees—detailed results |
Technical Report 04/13, Departamento de Sistemas Informáticos y Computación … , 2013 |
2013 |
| SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications |
Procedia Computer Science 18, 230-239 , 2013 |
2013 |
| R-SQL: an SQL database system with extended recursion |
|
2013 |
| A generic program slicing technique based on language definitions |
Recent Trends in Algebraic Development Techniques: 21st International … , 2013 |
2013 |
| A declarative debugger for concurrent erlang programs (extended version) |
Technical Report SIC-15/13, Dpto. Sistemas Informáticos y Computación … , 2013 |
2013 |
| Shape Analysis in a Functional Language by Using Regular Languages (Extended Version) |
Technical report, TR-8-13. Dpto. de Sistemas Informáticos y Computación … , 2013 |
2013 |
| Introducing CafeOBJ specifications in the Full Maude database. Integrating CafeOBJ with the Constructor-based Inductive Theorem Prover—Programmer Guide |
|
2013 |
| Shape analysis in a functional language by using regular languages |
Proceedings of the 15th Symposium on Principles and Practice of Declarative … , 2013 |
2013 |
| A declarative debugger for sequential Erlang programs |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary … , 2013 |
2013 |
| Estructuras de datos y métodos algorítmicos: 213 ejercicios resueltos |
Estructuras de datos y métodos algorítmicos: 213 ejercicios resueltos , 2013 |
2013 |
| Unifying the linear time-branching time spectrum of strong process semantics |
Tech Univ Braunschweig, Inst Theoretical Computer Sci , 2013 |
2013 |
| Improving the performance of FD constraint solving in a CFLP system |
International Symposium on Functional and Logic Programming, 88-103 , 2012 |
2012 |
| Basic completion strategies as another application of the Maude strategy language |
arXiv preprint arXiv:1204.5542 , 2012 |
2012 |
| Relating modal refinements, covariant-contravariant simulations and partial bisimulations |
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN … , 2012 |
2012 |
| A tool for testing data type implementations from Maude algebraic specifications |
Electronic Notes in Theoretical Computer Science 282, 61-71 , 2012 |
2012 |
| OCE: an online colaborative editor |
International Conference on Computational Collective Intelligence, 89-98 , 2012 |
2012 |
| A formal framework to test soft and hard deadlines in timed systems |
Software Testing, Verification and Reliability 22 (8), 583-608 , 2012 |
2012 |
| XPath query processing in a functional-logic language |
Electronic Notes in Theoretical Computer Science 282, 19-34 , 2012 |
2012 |
| A locally nameless representation for a natural semantics for lazy evaluation |
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium … , 2012 |
2012 |
| Distances between processes: A pure algebraic approach |
International Workshop on Algebraic Development Techniques, 265-282 , 2012 |
2012 |
| Rewriting logic bibliography by topic: 1990–2011 |
The Journal of Logic and Algebraic Programming 81 (7-8), 782-815 , 2012 |
2012 |
| Alan Turing: Una aproximación personal a su obra |
Real Sociedad Matemática Española , 2012 |
2012 |
| A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. Theoretical Aspects of Computing (ICTAC). Vol. 7521. LNCS |
Springer , 2012 |
2012 |
| Outer joins in a deductive database system |
Electronic Notes in Theoretical Computer Science 282, 73-88 , 2012 |
2012 |
| S-narrowing for constructor systems: Detailed proofs |
Technical report, DSIC , 2012 |
2012 |
| S-Narrowing for constructor systems |
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium … , 2012 |
2012 |
| XII Spanish Conference on Programming and Computer Languages (PROLE 2012) |
Electronic Communications of the EASST 55 , 2012 |
2012 |
| Mascloud: a framework based on multi-agent systems for optimizing cost in cloud computing |
International Conference on Computational Collective Intelligence, 436-445 , 2012 |
2012 |
| Simplifying questions in maude declarative debugger by transforming proof trees |
Logic-Based Program Synthesis and Transformation: 21st International … , 2012 |
2012 |
| Un taller de robótica para el apoyo de la enseñanza de programación de computadores basado en estilos de aprendizaje |
J. Sanchez (Presidencia), Nuevas ideas en informática educativa. Simposio … , 2012 |
2012 |
| Declarative debugging of wrong and missing answers for SQL views |
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 … , 2012 |
2012 |
| A centralized and a decentralized method to automatically derive choreography-conforming web service systems |
The Journal of Logic and Algebraic Programming 81 (2), 127-159 , 2012 |
2012 |
| TOY: A CFLP Language and System |
|
2012 |
| Distances Between Processes: a Pure Algebraic Approach |
21th InternationalWorkshop on Algebraic Development Techniques (WADT), 265-282 , 2012 |
2012 |
| Improving the automatic derivation of choreography-conforming web services systems |
Procedia Computer Science 9, 449-458 , 2012 |
2012 |
| Making resource analysis practical for real-time Java |
Proceedings of the 10th International Workshop on Java Technologies for Real … , 2012 |
2012 |
| Logic programing and relational databases for the consistent construction of knowledge maps |
Proceedings of the global chinese conference on computers in education, 83-86 , 2012 |
2012 |
| WADT 2012 Preliminary Proceedings |
|
2012 |
| Algorithmic debugging of SQL views |
Perspectives of Systems Informatics: 8th International Andrei Ershov … , 2012 |
2012 |
| Well-typed narrowing with extra variables in functional-logic programming |
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012 |
2012 |
| iCanCloud: A brief architecture overview |
2012 IEEE 10th International Symposium on Parallel and Distributed … , 2012 |
2012 |
| On Linear Contravariant Semantics |
WADT 2012 Preliminary Proceedings, 51 , 2012 |
2012 |
| The equational theory of weak complete simulation semantics over BCCSP |
International Conference on Current Trends in Theory and Practice of … , 2012 |
2012 |
| Un enfoque declarativo para la construcción de mapas de conocimiento de tipo Fill-In |
Proceedings of the XIV international symposium on computers in education … , 2012 |
2012 |
| iCanCloud: A flexible and scalable cloud infrastructure simulator |
Journal of Grid Computing 10, 185-209 , 2012 |
2012 |
| Preventing attacks by classifying user models in a collaborative scenario |
International Conference on Computational Collective Intelligence, 505-514 , 2012 |
2012 |
| An adaptive, scalable, and portable technique for speeding up MPI-based applications |
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par … , 2012 |
2012 |
| Optimizing the trade-offs between cost and performance in scientific computing |
Procedia Computer Science 9, 498-507 , 2012 |
2012 |
| Using narrowing to test Maude specifications |
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012 … , 2012 |
2012 |
| Declarative debugging of rewriting logic specifications |
The Journal of Logic and Algebraic Programming 81 (7-8), 851-897 , 2012 |
2012 |
| Declarative debugging of rewriting logic specifications |
The Journal of Logic and Algebraic Programming 81 (7), 851-897 , 2012 |
2012 |
| Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios |
Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios , 2012 |
2012 |
| SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications |
Simulation Modelling Practice and Theory 20 (1), 12-32 , 2012 |
2012 |
| A functional approach to parallelize particle swarm optimization |
Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, MAEB 12 , 2012 |
2012 |
| An Ontology for Describing Manufactured Objects and their Parts in a Factory |
|
2012 |
| Using semantics specified in Maude to generate test cases |
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium … , 2012 |
2012 |
| Dynamic-CoMPI: dynamic optimization techniques for MPI parallel applications |
The Journal of Supercomputing 59, 361-391 , 2012 |
2012 |
| Generators: Detailed proofs |
Technical Report 07/12, DSIC , 2012 |
2012 |
| Defining distances for all process semantics |
International Conference on Formal Methods for Open Object-Based Distributed … , 2012 |
2012 |
| Extending the System with the ECL i PS e Solver over Sets of Integers |
International Symposium on Functional and Logic Programming, 120-135 , 2012 |
2012 |
| Depuración declarativa y verificación heterogénea en Maude |
Universidad Complutense de Madrid , 2011 |
2011 |
| Design of a new cloud computing simulation platform |
International Conference on Computational Science and Its Applications, 582-593 , 2011 |
2011 |
| A parallel skeleton for genetic algorithms |
Advances in Computational Intelligence: 11th International Work-Conference … , 2011 |
2011 |
| Singular and plural functions for functional logic programming: detailed proofs |
Technical report SIC-9/11, Dpto. Sistemas Informaticos y Computacion … , 2011 |
2011 |
| A Power-Aware Based Storage Architecture for High Performance Computing |
2011 IEEE International Conference on High Performance Computing and … , 2011 |
2011 |
| Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem |
Evolutionary Intelligence 4, 51-65 , 2011 |
2011 |
| Embedding XQuery in Toy |
|
2011 |
| Design of a flexible and scalable hypervisor module for simulating cloud computing environments |
2011 International Symposium on Performance Evaluation of Computer … , 2011 |
2011 |
| Test-case Generation for Maude Specifications |
|
2011 |
| Improving the debugging of membership equational logic specifications |
Technical Report SIC-02-11, Dpto. Sistemas Informáticos y Computación … , 2011 |
2011 |
| A preliminary general testing method based on genetic algorithms |
Advances in Computational Intelligence: 11th International Work-Conference … , 2011 |
2011 |
| On the unification of process semantics: Logical semantics |
arXiv preprint arXiv:1108.3127 , 2011 |
2011 |
| Parameterized metareasoning in membership equational logic |
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated … , 2011 |
2011 |
| Graphical representation of covariant-contravariant modal formulae |
arXiv preprint arXiv:1108.4464 , 2011 |
2011 |
| Knowledge Adquisition in a Cooperative and Competitive Framework |
Transdisciplinary Advancements in Cognitive Mechanisms and Human Information … , 2011 |
2011 |
| Properties of Semantic Relations in Ontology-based Computer Resources |
|
2011 |
| Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet |
Information Processing Letters 111 (9), 408-413 , 2011 |
2011 |
| Guıa rápida sobre ejecución de especificaciones algebraicas en Maude bajo el entorno Eclipse para estudiantes de estructuras de datos |
Technical Report 5/11, Departamento de Sistemas Informáticos y Computación … , 2011 |
2011 |
| Formalizando el proceso de depuración en programación funcional paralela y perezosa |
Universidad Complutense de Madrid , 2011 |
2011 |
| Hybridizing river formation dynamics and ant colony optimization |
Advances in Artificial Life. Darwin Meets von Neumann: 10th European … , 2011 |
2011 |
| Relating function spaces to resourced function spaces |
Proceedings of the 2011 ACM Symposium on Applied Computing, 1301-1308 , 2011 |
2011 |
| Axiomatizing weak ready simulation semantics over BCCSP |
Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium … , 2011 |
2011 |
| Integrating XPath with the functional-logic language toy |
International Symposium on Practical Aspects of Declarative Languages, 145-159 , 2011 |
2011 |
| Manual para realizar testing de TADs especificados en Maude e implementados en C++ |
Technical Report 6/11, Departamento de Sistemas Informáticos y Computación … , 2011 |
2011 |
| A Declarative Embedding of XQuery in a Functional-Logic Language |
International Symposium on Logic-Based Program Synthesis and Transformation … , 2011 |
2011 |
| A deductive database with datalog and sql query languages |
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting … , 2011 |
2011 |
| DIEGO: A tool for DerIving chorEoGraphy-cOnforming web service systems |
2011 IEEE International Conference on Web Services, 187-194 , 2011 |
2011 |
| Integrating maude into hets |
Algebraic Methodology and Software Technology: 13th International Conference … , 2011 |
2011 |
| Deductive databases |
|
2011 |
| A resource-aware semantics and abstract machine for Safe |
A functional language with regions and explicit deallocation , 2011 |
2011 |
| Optimizing distributed architectures to improve performance on checkpointing applications |
2011 IEEE International Conference on High Performance Computing and … , 2011 |
2011 |
| Decidability and complexity of Petri nets with unordered data |
Theoretical Computer Science 412 (34), 4439-4451 , 2011 |
2011 |
| A CFLP Approach for Modeling and Solving a Real Life Employee Timetabling Problem |
COPLAS 11, 63-71 , 2011 |
2011 |
| Depuración declarativa y verificación heterogénea en Maude |
Depuración declarativa y verificación heterogénea en Maude , 2011 |
2011 |
| Welltyped narrowing with extra variables in functional-logic programming (extended version) |
Technical Report SIC-11-11, Universidad Complutense de Madrid , 2011 |
2011 |
| Algoritmos heurísticos y aplicaciones a métodos formales |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2011 |
2011 |
| Accelerations for the coverability set of Petri nets with names |
Fundamenta Informaticae 113 (3-4), 313-341 , 2011 |
2011 |
| DES: A deductive database system |
Electronic notes in theoretical computer science 271, 63-78 , 2011 |
2011 |
| XQuery in the functional-logic language Toy |
International Workshop on Functional and Constraint Logic Programming, 35-51 , 2011 |
2011 |
| Interpolation-based height analysis for improving a recurrence solver |
International Workshop on Foundational and Practical Aspects of Resource … , 2011 |
2011 |
| Liberal typing for functional logic programs |
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai … , 2010 |
2010 |
| Fuzzy-timed automata |
International Conference on Formal Methods for Open Object-Based Distributed … , 2010 |
2010 |
| Decision problems for petri nets with names |
arXiv preprint arXiv:1011.3964 , 2010 |
2010 |
| A complete axiomatization of strict equality |
International Symposium on Functional and Logic Programming, 118-133 , 2010 |
2010 |
| Algoritmos heurísticos y aplicaciones a métodos formales |
Universidad Complutense de Madrid, Servicio de Publicaciones, Madrid , 2010 |
2010 |
| Declarative Debugging of Missing Answers for Maude |
Proceedings of the 21st International Conference on Rewriting Techniques and … , 2010 |
2010 |
| Enhancing the debugging of Maude specifications |
International Workshop on Rewriting Logic and its Applications, 226-242 , 2010 |
2010 |
| Applying river formation dynamics to the Steiner tree problem |
9th IEEE International Conference on Cognitive Informatics (ICCI'10), 704-711 , 2010 |
2010 |
| USE OF ACTIVATED RECOMBINANT FACTOR VII FOR REFRACTORY BLEEDING CONTROL IN THE ICU, 4 YEARS OF EXPERIENCE IN A VENEZUELAN HOSPITAL |
CRITICAL CARE MEDICINE 38 (12), U240-U240 , 2010 |
2010 |
| New techniques for simulating high performance MPI applications on large storage networks |
The Journal of Supercomputing 51, 40-57 , 2010 |
2010 |
| A Cognitive Approach to Negotiation |
Advances in Cognitive Informatics and Cognitive Computing, 145-169 , 2010 |
2010 |
| Test-case generation for maude functional modules |
International Workshop on Algebraic Development Techniques, 287-301 , 2010 |
2010 |
| Logics for contravariant simulations |
International Conference on Formal Methods for Open Object-Based Distributed … , 2010 |
2010 |
| Un sistema de bases de datos deductivas con restricciones |
|
2010 |
| The full abstraction problem for higher order functional-logic programs |
arXiv preprint arXiv:1002.1833 , 2010 |
2010 |
| A formal specification of the Kademlia distributed hash table |
Proceedings of the 10 Spanish Workshop on Programming Languages, PROLE, 223-234 , 2010 |
2010 |
| An introduction to Maude and some of its applications |
International Symposium on Practical Aspects of Declarative Languages, 4-9 , 2010 |
2010 |
| New contributions for simulating large distributed systems |
2010 IEEE/ACM 14th International Symposium on Distributed Simulation and … , 2010 |
2010 |
| Programming with singular and plural non-deterministic functions |
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and … , 2010 |
2010 |
| Generic Functional Logic Programs |
Technical Report SIC-03-10, Universidad Complutense de Madrid , 2010 |
2010 |
| Balancing execution trees |
Proceedings of the 10th Spanish Workshop on Programming Languages, PROLE … , 2010 |
2010 |
| Equational characterization of covariant-contravariant simulation and conformance simulation semantics |
arXiv preprint arXiv:1008.2108 , 2010 |
2010 |
| Forward analysis for Petri nets with name creation |
Applications and Theory of Petri Nets: 31st International Conference, PETRI … , 2010 |
2010 |
| A natural implementation of plural semantics in Maude |
Electronic Notes in Theoretical Computer Science 253 (7), 165-175 , 2010 |
2010 |
| Analyzing Learning Methods in a Functional Environment |
Discoveries and Breakthroughs in Cognitive Informatics and Natural … , 2010 |
2010 |
| New results on type systems for functional logic programming |
Functional and Constraint Logic Programming: 18th International Workshop … , 2010 |
2010 |
| Algebraic simulations |
The Journal of Logic and Algebraic Programming 79 (2), 103-143 , 2010 |
2010 |
| Certified absence of dangling pointers in a language with explicit deallocation |
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy … , 2010 |
2010 |
| Applying RFD to Construct Optimal Quality-Investment Trees. |
J. Univers. Comput. Sci. 16 (14), 1882-1901 , 2010 |
2010 |
| M-PLAT: Multi-programming language adaptive tutor |
Advances in Learning Processes, 125-138 , 2010 |
2010 |
| Decidability problems in Petri nets with names and replication |
Fundamenta informaticae 105 (3), 291-317 , 2010 |
2010 |
| Applying constraint logic programming to SQL test case generation |
International Symposium on Functional and Logic Programming, 191-206 , 2010 |
2010 |
| Programming with Singular and Plural Non-deterministic Functions |
ACM , 2010 |
2010 |
| Declarative debugging of rewriting logic specifications |
Departamento de Sistemas Informáticos y Computación, Universidad Complutense … , 2010 |
2010 |
| An operational semantics for distributed lazy evaluation |
Trends in Functional Programming 10, 65-80 , 2010 |
2010 |
| A complete declarative debugger for Maude |
International Conference on Algebraic Methodology and Software Technology … , 2010 |
2010 |
| Multiobjective optimization subject to uncertainty: Application to irrigation strategy management |
Computers and Electronics in Agriculture 74 (1), 145-154 , 2010 |
2010 |
| RESULTS OF A SEPSIS MANAGEMENT PROTOCOL IMPLEMENTATION AFTER THREE YEARS IN A VENEZUELAN HOSPITAL |
CRITICAL CARE MEDICINE 38 (12), U112-U112 , 2010 |
2010 |
| Estructuras de datos y métodos algorítmicos: ejercicios resueltos: versión revisada |
Estructuras de datos y métodos algorítmicos: ejercicios resueltos: versión … , 2010 |
2010 |
| Declarative Debugging of Missing Answers in Rewriting Logic |
|
2009 |
| To be or not to be… lazy (In a Parallel Context) |
Electronic Notes in Theoretical Computer Science 258 (1), 21-39 , 2009 |
2009 |
| On the Unification of Process Semantics: Observational Semantics |
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on … , 2009 |
2009 |
| A resource-aware semantics and abstract machine for a functional language with explicit deallocation |
Electronic Notes in Theoretical Computer Science 246, 167-182 , 2009 |
2009 |
| Formally transforming user-model testing problems into implementer-model testing problems and viceversa |
The Journal of Logic and Algebraic Programming 78 (6), 425-453 , 2009 |
2009 |
| A simple region inference algorithm for a first-order functional language |
International Workshop on Functional and Constraint Logic Programming, 145-161 , 2009 |
2009 |
| A Space Consumption Analysis By Abstract Interpretation (extended version) |
|
2009 |
| Implementing and analyzing in Maude the enhanced interior gateway routing protocol |
Electronic notes in theoretical computer science 238 (3), 249-266 , 2009 |
2009 |
| Declarative debugging of missing answers in rewriting logic |
Technical Report SIC-6-09, Dpto. Sistemas Informáticos y Computación … , 2009 |
2009 |
| From natural semantics to C: A formal derivation of two STG machines |
Journal of Functional Programming 19 (1), 47-94 , 2009 |
2009 |
| An inference algorithm for guaranteeing safe destruction |
Logic-Based Program Synthesis and Transformation: 18th International … , 2009 |
2009 |
| A rewriting semantics for Maude strategies |
Electronic Notes in Theoretical Computer Science 238 (3), 227-247 , 2009 |
2009 |
| A complete axiomatization of strict equality over infinite trees |
Functional and (Constraint) Logic Programming, 173 , 2009 |
2009 |
| On the expressiveness of refinement settings |
International Conference on Fundamentals of Software Engineering, 276-291 , 2009 |
2009 |
| Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas |
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of … , 2009 |
2009 |
| Advances in type systems for functional logic programming |
Functional and (Constraint) Logic Programming, 157 , 2009 |
2009 |
| A fully abstract semantics for constructor systems |
International Conference on Rewriting Techniques and Applications, 320-334 , 2009 |
2009 |
| A declarative debugger for Maude specifications-User guide |
Technical Report SIC-7-09, Dpto. Sistemas Informáticos y Computación … , 2009 |
2009 |
| The full abstraction problem for higher order functional-logic programs |
Proceedings of The 19th Workshop on Logic-based methods in Programming … , 2009 |
2009 |
| A flexible framework for programming with non-deterministicfunctions |
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and … , 2009 |
2009 |
| A fully abstract semantics for constructor systems |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| Applying river formation dynamics to solve NP-complete problems |
Nature-inspired algorithms for optimisation, 333-368 , 2009 |
2009 |
| Properties of an operational semantics for distributed lazy evaluation |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| On the unification of process semantics: Equational semantics |
Electronic Notes in Theoretical Computer Science 249, 243-267 , 2009 |
2009 |
| Cognitive Processes by using Finite State Machines |
Novel Approaches in Cognitive Informatics and Natural Intelligence, 52-64 , 2009 |
2009 |
| A Formalization of the Semantics of Functional-Logic Programming in Isabelle |
arXiv preprint arXiv:0908.0494 , 2009 |
2009 |
| Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| A formalization of the semantics of functional-logic programming in Isabelle |
arXiv preprint arXiv:0908.0494 , 2009 |
2009 |
| Formalizing Interchange Competences |
International Journal of Cognitive Informatics and Natural Intelligence … , 2009 |
2009 |
| Advances in type systems for functional-logic programming (extended version) |
|
2009 |
| On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP |
Theory and Practice of Logic Programming 9 (4), 415-527 , 2009 |
2009 |
| TOY: a system for experimenting with cooperation of constraint domains |
Electronic Notes in Theoretical Computer Science 258 (1), 79-91 , 2009 |
2009 |
| Comparing learning methods |
International Journal of Cognitive Informatics and Natural Intelligence … , 2009 |
2009 |
| Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach |
International Conference on Formal Methods for Open Object-Based Distributed … , 2009 |
2009 |
| Applying Evolutionary Computation Methods to Formal Testing and Model Checking |
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th … , 2009 |
2009 |
| A declarative debugger for Maude functional modules |
Electronic Notes in Theoretical Computer Science 238 (3), 63-81 , 2009 |
2009 |
| A Declarative Debugger for Maude Specifications: User Guide |
|
2009 |
| On the unification of process semantics: observational semantics |
International Conference on Current Trends in Theory and Practice of … , 2009 |
2009 |
| Unification and narrowing in Maude 2.4 |
Rewriting Techniques and Applications: 20th International Conference, RTA … , 2009 |
2009 |
| Decidability results for restricted models of petri nets with name creation and replication |
International Conference on Applications and Theory of Petri Nets, 63-82 , 2009 |
2009 |
| Applying evolutionary techniques to debug functional programs |
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th … , 2009 |
2009 |
| A general testability theory |
International Conference on Concurrency Theory, 572-586 , 2009 |
2009 |
| (Bi) simulations up-to characterise process semantics |
Information and Computation 207 (2), 146-170 , 2009 |
2009 |
| Testing restorable systems by using RFD |
International Work-Conference on Artificial Neural Networks, 351-358 , 2009 |
2009 |
| Non-strongly stable orders also define interesting simulation relations |
Algebra and Coalgebra in Computer Science: Third International Conference … , 2009 |
2009 |
| A Simple Region Inference Algorithm for a First-Order Functional Language (extended version)(Technical Report SIC-5-09) |
|
2009 |
| A Debugging System Based on Natural Semantics. |
J. Univers. Comput. Sci. 15 (14), 2836-2880 , 2009 |
2009 |
| A formal approach to heuristically test restorable systems |
Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium … , 2009 |
2009 |
| PPDP09-Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword |
PPDP09-Proceedings of the 11th International ACM SIGPLAN Symposium on … , 2009 |
2009 |
| A lightweight combination of semantics for non-deterministic functions |
arXiv preprint arXiv:0903.2205 , 2009 |
2009 |
| Rewriting logic using strategies for neural networks: An implementation in Maude |
International Symposium on Distributed Computing and Artificial Intelligence … , 2009 |
2009 |
| Cooperation of the finite domain and set solvers in TOY |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| A space consumption analysis by abstract interpretation |
International Workshop on Foundational and Practical Aspects of Resource … , 2009 |
2009 |
| Ready to preorder: an algebraic and general proof |
The Journal of Logic and Algebraic Programming 78 (7), 539-551 , 2009 |
2009 |
| Integración de ILOG CP en TOY |
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009 |
2009 |
| Integrating ILOG CP Technology into TOY |
International Workshop on Functional and Constraint Logic Programming, 27-43 , 2009 |
2009 |
| Automatically deriving choreography-conforming systems of services |
2009 IEEE International Conference on Services Computing, 9-16 , 2009 |
2009 |
| Using architectural simulation models to aid the design of data intensive application |
2009 Third International Conference on Advanced Engineering Computing and … , 2009 |
2009 |
| Formalizando el proceso de depuración en programación funcional paralela y perezosa |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2009 |
2009 |
| Experiences in developing a compiler for safe using Haskell |
Actas del I Taller de Programación Funcional, TPF 9, 31-46 , 2009 |
2009 |
| Equational abstractions |
Theoretical Computer Science 403 (2-3), 239-264 , 2008 |
2008 |
| A type system for safe memory management and its proof of correctness |
Proceedings of the 10th international ACM SIGPLAN conference on Principles … , 2008 |
2008 |
| Constrained simulations, nested simulation semantics and counting bisimulations |
Electronic Notes in Theoretical Computer Science 206, 41-58 , 2008 |
2008 |
| M-PLAT: Multi-programming language adaptive tutor |
2008 Eighth IEEE International Conference on Advanced Learning Technologies … , 2008 |
2008 |
| Conceptual modeling of ontology-based linguistic resources with a focus on semantic relations |
Proceedings of the sixth international conference on language resources and … , 2008 |
2008 |
| A theoretical framework for the declarative debugging of datalog programs |
Semantics in Data and Knowledge Bases: Third International Workshop, SDKB … , 2008 |
2008 |
| Sociedad de la información. Programar es crear. Las luces de la escalera |
Novática: Revista de la Asociación de Técnicos de Informática, 72-74 , 2008 |
2008 |
| A debugger for parallel Haskell dialects |
Algorithms and Architectures for Parallel Processing: 8th International … , 2008 |
2008 |
| Extending EFSMs to specify and test timed systems with action durations and time-outs |
IEEE Transactions on Computers 57 (6), 835-844 , 2008 |
2008 |
| Simcan: a simulator framework for computer architectures and storage networks |
Proceedings of the 1st international conference on Simulation tools and … , 2008 |
2008 |
| Formalizing a constraint deductive database language based on hereditary harrop formulas with negation |
Springer-Verlag Berlín , 2008 |
2008 |
| A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Technical Report SIC-7-08) |
|
2008 |
| On the unification of process semantics: axiomatic semantics. Submitted |
|
2008 |
| Interactive Learning of Data Structures and Algorithmic Schemes |
Computational Science–ICCS 2008: 8th International Conference, Kraków … , 2008 |
2008 |
| A declarative debugger for Maude |
Algebraic Methodology and Software Technology: 12th International Conference … , 2008 |
2008 |
| Name creation vs. replication in petri net systems |
Fundamenta Informaticae 88 (3), 329-356 , 2008 |
2008 |
| Formally testing liveness by means of compression rates |
Parallel Problem Solving from Nature–PPSN X: 10th International Conference … , 2008 |
2008 |
| Algebraic stuttering simulations |
Electronic Notes in Theoretical Computer Science 206, 91-110 , 2008 |
2008 |
| Un solitario con cartas (CUPCAM 2007, problema F, solución) |
Novática: Revista de la Asociación de Técnicos de Informática 196, 76 , 2008 |
2008 |
| New techniques for simulating high performance MPI applications on large storage networks |
2008 IEEE International Conference on Cluster Computing, 444-452 , 2008 |
2008 |
| Diseño y Desarrollo de Herramientas para el Aprendizaje de Relaciones Semánticas presentes en el Lenguaje Natural |
TICAI 2006: TICs para el Aprendizaje de la Ingeniería, 135-142 , 2008 |
2008 |
| Neural networks in maude |
9th International Workshop, RULE 2008, Hagenberg Castle, Austria, June 18 … , 2008 |
2008 |
| Rewriting and call-time choice: the HO case |
Functional and Logic Programming: 9th International Symposium, FLOPS 2008 … , 2008 |
2008 |
| Multiset bisimulations as a common framework for ordinary and probabilistic bisimulations |
International Conference on Formal Techniques for Networked and Distributed … , 2008 |
2008 |
| Testing the Behaviour of Entities in a Cognitive Language |
International Journal of Cognitive Informatics and Natural Intelligence … , 2008 |
2008 |
| A new proposal for debugging datalog programs |
Electronic Notes in Theoretical Computer Science 216, 79-92 , 2008 |
2008 |
| HOTL: Hypotheses and observations testing logic |
The Journal of Logic and Algebraic Programming 74 (2), 57-93 , 2008 |
2008 |
| Coinductive characterisations reveal nice relations between preorders and equivalences |
Electronic Notes in Theoretical Computer Science 212, 149-162 , 2008 |
2008 |
| Using black-box modeling techniques for modern disk drives service time simulation |
41st Annual Simulation Symposium (anss-41 2008), 139-145 , 2008 |
2008 |
| Formal testing from timed finite state machines |
Computer networks 52 (2), 432-460 , 2008 |
2008 |
| Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation |
International Symposium on Functional and Logic Programming, 289-304 , 2008 |
2008 |
| Playing with TOY: Constraints and Domain Cooperation |
European Symposium on Programming, 112-115 , 2008 |
2008 |
| Testing the Behaviour of Entities in a Cognitive Language |
International Journal of Cognitive Informatics and Natural Intelligence 2 (1 … , 2008 |
2008 |
| Solving dynamic TSP by using river formation dynamics |
2008 Fourth International Conference on Natural Computation 1, 246-250 , 2008 |
2008 |
| An Inference Algorithm for Guaranteeing Safe Destruction (Extended version–Technical Report SIC-8-08) |
|
2008 |
| Analyzing Scalable High-Performance I/O Architectures. |
PDPTA 8, 631-637 , 2008 |
2008 |
| Declarative debugging of membership equational logic specifications |
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the … , 2008 |
2008 |
| Un solitario con cartas. |
Novática: Revista de la Asociación de Técnicos de Informática 34 (194), 76-76 , 2008 |
2008 |
| New techniques for modeling file data distribution on storage nodes |
41st Annual Simulation Symposium (anss-41 2008), 175-182 , 2008 |
2008 |
| Formally comparing user and implementer model-based testing methods |
2008 IEEE International Conference on Software Testing Verification and … , 2008 |
2008 |
| Declarative debugging of Maude modules |
Technical Report SIC-6-08, Dpto. Sistemas Informáticos y Computación … , 2008 |
2008 |
| Declarative Debugging of Maude Modules |
|
2008 |
| Declarative debugging of rewriting logic specifications |
International Workshop on Algebraic Development Techniques, 308-325 , 2008 |
2008 |
| Un entorno educativo integrado para la visualización de métodos algorítmicos y estructuras de datos: de la especificación algebraica a la implementación |
Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2008 |
2008 |
| THOTL: A timed extension of HOTL |
Lecture Notes in Computer Science 5047, 86-102 , 2008 |
2008 |
| Finding minimum spanning/distances trees by using river formation dynamics |
Ant Colony Optimization and Swarm Intelligence: 6th International Conference … , 2008 |
2008 |
| Cooperation of constraint domains in the TOY system |
Proceedings of the 10th international ACM SIGPLAN conference on Principles … , 2008 |
2008 |
| An inference algorithm for guaranteeing safe destruction (extended version) |
Technical report, SIC-8-08. Univ. Complutense de Madrid, 2008. http … , 2008 |
2008 |
| : A Timed Extension of |
International Workshop on Formal Approaches to Software Testing, 86-102 , 2008 |
2008 |
| Universal coinductive characterisations of process semantics |
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 … , 2008 |
2008 |
| Parameterized skeletons in Maude |
Universidad Complutense de Madrid , 2007 |
2007 |
| Una herramienta para el estudio de estructuras de datos y algoritmos |
Innovación en el Campus virtual: metodologias y herramientas/III Jornada … , 2007 |
2007 |
| Modular structural operational semantics with strategies |
Electronic Notes in Theoretical Computer Science 175 (1), 3-17 , 2007 |
2007 |
| Estudio de una experiencia de aprendizaje interactivo para la asignatura de estructura de datos |
Jornada Campus Virtual UCM , 2007 |
2007 |
| Mobile Maude |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| TOY, a multiparadigm declarative language (version 2.3.1) |
User Manual, available a t http://toy. sourceforge. net , 2007 |
2007 |
| Testing finite state machines presenting stochastic time and timeouts |
European Performance Engineering Workshop, 97-111 , 2007 |
2007 |
| A hierarchy of data types: from trees to sets |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Equivalence of two formal semantics for functional logic programs |
Electronic Notes in Theoretical Computer Science 188, 117-142 , 2007 |
2007 |
| User Interfaces and Metalanguage Applications |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Metaprogramming Applications |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Programmed search in a timetabling problem over finite domains |
Electronic Notes in Theoretical Computer Science 177, 253-267 , 2007 |
2007 |
| Object-Based Programming |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| The EIGRP protocol in Maude |
Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid … , 2007 |
2007 |
| All about maude-A high-performance logical framework how to specify, program and verify systems in rewriting logic |
Lecture Notes in Computer Science (including subseries Lecture Notes in … , 2007 |
2007 |
| Extra variables can be eliminated from functional logic programs |
Electronic Notes in Theoretical Computer Science 188, 3-19 , 2007 |
2007 |
| Name creation vs. replication in petri net systems |
International Conference on Application and Theory of Petri Nets, 402-422 , 2007 |
2007 |
| Module Operations |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Bundles pack tighter than lists |
Draft Proc. of Trends in Functional Programming 2007 , 2007 |
2007 |
| Formal specification of multi-agent systems by using EUSMs |
International Symposium on Fundamentals of Software Engineering … , 2007 |
2007 |
| Higher-Order and Symbolic |
Higher-Order and Symbolic Computation 20 (1-2), 1-2 , 2007 |
2007 |
| Bib Manager and Word Citer: Bibliography Management and Citation Extraction |
|
2007 |
| E-commerce technologies |
Symposium on Applied Computing: Proceedings of the 2007 ACM symposium on … , 2007 |
2007 |
| Generation of optimal finite test suites for timed systems |
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software … , 2007 |
2007 |
| Cognitive processes by using finite state machines |
International Journal of Cognitive Informatics and Natural Intelligence … , 2007 |
2007 |
| Narrowing for non-determinism with call-time choice semantics |
Proc. Workshop on Logic Programming (WLP’07), Tech. Rep 434, 224-233 , 2007 |
2007 |
| Full maude: Extending core maude |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| A distributed implementation of Mobile Maude |
Electronic Notes in Theoretical Computer Science 176 (4), 113-131 , 2007 |
2007 |
| Reflection, metalevel computation, and strategies |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Introducing debugging capabilities to natural semantics |
Perspectives of Systems Informatics: 6th International Andrei Ershov … , 2007 |
2007 |
| Semantic Relations: Modelling Issues, Proposals and Possible Applications. |
FLAIRS, 512-517 , 2007 |
2007 |
| Comparing alternative evaluation strategies for stream-based parallel functional languages |
Implementation and Application of Functional Languages: 18th International … , 2007 |
2007 |
| Todas las palabras son capicúas (CUPCAM 2006, problema F, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática 189, 72 , 2007 |
2007 |
| LTL model checking |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| A simple rewrite notion for call-time choice semantics |
Proceedings of the 9th ACM SIGPLAN international conference on Principles … , 2007 |
2007 |
| About implementing a constraint functional logic programming system with solver cooperation |
Proc. of CICLOPS 7, 57-71 , 2007 |
2007 |
| All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science |
Springer , 2007 |
2007 |
| Observing intermediate structures in a parallel lazy functional language |
Proceedings of the 9th ACM SIGPLAN international conference on Principles … , 2007 |
2007 |
| Constraint functional logic programming over finite domains |
Theory and Practice of Logic Programming 7 (5), 537-582 , 2007 |
2007 |
| Neglecting Semantic Relations: Consequences and Proposals |
MCCSIS 2007-IADIS Multi Conference on Computer Science and Information … , 2007 |
2007 |
| The EIGRP Protocol in Maude |
|
2007 |
| PCSP: a denotational model of probabilistic processes |
World Scientific , 2007 |
2007 |
| A formal methodology to test complex heterogeneous systems |
International Symposium on Automated Technology for Verification and … , 2007 |
2007 |
| Reflection and Preservation of Properties in Coalgebraic (bi) Simulations |
Theoretical aspects of computing: ICTAC 2007: 4th international colloquium … , 2007 |
2007 |
| Debugging and troubleshooting |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Testing Semantics for Urgent Timed Process Algebras |
Real-Time Systems: Modeling, Design, and Applications, 221-235 , 2007 |
2007 |
| I Simposio de Doctorado en Web Semántica: Salamanca. 13 de noviembre de 2007 |
I Simposio de Doctorado en Web Semántica: Salamanca. 13 de noviembre de 2007 , 2007 |
2007 |
| Using Maude and its strategies for defining a framework for analyzing Eden semantics |
Electronic Notes in Theoretical Computer Science 174 (10), 119-137 , 2007 |
2007 |
| A proposal for the cooperation of solvers in constraint functional logic programming |
Electronic Notes in Theoretical Computer Science 188, 37-51 , 2007 |
2007 |
| Syntax and Basic Parsing |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Using river formation dynamics to design heuristic algorithms |
International conference on unconventional computation, 163-177 , 2007 |
2007 |
| Functional modules |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Model Checking Invariants Through Search |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| On the expressiveness of mobile synchronizing Petri nets |
Electronic Notes in Theoretical Computer Science 180 (1), 77-94 , 2007 |
2007 |
| SPAMR : Extending PAMR with Stochastic Time |
European Performance Engineering Workshop, 63-79 , 2007 |
2007 |
| Predefined data modules |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| To be or not to be... lazy |
Implementation and Application of Functional Languages, 89 , 2007 |
2007 |
| Playing with Maude |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Simulations up-to and canonical preorders |
Electronic Notes in Theoretical Computer Science 192 (1), 13-28 , 2007 |
2007 |
| Formal testing of systems presenting soft and hard deadlines |
International Symposium on Fundamentals of Software Engineering … , 2007 |
2007 |
| All about maude: A high-performance logical framework |
Lecture Notes in Computer Science 4350 , 2007 |
2007 |
| DES: un recurso para el aprendizaje de bases de datos deductivas |
Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2007 |
2007 |
| Some tools |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Deduction, strategies, and rewriting |
Electronic Notes in Theoretical Computer Science 174 (11), 3-25 , 2007 |
2007 |
| A Brief Introduction to |
International Symposium on Automated Technology for Verification and … , 2007 |
2007 |
| Semantic Determinism and Functional Logic Program Properties |
Electronic Notes in Theoretical Computer Science 174 (1), 3-15 , 2007 |
2007 |
| Declarative debugging of Maude functional modules |
|
2007 |
| Specifying Parameterized Data Structures in Maude |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Narrowing for first order functional logic programs with call-time choice semantics |
International Conference on Applications of Declarative Programming and … , 2007 |
2007 |
| Object-Oriented Modules |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| ACIDE: an integrated development environment configurable for LaTeX |
The PracTeX Journal 3 (1), 1-17 , 2007 |
2007 |
| From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. |
J. Univers. Comput. Sci. 13 (13), 2035-2075 , 2007 |
2007 |
| A Formal Environment for Describing Negotiation Capabilities |
6th IEEE International Conference on Cognitive Informatics, 222-231 , 2007 |
2007 |
| New bisimulation semantics for distributed systems |
International Conference on Formal Techniques for Networked and Distributed … , 2007 |
2007 |
| Distributed applications implemented in Maude with parameterized skeletons |
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 … , 2007 |
2007 |
| Maude manual (version 2.3), 2007 |
URL: http://maude. cs. uiuc. edu/maude2-manual , 2007 |
2007 |
| A Model of Probabilistic Processes |
Real-Time Systems: Modeling, Design, and Applications, 57-76 , 2007 |
2007 |
| Reflection and preservation of properties in coalgebraic (bi) simulations |
Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium … , 2007 |
2007 |
| A new generic scheme for functional logic programming with constraints |
Higher-Order and Symbolic Computation 20 (1), 73-122 , 2007 |
2007 |
| A sharing analysis for SAFE |
Trends in Functional Programming 7, 109-128 , 2007 |
2007 |
| Strategies and simulations in a semantic framework |
Journal of Algorithms 62 (3-4), 95-116 , 2007 |
2007 |
| System Modules |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Complete List of Maude Commands |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| A Sampler of Application Areas |
All About Maude-A High-Performance Logical Framework: How to Specify … , 2007 |
2007 |
| Parameterized skeletons in Maude |
TR 1/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense … , 2007 |
2007 |
| Executable structural operational semantics in Maude |
The Journal of Logic and Algebraic Programming 67 (1-2), 226-293 , 2006 |
2006 |
| Customized testing for probabilistic systems |
IFIP International Conference on Testing of Communicating Systems, 87-102 , 2006 |
2006 |
| Assessing the expressivity of formal specification languages |
International Conference on Algebraic Methodology and Software Technology … , 2006 |
2006 |
| Typed mobile ambients in Maude |
Electronic Notes in Theoretical Computer Science 147 (1), 135-161 , 2006 |
2006 |
| A logic for assessing sets of heterogeneous testing hypotheses |
IFIP International Conference on Testing of Communicating Systems, 39-54 , 2006 |
2006 |
| Specification, testing and implementation relations for symbolic-probabilistic systems |
Theoretical Computer Science 353 (1-3), 228-248 , 2006 |
2006 |
| Towards a Set Oriented Calculus for Logic Programming |
Programación y Lenguajes, P. Lucio y F. Orejas (editors), CIMNE, 41-50 , 2006 |
2006 |
| Especificación, derivación y análisis de algoritmos: ejercicios resueltos |
Especificación, derivación y análisis de algoritmos: ejercicios resueltos , 2006 |
2006 |
| An Integrated Functional Logic Language |
|
2006 |
| Implementation relations for stochastic finite state machines |
European Performance Engineering Workshop, 123-137 , 2006 |
2006 |
| Look-and-say biochemistry: Exponential RNA and multistranded DNA |
The American Mathematical Monthly 113 (4), 289-307 , 2006 |
2006 |
| From theoretical e-barter models to an implementation based on Web Services |
Electronic Notes in Theoretical Computer Science 159, 241-264 , 2006 |
2006 |
| Replicated ubiquitous nets |
International Conference on Computational Science and Its Applications, 158-168 , 2006 |
2006 |
| Programming and languages J. UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages |
Programming and languages J. UCS special issue with extended versions of … , 2006 |
2006 |
| Introducción a la computación |
Introducción a la computación , 2006 |
2006 |
| Verification of CRWL Programs with Rewriting Logic. |
J. Univers. Comput. Sci. 12 (11), 1594-1617 , 2006 |
2006 |
| Market-Based Adaptive Discussion Forums |
International Conference on Signal-Image Technology and Internet-Based … , 2006 |
2006 |
| 15th workshop on functional and (constraint) logic programming WFLP’06 |
|
2006 |
| Analyzing the influence of mixed evaluation on the performance of Eden skeletons |
Parallel Computing 32 (7-8), 523-538 , 2006 |
2006 |
| Analyzing the privacy of a Vickrey auction mechanism |
International Journal of E-Business Research (IJEBR) 2 (3), 17-27 , 2006 |
2006 |
| SOCLP: A Set Oriented Calculus for Logic Programming |
|
2006 |
| Introducing the ITP Tool: a Tutorial. |
J. Univers. Comput. Sci. 12 (11), 1618-1650 , 2006 |
2006 |
| A formal framework to reduce communications in communication systems |
Innovative Internet Community Systems: 4th International Workshop, IICS 2004 … , 2006 |
2006 |
| Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems |
Electronic Notes in Theoretical Computer Science 150 (1), 103-126 , 2006 |
2006 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface |
Lecture Notes in Computer Science (including subseries Lecture Notes in … , 2006 |
2006 |
| PAMR: A PROCESS ALGEBRA FOR THE MANAGEMENT CONCURRENT SYSTEMS* OF RESOURCES IN |
Formal Techniques for Networked and Distributed Systems: FORTE 2001 69, 169 , 2006 |
2006 |
| Towards a constraint deductive database language based on hereditary harrop formulas |
Sextas Jornadas de Programación y Lenguajes, PROLE, 171-182 , 2006 |
2006 |
| Curry |
An integrated functional logic language. Version 0.8 2 , 2006 |
2006 |
| Relating two semantic descriptions of functional logic programs |
Proc. Jornadas sobre Programación y Lenguajes (PROLE’06), 31-40 , 2006 |
2006 |
| Process equivalences as global bisimulations |
Graz Univ. Technolgoy, Inst. Information Systems Computer Med. , 2006 |
2006 |
| Elimination of Extra Variables in Functional Logic Programs |
Personal communication , 2006 |
2006 |
| Axiomatization of canonical preorders via simulations up-to |
Unpublished manuscript , 2006 |
2006 |
| Testing entities in a parallel cognitive language |
2006 5th IEEE International Conference on Cognitive Informatics 1, 344-355 , 2006 |
2006 |
| Semantics equivalences defined with global bisimulations |
Annual meeting of the IFIP Working Group 2 , 2006 |
2006 |
| Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation |
Research Report LCC ITI 06-8, Universidad de Málaga , 2006 |
2006 |
| Derivation of a suitable finite test suite for customized probabilistic systems |
International Conference on Formal Techniques for Networked and Distributed … , 2006 |
2006 |
| A tool for interactive learning of data structures and algorithms |
8th International Symposium on Computers in Education Proceedings, SIIE 2006 … , 2006 |
2006 |
| Defining and testing metaadaptable agents |
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and … , 2006 |
2006 |
| Platyhelminthes are [re] constructed recursively |
International Conference on Computational Science, 207-214 , 2006 |
2006 |
| Symbolic semantics for the verification of security properties of mobile petri nets |
International Symposium on Automated Technology for Verification and … , 2006 |
2006 |
| Maude manual |
http://maude. cs. uiuc. edu/maude2-manual/ , 2005 |
2005 |
| Aprendizaje de conceptos lingüísticos construyendo diccionarios basados en taxonomías con estructura de grafo orientado acíclico |
Actas del I Simposio Nacional de Tecnologías de la Información y de las … , 2005 |
2005 |
| Formalizing the debugging process in Haskell |
Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium … , 2005 |
2005 |
| Proving VLRL action properties with the Maude model checker |
Electronic Notes in Theoretical Computer Science 117, 113-133 , 2005 |
2005 |
| Looking for Eden through Maude and its strategies |
V Jornadas sobre Programación y Lenguajes, PROLE, 13-23 , 2005 |
2005 |
| A tutorial on specifying data structures in Maude |
Electronic Notes in Theoretical Computer Science 137 (1), 105-132 , 2005 |
2005 |
| Specification-Based Testing of Real-Time Embedded Systems. |
IESS, 115-124 , 2005 |
2005 |
| Conformance testing relations for timed systems |
International Workshop on Formal Approaches to Software Testing, 103-117 , 2005 |
2005 |
| Diccionarios basados en taxonomías con estructura de grafo orientado acíclico |
Procesamiento del lenguaje natural, 259-266 , 2005 |
2005 |
| Testing speculative work in a lazy/eager parallel functional language |
International Workshop on Languages and Compilers for Parallel Computing … , 2005 |
2005 |
| Testing learning strategies |
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 212-221 , 2005 |
2005 |
| Towards a strategy language for Maude |
Electronic Notes in Theoretical Computer Science 117, 417-441 , 2005 |
2005 |
| Preface |
Electronic Notes in Theoretical Computer Science 117, 1-4 , 2005 |
2005 |
| A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. |
IESS, 125-136 , 2005 |
2005 |
| Ubiquitous systems and Petri nets |
International Conference on Computational Science and Its Applications, 1156 … , 2005 |
2005 |
| Maude Manual (Version 2.2), December 2005 |
|
2005 |
| Programming with |
International Conference on Principles and Practice of Constraint … , 2005 |
2005 |
| Solving FD Constraints in T OY (FD) |
Constraint Programming Beyond Finite Integer Domains (BeyondFD 2005), 77 , 2005 |
2005 |
| Formal specification of multi-agent e-barter systems |
Science of Computer Programming 57 (2), 187-216 , 2005 |
2005 |
| A verification logic for rewriting logic |
Journal of Logic and Computation 15 (3), 317-352 , 2005 |
2005 |
| Bisimulations up-to for the linear time branching time spectrum |
International Conference on Concurrency Theory, 278-292 , 2005 |
2005 |
| Dictionaries based on taxonomies with an acyclic oriented graph structure |
PROCESAMIENTO DEL LENGUAJE NATURAL, 259-266 , 2005 |
2005 |
| Ubiquitous Systems and Petri Nets. Ubiquitous Web Systems and Intelligence, LNCS vol. 3841 |
Springer-Verlag , 2005 |
2005 |
| Proving Modal Properties of Rewrite Theories Using Maude's Metalevel |
Electronic Notes in Theoretical Computer Science 137 (1), 133-150 , 2005 |
2005 |
| Tagged Systems: A Framework for the Specification of History-dependent Properties |
Electronic Notes in Theoretical Computer Science 137 (1), 151-174 , 2005 |
2005 |
| Playing with Maude |
Electronic Notes in Theoretical Computer Science 124 (1), 3-23 , 2005 |
2005 |
| A categorical approach to simulations |
International Conference on Algebra and Coalgebra in Computer Science, 313-330 , 2005 |
2005 |
| Two case studies of semantics execution in Maude: CCS and LOTOS |
Formal Methods in System Design 27, 113-172 , 2005 |
2005 |
| Constraint functional logic programming revisited |
Electronic Notes in Theoretical Computer Science 117, 5-50 , 2005 |
2005 |
| Dealing denotationally with stream-based communication |
Electronic Notes in Theoretical Computer Science 137 (1), 47-68 , 2005 |
2005 |
| From Petri nets to linear logic |
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 … , 2005 |
2005 |
| Transforming information in RDF to rewriting logic |
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 … , 2005 |
2005 |
| Towards Improving Skeletons in Eden. |
PARCO, 843-850 , 2005 |
2005 |
| Specification and testing of autonomous agents in e‐commerce systems |
Software Testing, Verification and Reliability 15 (4), 211-233 , 2005 |
2005 |
| Implementing private Vickrey auctions |
Proceedings of the 2005 ACM symposium on Applied computing, 796-800 , 2005 |
2005 |
| Fractal Go |
|
2005 |
| Estructuras de datos y métodos algorítmicos: ejercicios resueltos |
Pearson educación , 2004 |
2004 |
| Mineralogía del tránsito Pérmico-Triásico en sedimentos continentales del SE de la cordillera Ibérica: implicaciones paleoambientales |
Sociedad Española de Mineralogía , 2004 |
2004 |
| Datalog educational system. user’s manual |
Technical Report 139-04, Facultad de Informática, Universidad Complutense de … , 2004 |
2004 |
| Formal specification of symbolic-probabilistic systems |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| Datalog Educational System V1. 1.1 User’s Manual |
System 1, 1.1 , 2004 |
2004 |
| Semánticas formales para un lenguaje funcional paralelo |
Universidad Complutense de Madrid , 2004 |
2004 |
| Theoroidal maps as algebraic simulations |
International Workshop on Algebraic Development Techniques, 126-143 , 2004 |
2004 |
| Testing of autonomous agents described as utility state machines |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| Erratum to: Formal Techniques for Networked and Distributed Systems–FORTE 2004 |
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th … , 2004 |
2004 |
| A Lazy Narrowing Calculus for Declarative Constraint |
Proceedings of the... International ACM SIGPLAN Conference on Principles and … , 2004 |
2004 |
| A formal framework for analyzing reusability complexity in component-based systems |
Information and Software Technology 46 (12), 791-804 , 2004 |
2004 |
| A logical approach to the verification of functional-logic programs |
WFLP’04 13th International Workshop on Functional and (Constraint) Logic … , 2004 |
2004 |
| An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0 |
Electronic Notes in Theoretical Computer Science 71, 261-281 , 2004 |
2004 |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 |
Springer Science & Business Media , 2004 |
2004 |
| Formal specification of autonomous commerce agents |
Proceedings of the 2004 ACM symposium on Applied computing, 774-778 , 2004 |
2004 |
| Predicting performance in the presence of stochastic information |
International Journal of Computer Systems Science & Engineering 19 (6), 347-353 , 2004 |
2004 |
| ForoCaos: desarrollo de un foro jerárquico |
|
2004 |
| Datalog Educational System V4. 1 User's Manual |
System 4, 1 , 2004 |
2004 |
| Formal Techniques for Networked and Distributed Systems-FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings |
Springer , 2004 |
2004 |
| A conference reviewing system in Mobile Maude |
Electronic Notes in Theoretical Computer Science 71, 127-143 , 2004 |
2004 |
| Applying Occam's razor to FSMs |
Proceedings of the Third IEEE International Conference on Cognitive … , 2004 |
2004 |
| A proof theoretic approach to failure in functional logic programming |
Theory and Practice of Logic Programming 4 (1-2), 41-74 , 2004 |
2004 |
| A parallel language for cognitive informatics |
Proceedings of the Third IEEE International Conference on Cognitive … , 2004 |
2004 |
| Testing of symbolic-probabilistic systems |
International Workshop on Formal Approaches to Software Testing, 49-63 , 2004 |
2004 |
| A formal e-barter system including transactions and shipping cost |
Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas … , 2004 |
2004 |
| Implementing ccs in maude 2 |
Electronic Notes in Theoretical Computer Science 71, 282-300 , 2004 |
2004 |
| A logic programming approach to the verification of functional-logic programs |
Proceedings of the 6th ACM SIGPLAN international conference on Principles … , 2004 |
2004 |
| Preserving contexts for soft conformance relation |
International Workshop on Formal Approaches to Software Testing, 33-48 , 2004 |
2004 |
| Editorial message: special track on E-commerce technologies |
Proceedings of the 2004 ACM symposium on Applied computing, 757-758 , 2004 |
2004 |
| Encouraging knowledge exchange in discussion forums by market-oriented mechanisms |
Proceedings of the 2004 ACM symposium on Applied computing, 952-956 , 2004 |
2004 |
| Specification of autonomous agents in e-commerce systems |
International Conference on Formal Techniques for Networked and Distributed … , 2004 |
2004 |
| ث ر زط× سضر ذ× ش ض ظز ؤ ز ظ ظز سز ذ ب ض ذ ذس |
UNIVERSIDAD COMPLUTENSE DE MADRID , 2004 |
2004 |
| Algebraic simulations |
|
2004 |
| Improving privacy in Vickrey auctions |
ACM SIGEcom Exchanges 5 (1), 1-12 , 2004 |
2004 |
| An integrated framework for the performance analysis of asynchronous communicating stochastic processes |
Formal Aspects of Computing 16 (3), 238-262 , 2004 |
2004 |
| Time-outs and delays in TPBC |
Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas … , 2004 |
2004 |
| Subcadenas en la secuencia" mira y dí"(CUCAM 2003, problema C, enunciado) |
Novática: Revista de la Asociación de Técnicos de Informática 167, 73 , 2004 |
2004 |
| A lazy narrowing calculus for declarative constraint programming |
Proceedings of the 6th ACM SIGPLAN international conference on Principles … , 2004 |
2004 |
| A tutoring system supporting experimentation with virtual macroeconomic environments |
International Conference on Artificial Intelligence: Methodology, Systems … , 2004 |
2004 |
| Formal Semantics for a Parallel Functional Language |
PhD thesis, Universidad Complutense de Madrid.(In spanish.) , 2004 |
2004 |
| Formalizing and proving semantic relations between specifications by reflection |
International Conference on Algebraic Methodology and Software Technology, 72-86 , 2004 |
2004 |
| Programación funcional paralela eficiente en Eden |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2004 |
2004 |
| TOY (FD): Version 0.8 User Manual |
|
2003 |
| Urgency in TPBC |
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 … , 2003 |
2003 |
| Improving deterministic computations in lazy functional logic languages |
Journal of Functional and Logic Programming 1, 23 , 2003 |
2003 |
| Failure and equality in functional logic programming |
Electronic Notes in Theoretical Computer Science 86 (3), 123-143 , 2003 |
2003 |
| Ambient Petri Nets |
Electronic Notes in Theoretical Computer Science 85 (1), 39 , 2003 |
2003 |
| Urgency in TPBC |
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 … , 2003 |
2003 |
| Maude como marco semántico ejecutable |
PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain , 2003 |
2003 |
| Patterns and Skeletons for Parallel and Distributed Computing |
Parallelism Abstractions in Eden, 95-128 , 2003 |
2003 |
| Microeconomic Theory and Process Algebras” |
Innovative Internet Computing Systems: Second International Workshop, IICS … , 2003 |
2003 |
| Maude 2.0 Manual |
Available in http://maude. cs. uiuc. edu , 2003 |
2003 |
| Defining meta-adaptable living agents |
The Second IEEE International Conference on Cognitive Informatics, 2003 … , 2003 |
2003 |
| Intoducing CEES: Complex Economic Environments Simulator |
Computational Science—ICCS 2003: International Conference Melbourne … , 2003 |
2003 |
| Replicated ambient Petri nets |
International Conference on Computational Science, 774-783 , 2003 |
2003 |
| Executable Structural Operational Semantics in Maude |
|
2003 |
| Comparing parallel functional languages: Programming and performance |
Higher-Order and Symbolic Computation 16, 203-251 , 2003 |
2003 |
| A multi-agent system for e-barter including transaction and shipping costs |
Proceedings of the 2003 ACM symposium on Applied computing, 587-594 , 2003 |
2003 |
| A Framework for Selecting Components Automatically |
Electronic Notes in Theoretical Computer Science 82 (6), 1-11 , 2003 |
2003 |
| Parallelism abstractions in Eden |
Patterns and Skeletons for Parallel and Distributed Computing, 95-128 , 2003 |
2003 |
| Functional logic programming with failure and built-in equality |
Proc. International Workshop on Functional and (Constraint) Logic … , 2003 |
2003 |
| Notes on Model Checking and Abstraction in Rewriting Logic |
|
2003 |
| Notes on model checking and abstraction in rewriting logic |
Technical report, U. of Illinois at Urbana-Champaign , 2003 |
2003 |
| A parallel framework for computational science |
Computational Science—ICCS 2003: International Conference Melbourne … , 2003 |
2003 |
| TOY (FD): Sketch of operational semantics |
Principles and Practice of Constraint Programming–CP 2003: 9th International … , 2003 |
2003 |
| Equational abstractions |
Automated Deduction–CADE-19: 19th International Conference on Automated … , 2003 |
2003 |
| The maude 2.0 system |
International Conference on Rewriting Techniques and Applications, 76-87 , 2003 |
2003 |
| Formally deriving an STG machine |
Proceedings of the 5th ACM SIGPLAN international conference on Principles … , 2003 |
2003 |
| Towards the identification of living agents in complex computational environments |
The Second IEEE International Conference on Cognitive Informatics, 2003 … , 2003 |
2003 |
| Solving combinatorial problems with a constraint functional logic language |
Practical Aspects of Declarative Languages: 5th International Symposium … , 2003 |
2003 |
| Maude 2.0 Manual, 2003 |
|
2003 |
| Continutation Semantics for Parallel Haskell Dialects. |
Springer , 2003 |
2003 |
| Towards testing stochastic timed systems |
Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd … , 2003 |
2003 |
| Archivos de Pediatría del Uruguay Volumen 78, 2007 Índice de autores |
Arch Pediatr Urug 78 (4), 4 , 2003 |
2003 |
| Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic |
Formal Aspects of Computing 14, 228-246 , 2003 |
2003 |
| Replicated workers in Eden |
Constructive Methods for Parallel Programming 10, 143-164 , 2002 |
2002 |
| Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados |
Universidad Complutense de Madrid , 2002 |
2002 |
| A constraint functional logic language for solving combinatorial problems |
Research and Development in Intelligent Systems XIX: Proceedings of ES2002 … , 2002 |
2002 |
| A Functional Logic Language with Finite Domain Constraints. |
APPIA-GULP-PRODE, 7-22 , 2002 |
2002 |
| A Maude specification of an object-oriented model for telecommunication networks |
Theoretical Computer Science 285 (2), 407-439 , 2002 |
2002 |
| Proving the correctness of the STG machine |
Implementation of Functional Languages: 13th International Workshop, IFL … , 2002 |
2002 |
| Maude: Specification and programming in rewriting logic |
Theoretical Computer Science 285 (2), 187-243 , 2002 |
2002 |
| Interfacing a Functional Logic Language with a Finite Domain Solver |
11th International Workshop on Functional and (constraint) Logic Programming … , 2002 |
2002 |
| Introducing the golden section to computer science |
Proceedings first IEEE international conference on cognitive informatics … , 2002 |
2002 |
| Sistema de identificación y explotación de paralelismo en programas lógico-funcionales |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2002 |
2002 |
| Cardelli’s challenge in Mobile Maude: A conference reviewing system |
|
2002 |
| An operational semantics for the parallel language Eden |
Parallel Processing Letters 12 (02), 211-228 , 2002 |
2002 |
| Dynamic-cut with definitional trees |
International Symposium on Functional and Logic Programming, 245-258 , 2002 |
2002 |
| Review of the paper ‘Concurrent Systems Analysis Using ECATNets’ by F. Belala. |
Logic Journal of the IGPL 10 (4) , 2002 |
2002 |
| Toy: A multiparadigm declarative language |
Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación … , 2002 |
2002 |
| Giving semantics to RDF by mapping into rewriting logic |
Poster paper. ISWC , 2002 |
2002 |
| Encoding PAMR into (timed) EFSMs |
Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd … , 2002 |
2002 |
| Rewriting logic and its applications |
Theoretical Computer Science 285 (2) , 2002 |
2002 |
| Transforming information in RDF to rewriting logic |
Segundas Jornadas sobre Programación y Lenguajes (PROLE 2002), El Escorial … , 2002 |
2002 |
| Stochastic process algebras meet Eden |
International Conference on Integrated Formal Methods, 29-48 , 2002 |
2002 |
| A formal framework for e-barter based on microeconomic theory and process algebras |
International Workshop on Innovative Internet Community Systems, 217-228 , 2002 |
2002 |
| Theoretical Computer Science: Preface |
Theoretical Computer Science 285 (2), 119-120 , 2002 |
2002 |
| Semánticas de pruebas para álgebras de procesos probabilísticos |
Universidad Complutense de Madrid, Servicio de Publicaciones , 2002 |
2002 |
| Including malicious agents into a collaborative learning environment |
International Conference on Intelligent Tutoring Systems, 51-60 , 2002 |
2002 |
| Material curricular interactivo para la enseñanza de la lengua y la literatura española |
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, 2 , 2002 |
2002 |
| Rewriting logic: roadmap and bibliography |
Theoretical Computer Science 285 (2), 121-154 , 2002 |
2002 |
| A tool for Full LOTOS in Maude |
Technical Report 123-02, Dpto. Sistemas Informáticos y Programación … , 2002 |
2002 |
| AMEVA: Desarrollo Formal de Sistemas Basados en Agentes M oviles y Evaluaci on de Rendimientos TIC2000 {0701 {C02 |
Jornada de Seguimiento de Proyectos en Tecnologias Software y Hardware , 2002 |
2002 |
| Narrowing failure in functional logic programming |
International Symposium on Functional and Logic Programming, 212-227 , 2002 |
2002 |
| LOTOS symbolic semantics in Maude |
Technical Report 122-02, Dpto. Sistemas Informáticos y Programación … , 2002 |
2002 |
| W hat : Web-Based Haskell Adaptive Tutor |
Artificial Intelligence: Methodology, Systems, and Applications: 10th … , 2002 |
2002 |
| Rewriting logic as a logical and semantic framework |
Handbook of Philosophical Logic , 2002 |
2002 |
| Building tools for LOTOS symbolic semantics in Maude |
Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd … , 2002 |
2002 |
| PAMR: A process algebra for the management of resources in concurrent systems |
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 … , 2001 |
2001 |
| The Leader Election Protocol of IEEE 1394 in Maude |
|
2001 |
| Ш ХЪ: A process algebra for the management of resources in concurrent system |
Available at: ??? ?? ? ? ?? ??? ?? ?? ? ?????? ? ???? ?????? ? , 2001 |
2001 |
| A Proof of Correctness for the STG Machine |
Technical Report 120-01, Dept. SIP, Universidad Complutense de Madrid, Spain … , 2001 |
2001 |
| Extending the Petri box calculus with time |
International Conference on Application and Theory of Petri Nets, 303-322 , 2001 |
2001 |
| Two reflected analyses of lights out |
Mathematics Magazine 74 (4), 295-304 , 2001 |
2001 |
| ÈÅÊ: A process algebra for the management of resources in concurrent system |
Available at: ØØÔ»» ÐÐº× ÔºÙ Ñº×» ÑÒÓÐÓ» Ô ÔÖ×» ÔÑÖºÔ× ºÞ , 2001 |
2001 |
| Deriving Non-Hierarchical Process Topologies. |
Scottish Functional Programming Workshop, 51-62 , 2001 |
2001 |
| sPBC: a Markovian extension of finite Petri box calculus |
Proceedings 9th International Workshop on Petri Nets and Performance Models … , 2001 |
2001 |
| Language prototyping in the Maude metalanguage |
Primeras jornadas sobre programación y lenguajes:(Prole 2001):[celebradas en … , 2001 |
2001 |
| Theoretical foundations for the declarative debugging of lazy functional logic programs |
International Symposium on Functional and Logic Programming, 170-184 , 2001 |
2001 |
| Adding traces to a lazy monadic evaluator |
Computer Aided Systems Theory—EUROCAST 2001: A Selection of Papers from the … , 2001 |
2001 |
| A case study in abstraction using E-LOTOS and the FireWire |
Computer Networks 37 (3-4), 481-502 , 2001 |
2001 |
| Using Rewriting Logic to implement the modal logic FULL |
1st Workshop on Automated Verification of Critical Systems (AVoCS) , 2001 |
2001 |
| Parallel functional programming at two levels of abstraction |
Proceedings of the 3rd ACM SIGPLAN international conference on Principles … , 2001 |
2001 |
| Programación funcional paralela eficiente en Eden |
PhD thesis, Dept. Sistemas Informáticos y Programación, Universidad … , 2001 |
2001 |
| Functional logic programming with failure: A set-oriented view |
International Conference on Logic for Programming Artificial Intelligence … , 2001 |
2001 |
| Process calculi: E-LOTOS |
Formal methods for distributed processing: a survey of object-oriented … , 2001 |
2001 |
| Implementation skeletons in Eden: Low-effort parallel programming |
Implementation of Functional Languages: 12th International Workshop, IFL … , 2001 |
2001 |
| E-LOTOS Tutorial with Examples |
Universidad Complutense de Madrid. Spain , 2000 |
2000 |
| Tile bisimilarity congruences for open terms and term graphs |
University of Pisa , 2000 |
2000 |
| Executing and verifying CCS in Maude |
Technical Report , 2000 |
2000 |
| Bisimilarity congruences for open terms and term graphs via tile logic |
CONCUR 2000—Concurrency Theory: 11th International Conference University … , 2000 |
2000 |
| Proving failure in functional logic programs (extended version) |
Tech. Rep. SIP 00/100-00, UCM Madrid , 2000 |
2000 |
| A Maude tutorial, Tutorial distributed as documentation of the Maude system |
Computer Science Laboratory, SRI International. Presented at the Europ … , 2000 |
2000 |
| A distributed operational semantics for a parallel functional language |
Intellect Books , 2000 |
2000 |
| Towards a verification logic for rewriting logic |
Recent Trends in Algebraic Development Techniques: 14th International … , 2000 |
2000 |
| Executing E-LOTOS processes in Maude |
INT, 49-53 , 2000 |
2000 |
| The leader election protocol of IEEE 1394 in Maude |
Electronic Notes in Theoretical Computer Science 36, 383-404 , 2000 |
2000 |
| Optimizing Eden by Program Transformation. |
WFLP, 89-103 , 2000 |
2000 |
| M. Clavel Univ. de Navarra, Spain |
|
2000 |
| Towards Maude 2.0 |
Electronic Notes in Theoretical Computer Science 36, 294-315 , 2000 |
2000 |
| Polytypic programming in Maude |
Electronic Notes in Theoretical Computer Science 36, 339-360 , 2000 |
2000 |
| A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. |
WFLP, 8-22 , 2000 |
2000 |
| Proving failure in functional logic programs |
International Conference on Computational Logic, 179-193 , 2000 |
2000 |
| Decidability of properties of timed-arc Petri nets |
Application and Theory of Petri Nets 2000: 21st International Conference … , 2000 |
2000 |
| A maude tutorial |
Computer Science Laboratory, SRI International , 2000 |
2000 |
| A tutorial on Maude |
URL: http://maude. cs. uiuc. edu , 2000 |
2000 |
| Implementing CCS in maude |
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 … , 2000 |
2000 |
| Optimising Eden by transformation. |
Scottish Functional Programming Workshop, 13-26 , 2000 |
2000 |
| Executing and verifying CCS in Maude |
|
2000 |
| Implementing CCS in Maude |
International Conference on Protocol Specification, Testing and Verification … , 2000 |
2000 |
| A functional-logic perspective of parsing |
International Symposium on Functional and Logic Programming, 85-99 , 1999 |
1999 |
| Maude: specification and programming in rewriting logic, Manual distributed as documentation of the Maude system |
Computer Science Laboratory, SRI International. http://maude. csl. sri. com … , 1999 |
1999 |
| The Maude System |
Rewriting Techniques and Applications: 10th International Conference, RTA'99 … , 1999 |
1999 |
| An approach to declarative programming based on a rewriting logic |
The Journal of Logic Programming 40 (1), 47-87 , 1999 |
1999 |
| Teaching monadic algorithms to first-year students% |
Workshop on Algorithmic Aspects of Advanced Programming Languages WAAAPL’99, 33 , 1999 |
1999 |
| Programación en Pascal |
Prentice Hall , 1999 |
1999 |
| Functional plus logic programming with built-in and symbolic constraints |
International Conference on Principles and Practice of Declarative … , 1999 |
1999 |
| TOY : A Multiparadigm Declarative System |
International Conference on Rewriting Techniques and Applications, 244-247 , 1999 |
1999 |
| The maude system |
International Conference on Rewriting Techniques and Applications, 240-243 , 1999 |
1999 |
| Using reflection to specify transaction sequences in rewriting logic |
Recent Trends in Algebraic Development Techniques: 13th International … , 1999 |
1999 |
| On non-decidability of reachability for timed-arc Petri nets |
Proceedings 8th International Workshop on Petri Nets and Performance Models … , 1999 |
1999 |
| E-LOTOS: Tutorial and semantics |
Master's thesis , 1999 |
1999 |
| Disequalities may help to narrow |
Proc. APPIAGULP-PRODE 99, 89-104 , 1999 |
1999 |
| Relating May and Must Testing Semantics for Discrete Timed Process Algebras |
Advances in Computing Science-ASIAN'99: 5th Asian Computing Science … , 1999 |
1999 |
| Relating may and must testing semantics for discrete timed process algebras |
Advances in Computing Science—ASIAN’99: 5th Asian Computing Science … , 1999 |
1999 |
| Extensions: A technique for structuring functional-logic programs |
International Andrei Ershov Memorial Conference on Perspectives of System … , 1999 |
1999 |
| From GranSim to paradise |
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99 … , 1999 |
1999 |
| Global timed bisimulation: An introduction |
International Conference on Protocol Specification, Testing and Verification … , 1999 |
1999 |
| Action and change in rewriting logic |
Dynamic Worlds: From the Frame Problem to Knowledge Management, 1-53 , 1999 |
1999 |
| Time, E-LOTOS, and the FireWire |
Proceedings of the Workshop on Formal Methods and Telecommunications,(WFMT … , 1999 |
1999 |
| Maude as a metalanguage |
Electronic Notes in Theoretical Computer Science 15, 147-160 , 1998 |
1998 |
| Craniectomía descompresiva en el tratamiento del edema cerebral severo: comunicación preliminar de nueve casos |
Clín. méd. HCC, 33-39 , 1998 |
1998 |
| A fondo dynamic HTML |
McGraw-Hill/Interamericana de España , 1998 |
1998 |
| Parallel Arc-Consistency for Functional Constraints. |
Implementation Technology for Programming Languages based on Logic, 86-100 , 1998 |
1998 |
| An invitation to friendly testing |
Journal of Computer Science and Technology 13, 531-545 , 1998 |
1998 |
| Metalevel computation in Maude |
Electronic Notes in Theoretical Computer Science 15, 331-352 , 1998 |
1998 |
| Embedding multiset constraints into a lazy functional logic language |
International Conference on Algebraic and Logic Programming, 429-444 , 1998 |
1998 |
| Declarative programming with real constraints |
Tech. Rep. SIP 5997, Universidad Complutense de Madrid , 1997 |
1997 |
| Denotational semantics for timed testing |
Transformation-Based Reactive Systems Development: 4th International AMAST … , 1997 |
1997 |
| Introducing friendly testing |
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia … , 1997 |
1997 |
| Dept. de Sistemas Informáticos y Programación Universidad Complutense de Madrid. E-28040 Madrid. Spain. e-mail:{defrutos, llana, manuelnu}@ dia. ucm. es |
Formal Description Techniques and Protocol Specification, Testing and … , 1997 |
1997 |
| Introducing friendly testing |
Technical Report DIA 53/97, Dept. Informática y Automática, Universidad … , 1997 |
1997 |
| Friendly testing as a conformance relation |
Formal Description Techniques and Protocol Specification, Testing and … , 1997 |
1997 |
| Introducing friendly testing |
Univ. Vigo , 1997 |
1997 |
| A sound and complete proof system for probabilistic processes |
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent … , 1997 |
1997 |
| User’s manual for Toy |
Tech. Rep. DIA 97/57 , 1997 |
1997 |
| Inclusions and subtypes II: Higher-order case |
Journal of Logic and Computation 6 (4), 541-572 , 1996 |
1996 |
| Inclusions and subtypes I: First-order case |
Journal of Logic and Computation 6 (3), 409-438 , 1996 |
1996 |
| Toxic hepatitis caused by aceclofenac |
Revista espanola de enfermedades digestivas 88 (11), 815-816 , 1996 |
1996 |
| Functional logic programming with real numbers |
Proc. of the JICSLP 96, 96-28 , 1996 |
1996 |
| A rewriting logic for declarative programming |
Programming Languages and Systems—ESOP'96: 6th European Symposium on … , 1996 |
1996 |
| A Maude specification of an object-oriented database model for telecommunication networks |
Electronic Notes in Theoretical Computer Science 4, 405-423 , 1996 |
1996 |
| Real Constraints within a Functional Logic Language. |
APPIA-GULP-PRODE, 451-464 , 1996 |
1996 |
| Acceptance trees for probabilistic processes |
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA … , 1995 |
1995 |
| A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci |
ACM SIGCSE Bulletin 27 (2), 49-56 , 1995 |
1995 |
| Sistema de identificación y explotación de paralelismo |
|
1995 |
| Maude 2.0 Manual. June 2003 |
Available in http://maude. cs. uiuc. edu , 1995 |
1995 |
| A Babel Parallel System: VHDL Modelling for Performance Measurement. |
GULP-PRODE (2), 238-252 , 1994 |
1994 |
| A characterization of LOTOS representable networks of parallel processes |
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the … , 1994 |
1994 |
| From abstract data types to logical frameworks |
Workshop on the Specification of Abstract Data Types, 48-80 , 1994 |
1994 |
| Programación funcional y lógica con restricciones |
PhD Thesis , 1994 |
1994 |
| Combining lazy narrowing with disequality constraints |
Programming Language Implementation and Logic Programming: 6th International … , 1994 |
1994 |
| Compiling rewriting onto SIMD and MIMD/SIMD machines |
PARLE'94 Parallel Architectures and Languages Europe: 6th International … , 1994 |
1994 |
| A model for mathematical analysis of functional logic programs and their implementations |
IFIP 13th World Computer Congress 1994 Volume I: Technology/Foundations, 410-415 , 1994 |
1994 |
| Specification, transformation, and programming of concurrent systems in rewriting logic |
SRI International, Computer Science Laboratory , 1994 |
1994 |
| General logics and logical frameworks |
What is a logical system?, 355-391 , 1994 |
1994 |
| A demand driven computation strategy for lazy narrowing |
Progamming Language Implementation and Logic Programming: 5th International … , 1993 |
1993 |
| Planification des réseaux de télécommunication nationaux |
Revue des Télécommunications, 188-194 , 1993 |
1993 |
| Planning national telecommunication networks |
Electrical Communication, 188-194 , 1993 |
1993 |
| Decidability of the strict reachability problem for TPN’s with rational and real durations |
Proc. 5th. International Workshop on Petri Nets and Performance Models, 56-65 , 1993 |
1993 |
| Inverse expansion |
Formal Description Techniques, IV, 297-312 , 1992 |
1992 |
| Implementing Disequality in the Lazy Functional Logic Language Babel |
RWTH, Fachgruppe Informatik , 1992 |
1992 |
| Result Directed Computing in a Functional Logic Language |
Verlag nicht ermittelbar Aachen , 1992 |
1992 |
| Introducción a los PC |
McGraw Hill , 1992 |
1992 |
| Implementing a Lazy Functional Logic Language with Disequality Constraints. |
JICSLP, 207-221 , 1992 |
1992 |
| CSP Probabilístico (PCSP): un modelo operacional |
Panel'92: actas, XVIII Conferencia Latinoamericana de Informática, 338-346 , 1992 |
1992 |
| An algebraic axiomatization of linear logic models |
Topology and category theory in computer science, 335-355 , 1991 |
1991 |
| A complete proof system for timed observations |
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and … , 1991 |
1991 |
| Telecom networks evolution towards secure dynamic structures |
Int. Teletroffic Cangr. Specialists' Sere., Cracow, Poland , 1991 |
1991 |
| Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems |
Proceedings of the Fourth International Workshop on Petri Nets and … , 1991 |
1991 |
| Routing gain in trunking and in traffic handling from non-hierarchical alternative call routing |
IEICE Transactions on Communications 74 (12), 4017-4024 , 1991 |
1991 |
| From Petri nets to linear logic through categories: A survey |
International Journal of Foundations of Computer Science 2 (04), 297-399 , 1991 |
1991 |
| Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems |
Petri Nets and Perfomance Models 91, 154-163 , 1991 |
1991 |
| Applications to Decidability of the Timed Reachability Problem |
Petri Nets and Performance Models, 154 , 1991 |
1991 |
| On narrowing strategies for partial non-strict functions |
International Joint Conference on Theory and Practice of Software … , 1991 |
1991 |
| Graphical composition theorems for parallel and hiding operators |
Proceedings of the IFIP TC6/WG6. 1 Third International Conference on Formal … , 1990 |
1990 |
| Timed Observations: A Semantic Model for Real-Time Concurrency. |
Programming Concepts and Methods, 125-154 , 1990 |
1990 |
| Duality in closed and linear categories |
SRI International, Computer Science Laboratory , 1990 |
1990 |
| Inclusions and subtypes |
SRI International, Computer Science Laboratory , 1990 |
1990 |
| Formal Description Techniques, III J. Quemada, J. Mafias, E. Vazquez (Editors) Elsevier Science Publishers BV (North-Holland) 459 IFIP, 1991 |
Formal Description Techniques: Proceedings of the IFIP TC/WG 6.1 … , 1990 |
1990 |
| Simulación de una máquina secuencial de programación lógica |
Revista de informática y automática 22 (1), 55-63 , 1989 |
1989 |
| SIMULATION OF A SEQUENTIAL LOGIC PROGRAMMING MACHINE |
REVISTA DE INFORMATICA Y AUTOMATICA 22 (1), 55-63 , 1989 |
1989 |
| Equivalence Relations of Non-Deterministic Ianov-Schemes |
Fundamenta Informaticae 12 (3), 289-315 , 1989 |
1989 |
| TIC: A timed calculus for LOTOS |
Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal … , 1989 |
1989 |
| SIMULACIÓN DE UNA MÁQUINA SECUENCIAL DE PROGRAMACIÓN LÓGICA |
|
1989 |
| Decidability of home space property |
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en … , 1989 |
1989 |
| Ciclo Ismael Rodríguez |
(No Title) , 1987 |
1987 |
| Probabilistic Ianov's schemes |
Theoretical Computer Science 53 (1), 67-97 , 1987 |
1987 |
| Some probabilistic powerdomains in the category SFP |
STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science … , 1986 |
1986 |
| Decidability of home states in place transition systems |
Report of Dpto. Informatica y Automatica. Univ. Complutense de Madrid , 1986 |
1986 |
| Algunas cuestiones relacionadas con la semántica de construcciones probabilísticas |
Universidad Complutense de Madrid , 1985 |
1985 |
| A characterization of Plotkin's order in powerdomains, and some of its properties |
Theoretical computer science 31 (1-2), 73-82 , 1984 |
1984 |
