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.
Fernando Orejas
2010 – today
- 2013
[j49]Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Invariant-Free Clausal Temporal Resolution. J. Autom. Reasoning 50(1): 1-49 (2013)- [j48]Esther Guerra, Juan de Lara, Fernando Orejas: Inter-modelling with patterns. Software and System Modeling 12(1): 145-174 (2013)
- [c70]Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128
- 2012
- [j47]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012)
- [j46]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas: ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Inform. 118(1-2): 35-63 (2012)
- [j45]
- [j44]Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: Semantics of structured normal logic programs. J. Log. Algebr. Program. 81(5): 559-584 (2012)
- [j43]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424: 46-68 (2012)
- [c69]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193
- [c68]Fernando Orejas, Artur Boronat, Nikos Mylonakis: Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140
- [c67]Francisco Durán, Fernando Orejas, Steffen Zschaler: Behaviour Protection in Modular Rule-Based System Specifications. WADT 2012: 24-49
- 2011
- [j42]Fernando Orejas: Symbolic graphs for attributed graph constraints. J. Symb. Comput. 46(3): 294-315 (2011)
- [c66]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318
- [c65]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong: Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682
- [e8]Dimitra Giannakopoulou, Fernando Orejas (Eds.): Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6
- 2010
- [j41]Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer: International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. ECEASST 30 (2010)
- [j40]Fernando Orejas, Leen Lambers: Symbolic Attributed Graphs for Attributed Graph Transformation. ECEASST 30 (2010)
- [j39]Fernando Orejas, Hartmut Ehrig, Ulrike Prange: Reasoning with graph constraints. Formal Asp. Comput. 22(3-4): 385-422 (2010)
- [j38]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Inform. 99(1): 63-93 (2010)
- [j37]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Inform. 99(1): 95-124 (2010)
- [c64]Esther Guerra, Juan de Lara, Fernando Orejas: Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 175-201
- [c63]Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138
- [c62]Fernando Orejas, Leen Lambers: Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58
- [c61]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170
- [c60]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345
2000 – 2009
- 2009
- [j36]Julia Padberg, Hartmut Ehrig, Fernando Orejas: Towards Component Verification in the Generic Component Framework. Electr. Notes Theor. Comput. Sci. 203(7): 37-53 (2009)
- [j35]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009)
- [c59]Fernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161
- [c58]Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
- [c57]Muhammad Naeem, Reiko Heckel, Fernando Orejas: Semi-automated service composition using visual contracts. FIT 2009: 48
- [c56]Esther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
- 2008
- [j34]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
- [j33]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electr. Notes Theor. Comput. Sci. 203(6): 43-66 (2008)
- [j32]Fernando Orejas, Sonia Pérez: Architectural Connectors for Sequence Diagrams. Electr. Notes Theor. Comput. Sci. 206: 111-131 (2008)
- [j31]Leen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008)
- [c55]
- [c54]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
- [c53]
- 2007
- [j30]Markus Klein, Julia Padberg, Fernando Orejas: Towards Multiple Access in Generic Component Architectures. Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007)
- [j29]
- [c52]Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
- 2006
- [j28]Leen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)
- [j27]Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1) (2006)
- [j26]Fernando Orejas: Thirty years of algebraic specification. J. Log. Algebr. Program. 67(1-2): 1-2 (2006)
- [c51]Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577
- [c50]Leen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76
- [c49]Hartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229
- 2005
- [j25]Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino: Object-Oriented Connector-Component Architectures. Electr. Notes Theor. Comput. Sci. 141(3): 123-151 (2005)
- [j24]Fernando Orejas, Jan van Leeuwen: Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331(1): 1-2 (2005)
- [c48]Fernando Orejas, Sonia Pérez: Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling 2005: 352-369
- [c47]Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
- [e7]Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2
- 2004
- [j23]Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino: A Generic Framework for Connector Architectures based on Components and Transformations. Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004)
- [j22]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A component framework for system modeling based on high-level replacement systems. Software and System Modeling 3(2): 114-135 (2004)
- [c46]Fernando Orejas, Elvira Pino: On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601
- [c45]Javier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475
- [c44]Nikos Mylonakis, Fernando Orejas: A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200
- [e6]José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.): Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0
- 2003
- [j21]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Component Framework Based on High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 72(3): 118-132 (2003)
- [j20]Fernando Orejas, Hartmut Ehrig: Components for Algebra Transformation Systems. Electr. Notes Theor. Comput. Sci. 82(7): 63-78 (2003)
- 2002
- [j19]
- [j18]Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas: Concurrency and Loose Semantics of Open Graph Transformation Systems. Mathematical Structures in Computer Science 12(4): 349-376 (2002)
- [c43]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Generic Component Framework for System Modeling. FASE 2002: 33-48
- 2001
- [j17]Hartmut Ehrig, Fernando Orejas: A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. Electr. Notes Theor. Comput. Sci. 50(3): 199-226 (2001)
- [p3]Hartmut Ehrig, Fernando Orejas: Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191
- [p2]Hartmut Ehrig, Fernando Orejas: Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201
- [p1]Hartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214
- [c42]Fernando Orejas, Edelmira Pasarella, Elvira Pino: Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268
- [c41]Fernando Orejas, Hartmut Ehrig, Elvira Pino: Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255
- [e5]Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Lecture Notes in Computer Science 2076, Springer 2001, ISBN 3-540-42287-0
- 2000
- [c40]Edelmira Pasarella, Elvira Pino, Fernando Orejas: Constructive negation without subsidiary trees. WFLP 2000: 195-209
1990 – 1999
- 1999
- [j16]Hartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Bulletin of the EATCS 69: 98-109 (1999)
- [j15]Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40(1): 89-124 (1999)
- [j14]Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas: Abstract and behaviour module specifications. Mathematical Structures in Computer Science 9(1): 21-62 (1999)
- [c39]Fernando Orejas, Elvira Pino: Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58
- [c38]Rosa M. Jiménez, Fernando Orejas: An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods 1999: 1778-1797
- [c37]
- [c36]Fernando Orejas, Elvira Pino: A General Algebraic Framework for Studying Modular Systems. WADT 1999: 271-290
- 1998
- [j13]Hartmut Ehrig, Fernando Orejas: Integration Paradigm for Data Type and Process Specification Techniques. Bulletin of the EATCS 65: 90-97 (1998)
- [c35]Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg: Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102
- 1997
- [j12]Fernando Orejas, Elvira Pino, Hartmut Ehrig: Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997)
- [c34]Paqui Lucio, Fernando Orejas, Elvira Pino: A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282
- 1996
- [j11]Fernando Orejas, Marisa Navarro, Ana Sánchez: Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Mathematical Structures in Computer Science 6(1): 33-67 (1996)
- [c33]Fernando Orejas: Algebraic Methods for the Study of Module Constructs in Logic Programming. APPIA-GULP-PRODE 1996: 13-16
- 1995
- [j10]Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bulletin of the EATCS 56 (1995)
- [j9]Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig: Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Mathematical Structures in Computer Science 5(2): 283-314 (1995)
- [j8]Marisa Navarro, Fernando Orejas, Ana Sánchez: On the Correctness of Modular Systems. Theor. Comput. Sci. 140(1): 139-177 (1995)
- [c32]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Class-Sort Polymorphism in GLIDER. COMPASS/ADT 1995: 143-160
- 1994
- [j7]Hartmut Ehrig, Fernando Orejas: Dynamic Abstract Data Types: An informal Proposal. Bulletin of the EATCS 53: 162-169 (1994)
- [c31]Hartmut Ehrig, Michael Löwe, Fernando Orejas: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254
- [c30]Fernando Orejas, Elvira Pino, Hartmut Ehrig: Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126
- 1993
- [j6]Marisa Navarro, Fernando Orejas, Jean-Luc Remy: Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Inf. 30(2): 147-180 (1993)
- [j5]Marisa Navarro, Fernando Orejas, Ana Sánchez: Characterizing Confusion. Bulletin of the EATCS 49: 103-110 (1993)
- [c29]Marisa Navarro, Fernando Orejas, Ana Sánchez: On the Correctness of Modular Systems. AMAST 1993: 209-216
- [c28]Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494
- [c27]Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas: Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45
- 1992
- [j4]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas: Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. 35(5): 460-467 (1992)
- [j3]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas: Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. 35(5): 468-477 (1992)
- [c26]Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT 1992: 144-157
- 1991
- [e4]Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, ISBN 3-540-54060-1
- [j2]Hartmut Ehrig, Michael Baldamus, Fernando Orejas: Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bulletin of the EATCS 44: 129-143 (1991)
- [c25]Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas: Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172
- [c24]Fernando Orejas, Marisa Navarro, Ana Sánchez: Implementation and Behavioural Equivalence: A Survey. COMPASS/ADT 1991: 93-125
- [c23]Hartmut Ehrig, Michael Baldamus, Fernando Orejas: New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT 1991: 199-221
- [e3]Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (Eds.): Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8
- 1990
- [c22]
- [c21]Robert Nieuwenhuis, Fernando Orejas: Clausal Rewriting: Applications and Implementation. ADT 1990: 204-219
- [c20]
- [c19]Robert Nieuwenhuis, Fernando Orejas, Albert Rubio: TRIP: An Implementation of Clausal Rewriting. CADE 1990: 667-668
- [c18]
1980 – 1989
- 1989
- [c17]Hartmut Ehrig, Peter Pepper, Fernando Orejas: On Recent Trends in Algebraic Specification. ICALP 1989: 263-288
- [e2]Josep Díaz, Fernando Orejas (Eds.): TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89). Lecture Notes in Computer Science 351, Springer 1989, ISBN 3-540-50939-9
- [e1]Josep Díaz, Fernando Orejas (Eds.): TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL). Lecture Notes in Computer Science 352, Springer 1989, ISBN 3-540-50940-2
- 1988
- [c16]Silvia Clerici, Fernando Orejas, Pere Botella: The Specification Language for the GESTALT Environment. ADT 1988
- [c15]
- [c14]Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. ADT 1988
- [c13]Fernando Orejas, Vera Sacristan, Silvia Clerici: Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science 1988: 102-123
- [c12]Fernando Orejas, Pilar Nivela, Hartmut Ehrig: Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243
- [c11]Silvia Clerici, Fernando Orejas: GSBL: An Algebraic Specification Language Based on Inheritance. ECOOP 1988: 78-92
- 1987
- [j1]Fernando Orejas: A Characterization of Passing Compatibility for Parameterized Specifications. Theor. Comput. Sci. 51: 205-214 (1987)
- [c10]Pilar Nivela, Fernando Orejas: Initial Behaviour Semantics for Algebraic Specifications. ADT 1987: 184-207
- [c9]Marisa Navarro, Fernando Orejas: Parameterized Horn Clause Specifications: Proof Theory and Correctness. TAPSOFT, Vol.1 1987: 202-216
- 1986
- [c8]Fernando Orejas: A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. ADT 1986
- [c7]
- 1984
- [c6]
- [c5]Marisa Navarro, Fernando Orejas: On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. EUROSAM 1984: 74-85
- [c4]Fernando Orejas: A Proof System for Verifying Composability of Abstract Implementations. Semantics of Data Types 1984: 357-374
- 1983
- [c3]
- [c2]
- 1981
- [c1]
Coauthor Index
[j46] [j43] [c69] [c66] [c65] [j41] [j39] [j38] [j37] [c61] [c60] [j36] [c58] [j33] [j31] [c55] [c54] [j28] [c50] [c49] [j25] [j23] [j22] [j21] [j20] [j19] [j18] [c43] [j17] [p3] [p2] [p1] [c41] [j16] [j14] [j13] [c35] [j12] [j10] [j9] [j7] [c31] [c30] [c27] [j4] [j3] [j2] [c25] [c23] [e3] [c17] [c12]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-19 19:30 CEST by the dblp team