Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuel Núñez
2010 – today
- 2013
[j31]Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013)- [c96]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113
- 2012
- [j30]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation relations and test generation for systems with distributed interfaces. Distributed Computing 25(1): 35-62 (2012)
- [j29]Robert M. Hierons, Manuel Núñez: Using schedulers to test probabilistic distributed systems. Formal Asp. Comput. 24(4-6): 679-699 (2012)
- [j28]Manuel Núñez: An Analytic Study of the Reversal of Hartmann Flows by Rotating Magnetic Fields. Int. J. Math. Mathematical Sciences 2012 (2012)
- [j27]Suzana Andover, Annabelle McIver, Manuel Núñez: Preface: Special Issue QFM 2009. J. Log. Algebr. Program. 81(1): 1 (2012)
- [j26]César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal passive testing of timed systems: theory and tools. Softw. Test., Verif. Reliab. 22(6): 365-405 (2012)
- [j25]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A formal framework to test soft and hard deadlines in timed systems. Softw. Test., Verif. Reliab. 22(8): 583-608 (2012)
- [c95]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Using Time to Add Order to Distributed Testing. FM 2012: 232-246
- [c94]César Andrés, Alberto Nuñez, Manuel Núñez: Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) 2012: 505-514
- 2011
- [j24]Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons: Testing timed systems modeled by Stream X-machines. Software and System Modeling 10(2): 201-217 (2011)
- [j23]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-based testing of systems with distributed ports. Softw., Pract. Exper. 41(10): 999-1026 (2011)
- [c93]César Andrés, Luis Llana, Manuel Núñez: Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122
- [c92]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403
- [c91]Carlos Molinero, Manuel Núñez, Robert M. Hierons: Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) 2011: 404-411
- [c90]
- [e7]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo (Eds.): Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011
- 2010
- [c89]César Andrés, María-Emilia Cambronero, Manuel Núñez: Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613
- [c88]César Andrés, Manuel Núñez, Yaofeng Zhang: From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63
- [c87]Robert M. Hierons, Manuel Núñez: Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77
- [c86]Juan José Pardo, Manuel Núñez, M. Carmen Ruiz: Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. FMOODS/FORTE 2010: 78-86
- [c85]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61
- [c84]César Andrés, Mercedes G. Merayo, Manuel Núñez: Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410
- [c83]César Andrés, María-Emilia Cambronero, Manuel Núñez: Passive Testing of Web Services. WS-FM 2010: 56-70
- [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
2000 – 2009
- 2009
- [j22]Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for RTPA. Fundam. Inform. 90(3): 305-335 (2009)
- [j21]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Testing from a stochastic timed system with a fault model. J. Log. Algebr. Program. 78(2): 98-115 (2009)
- [j20]Lars Frantzen, Mercedes G. Merayo, Manuel Núñez: A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebr. Program. 78(6): 417-424 (2009)
- [c82]César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez: Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159
- [c81]César Andrés, Carlos Molinero, Manuel Núñez: A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356
- [c80]Juan José Pardo, Manuel Núñez, M. Carmen Ruiz: A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. ICCCI (SCI Volume) 2009: 193-204
- [c79]Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli: A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205
- [c78]César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76
- [c77]César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80
- [c76]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334
- [c75]Carlos Molinero, Manuel Núñez, César Andrés: Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350
- [c74]César Andrés, Mercedes G. Merayo, Manuel Núñez: Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154
- [c73]Robert M. Hierons, Manuel Núñez: Simulation Relations for Systems with Distributed Interfaces. SEFM 2009: 41-50
- [c72]César Andrés, Mercedes G. Merayo, Manuel Núñez: Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82
- [c71]César Andrés, Mercedes G. Merayo, Manuel Núñez: Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431
- [e6]Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.): Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5
- [e5]Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS 13, 2009
- 2008
- [j19]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal testing from timed finite state machines. Computer Networks 52(2): 432-460 (2008)
- [j18]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: HOTL: Hypotheses and observations testing logic. J. Log. Algebr. Program. 74(2): 57-93 (2008)
- [j17]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008)
- [j16]Natalia López, Manuel Núñez, Fernando L. Pelayo: A Comparative Study of STOPA and RTPA. Transactions on Computational Science 2: 224-245 (2008)
- [c70]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215
- [c69]César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427
- [c68]Manuel Núñez, Luis Fernando Llana Díaz: A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282
- [c67]Mercedes G. Merayo, Manuel Núñez: Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102
- [c66]César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123
- [c65]César Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234
- [c64]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102
- [c63]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215
- [c62]César Andrés, Rafael G. Aranda, Manuel Núñez: Using formal methods to develop a complex information system: a practical/theoretical experience. SAC 2008: 848-849
- [c61]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210
- [c60]César Andrés, Carlos Molinero, Manuel Núñez: A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS 2008: 169-176
- 2007
- [j15]Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007)
- [j14]Natalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007)
- [j13]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. UCS 13(13): 2035-2075 (2007)
- [c59]Ismael Rodríguez, Manuel Núñez: A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409
- [c58]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510
- [c57]Natalia López, Manuel Núñez, Ismael Rodríguez: SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79
- [c56]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111
- [c55]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174
- [c54]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333
- [c53]Mercedes G. Merayo, Manuel Núñez: Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236
- [c52]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158
- 2006
- [j12]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-barter Models to an Implementation Based on Web Services. Electr. Notes Theor. Comput. Sci. 159: 241-264 (2006)
- [j11]Natalia López, Manuel Núñez, Ismael Rodríguez: Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353(1-3): 228-248 (2006)
- [c51]Natalia López, Manuel Núñez, Ismael Rodríguez: Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234
- [c50]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137
- [c49]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387
- [c48]Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE 2006: 467-483
- [c47]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54
- [c46]Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Customized Testing for Probabilistic Systems. TestCom 2006: 87-102
- [c45]Sviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866
- [c44]Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
- [e4]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8
- [e3]Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (Eds.): Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Lecture Notes in Computer Science 4184, Springer 2006, ISBN 3-540-38862-1
- 2005
- [j10]Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi: A passive testing approach based on invariants: application to the WAP. Computer Networks 48(2): 235-245 (2005)
- [j9]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005)
- [j8]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Specification and testing of autonomous agents in e-commerce systems. Softw. Test., Verif. Reliab. 15(4): 211-233 (2005)
- [c43]Fernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247
- [c42]Manuel Núñez, Ismael Rodríguez: Conformance Testing Relations for Timed Systems. FATES 2005: 103-117
- [c41]Natalia López, Manuel Núñez: Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC 2005: 454-468
- [c40]Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on e-commerce technologies. SAC 2005: 789-790
- 2004
- [j7]Natalia López, Manuel Núñez, Fernando Rubio: Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19(6) (2004)
- [j6]Natalia López, Manuel Núñez, Fernando Rubio: An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Asp. Comput. 16(3): 238-262 (2004)
- [j5]Ismael Rodríguez, Manuel Núñez, Fernando Rubio: A formal framework for analyzing reusability complexity in component-based systems. Information & Software Technology 46(12): 791-804 (2004)
- [j4]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004)
- [c39]Natalia López, Manuel Núñez, Fernando L. Pelayo: STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI 2004: 64-73
- [c38]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147
- [c37]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370
- [c36]Natalia López, Manuel Núñez, Ismael Rodríguez: Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63
- [c35]Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44
- [c34]Natalia López, Manuel Núñez, Ismael Rodríguez: Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127
- [c33]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336
- [c32]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80
- [c31]Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on E-commerce technologies. SAC 2004: 757-758
- [c30]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956
- [c29]Natalia López, Manuel Núñez: An Overview of Probabilistic Process Algebras and their Equivalences. Validation of Stochastic Systems 2004: 89-123
- [e2]David de Frutos-Escrig, Manuel Núñez (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3235, Springer 2004, ISBN 3-540-23252-4
- [e1]Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, ISBN 3-540-23169-2
- 2003
- [j3]Manuel Núñez: Algebraic theory of probabilistic processes. J. Log. Algebr. Program. 56(1-2): 117-177 (2003)
- [c28]Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160
- [c27]
- [c26]Ismael Rodríguez, Manuel Núñez: Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science 2003: 658-667
- [c25]Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez: TestNet: Let's Test Together!. TestCom 2003: 258-264
- [c24]José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez: Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310
- [c23]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. SAC 2003: 587-594
- 2002
- [c22]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
- [c21]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
- [c20]
- [c19]
- [c18]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS 2002: 217-228
- [c17]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems 2002: 51-60
- 2001
- [c16]Natalia López, Manuel Núñez: A Testing Theory for Generally Distributed Stochastic Processes. CONCUR 2001: 321-335
- [c15]Manuel Núñez, Ismael Rodríguez: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE 2001: 169-184
- 2000
- [c14]Natalia López, Manuel Núñez: NMSPA: A Non-Markovian Model for Stochastic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E33-E40
1990 – 1999
- 1999
- [j2]Carlos Gregorio-Rodríguez, Manuel Núñez: Denotational Semantics for Probabilistic Refusal Testing. Electr. Notes Theor. Comput. Sci. 22: 111-137 (1999)
- [c13]
- [c12]
- [c11]David de Frutos-Escrig, Natalia López, Manuel Núñez: Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
- 1998
- [j1]David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: An invitation to friendly testing. J. Comput. Sci. Technol. 13(6): 531-545 (1998)
- 1997
- [c10]Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza: Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367
- [c9]Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for Unbounded Nondeterminism. Euro-Par 1997: 538-545
- [c8]David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
- 1996
- [c7]Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez: A New Look to Pattern Matching in Abstract Data Types. ICFP 1996: 110-121
- 1995
- [c6]Pedro Palao, Manuel Núñez: An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. GULP-PRODE 1995: 383-394
- [c5]Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz: Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
- [c4]Manuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
- [c3]Manuel Núñez, Pedro Palao, Ricardo Pena: A Second Year Course on Data Structures Based on Functional Programming. FPLE 1995: 65-84
- [c2]David de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. PSTV 1995: 237-250
- 1994
- [c1]Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena: Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team