Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Producció científica

1 a 50 de 197 resultats
 
  • Amalgamation of domain specific languages with behaviour  Accés obert

     Duran, F.; Moreno-Delgado, A.; Orejas, F.; Zschaler, S.
    Journal of logical and algebraic methods in programming
    Vol. 86, num. 1, p. 208-235
    DOI: 10.1016/j.jlamp.2015.09.005
    Data de publicació: 2017-01-01
    Article en revista
    Accés al text complet
  • A general logic for reasoning about graph structures with paths

     Orejas, F.; Lambers, L.; Navarro, M.; Pino, E.
    Symposium on Formal Methods for Software Systems
    Data de presentació: 2016-10-10
    Presentació treball a congrés
  • A logic of graph conditions extended with paths  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.; Lambers, L.
    Jornadas sobre Programación y Lenguajes
    p. 1-15
    Data de presentació: 2016-09-15
    Presentació treball a congrés
    Accés al text complet
  • A logic of graph conditions extended with paths  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.; Lambers, L.
    International Workshop on Graph Computation Models
    p. 1-15
    Data de presentació: 2016-07-04
    Presentació treball a congrés
    Accés al text complet
  • Many-valued institutions for constraint specification

     Chirita, C.; Fiadeiro, J.; Orejas, F.
    International Conference on Fundamental Approaches to Software Engineering
    p. 359-376
    DOI: 10.1007/978-3-662-49665-7_21
    Data de presentació: 2016-04
    Presentació treball a congrés
  • A semantics of business configurations using symbolic graphs  Accés obert

     Mylonakis, N.; Orejas, F.; Fiadeiro, J.
    IEEE International Conference on Services Computing
    p. 146-153
    DOI: 10.1109/SCC.2015.29
    Data de presentació: 2015-12-29
    Presentació treball a congrés
    Accés al text complet
  • Modelling service-oriented computing with temporal symbolic graph transformation systems  Accés obert

     Mylonakis, N.; Orejas, F.; Fiadeiro, J.
    Data: 2015-12-21
    Document cientificotècnic
    Accés al text complet
  • On graphical logics for reasoning about graph properties

     Lambers, L.; Navarro, M.; Orejas, F.; Pino, E.
    Dagstuhl Seminar on Verification of Evolving Graph Structures
    p. 16
    Data de presentació: 2015-11-04
    Presentació treball a congrés
  • Satisfiability of constraint specifications on XML documents  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.
    Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer
    p. 539-561
    DOI: 10.1007/978-3-319-23165-5_25
    Data de presentació: 2015-09-24
    Presentació treball a congrés
    Accés al text complet
  • Satisfiability of constraint specifications on XML documents

     Navarro, M.; Orejas, F.; Pino, E.
    Jornadas sobre Programación y Lenguajes
    Data de presentació: 2015-09-16
    Presentació treball a congrés
  • Model synchronization based on triple graph grammars: correctness, completeness and invertibility  Accés obert

     Hermann, F.; Ehrig, H.; Orejas, F.; Czarnecki, K.; Diskin, Z.; Xiong, Y.; Gottmann, S.; Engel, T.
    Software and systems modeling
    Vol. 14, num. 1, p. 241-269
    DOI: 10.1007/s10270-012-0309-1
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Abstract constraint data types  Accés obert

     Fiadeiro, J.; Orejas, F.
    Lecture notes in computer science
    Vol. 8950, p. 155-170
    DOI: 10.1007/978-3-319-15545-6_12
    Data de publicació: 2015
    Article en revista
    Accés al text complet
  • Correctness of incremental model synchronization with triple graph grammars

     Orejas, F.; Pino, E.
    Jornadas sobre Programación y Lenguajes
    p. 7-9
    Data de presentació: 2014-09-16
    Presentació treball a congrés
  • M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

     Ehrig, H.; Golas, U.; Habel, A.; Lambers, L.; Orejas, F.
    Mathematical structures in computer science
    Vol. 24, num. 4
    DOI: 10.1017/S0960129512000357
    Data de publicació: 2014-08-01
    Article en revista
  • Formal analysis of model transformations based on triple graph grammars

     Hermann, F.; Ehrig, H.; Golas, U.; Orejas, F.
    Mathematical structures in computer science
    Vol. 24, num. 4, p. 1-57
    DOI: 10.1017/S0960129512000370
    Data de publicació: 2014-08-01
    Article en revista
  • Correctness of incremental model synchronization with triple graph grammars  Accés obert

     Orejas, F.; Pino, E.
    International Conference on Model Transformation
    p. 74-90
    DOI: 10.1007/978-3-319-08789-4_6
    Data de presentació: 2014-07-21
    Presentació treball a congrés
    Accés al text complet
  • Tableau-based reasoning for graph properties

     Lambers, L.; Orejas, F.
    International Conference on Graph Transformations
    p. 17-32
    DOI: 10.1007/978-3-319-09108-2_2
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Incremental model synchronization with triple graph grammars

     Orejas, F.; Pino, E.
    Workshop on Graph-based Technologies and Applications
    Data de presentació: 2014-02-21
    Presentació treball a congrés
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu
  • A graph-semantics of business configurations  Accés obert

     Fiadeiro, J.; Mylonakis, N.; Orejas, F.
    Data: 2014
    Document cientificotècnic
    Accés al text complet
  • Checking bisimilarity for attributed graph transformation

     Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
    International Conference on Foundations of Software Science and Computation Structures
    p. 113-128
    DOI: 10.1007/978-3-642-37075-5_8
    Data de presentació: 2013-03
    Presentació treball a congrés
  • Inter-modelling with patterns

     Guerra, E.; Lara, J.; Orejas, F.
    Software and systems modeling
    Vol. 12, num. 1, p. 145-174
    DOI: 10.1007/s10270-011-0192-1
    Data de publicació: 2013
    Article en revista
  • Invariant-free clausal temporal resolution

     Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.; Orejas, F.
    Journal of automated reasoning
    Vol. 50, num. 1, p. 1-49
    DOI: 10.1007/s10817-011-9241-2
    Data de publicació: 2013-01
    Article en revista
  • Semantics of structured normal logic programs  Accés obert

     Edelmira Pasarella; Orejas, F.; Pino, E.; Navarro, M.
    Jornadas sobre Programación y Lenguajes
    p. 159-160
    Data de presentació: 2012-09-19
    Presentació treball a congrés
    Accés al text complet
  • Semantics of structured normal logic programs

     Edelmira Pasarella; Orejas, F.; Pino, E.; Navarro, M.
    Journal of logic and algebraic programming
    Vol. 81, num. 5, p. 559-584
    DOI: 10.1016/j.jlap.2012.03.001
    Data de publicació: 2012-07
    Article en revista
  • Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs

     Golas, U.; Lambers, L.; Ehrig, H.; Orejas, F.
    Theoretical computer science
    Vol. 424, p. 46-68
    DOI: 10.1016/j.tcs.2012.01.032
    Data de publicació: 2012-03-23
    Article en revista
  • Checking bisimilarity for attributed graph transformation  Accés obert

     Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • A framework of hierarchical graphs and its application to the semantics of SRML  Accés obert

     Mylonakis, N.; Orejas, F.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Premi Sistedes

     Orejas, F.
    Premi o reconeixement
  • Borrowed contexts for attributed graphs  Accés obert

     Orejas, F.; Boronat, A.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Lazy graph transformation

     Orejas, F.; Lambers, L.
    Fundamenta informaticae
    Vol. 118, num. 1-2, p. 65-96
    DOI: 10.3233/FI-2012-706
    Data de publicació: 2012
    Article en revista
  • M-adhesive transformation systems with nested application conditions. Part 2: embedding, critical pairs and local confluence

     Ehrig, H.; Golas, U.; Habel, A.; Lambers, L.; Orejas, F.
    Fundamenta informaticae
    Vol. 118, num. 1-2, p. 35-63
    DOI: 10.3233/FI-2012-705
    Data de publicació: 2012
    Article en revista
  • Concurrent model synchronization with conflict resolution based on triple graph grammars

     Hermann, F.; Ehrig, H.; Ermel, C.; Orejas, F.
    International Conference on Fundamental Approaches to Software Engineering
    p. 178-193
    DOI: 10.1007/978-3-642-28872-2_13
    Data de presentació: 2012
    Presentació treball a congrés
  • Borrowed contexts for attributed graphs

     Orejas, F.; Boronat, A.; Mylonakis, N.
    International Conference on Graph Transformations
    p. 126-140
    DOI: 10.1007/978-3-642-33654-6_9
    Data de presentació: 2012
    Presentació treball a congrés
  • Symbolic graphs for attributed graph constraints

     Orejas, F.
    Journal of symbolic computation
    Vol. 46, num. 3, p. 294-315
    DOI: 10.1016/j.jsc.2010.09.009
    Data de publicació: 2011-03
    Article en revista
  • Introduction to programming

     Cortadella, J.; Gavaldà, R.; Orejas, F.
    Data: 2010-09-01
    Document cientificotècnic
  • Reasoning with graph constraints

     Orejas, F.; Ehrig, H.; Prange, U.
    Formal aspects of computing
    Vol. 22, num. 3-4, p. 385-422
    DOI: 10.1007/s00165-009-0116-9
    Data de publicació: 2010-05
    Article en revista
  • A Generic Approach to Connector Architectures Part I: The General Framework

     Orejas, F.; Ehrig, H.; Klein, M.; Padberg, J.; Pino, E.; Perez, S.
    Fundamenta informaticae
    Vol. 99, num. 1, p. 63-93
    DOI: 10.3233/FI-2010-239
    Data de publicació: 2010-03-15
    Article en revista
  • A generic approach to connector architectures Part II: Instantiation to Petri Nets and CSP

     Orejas, F.; Ehrig, H.; Klein, M.; Padberg, J.; Pino, E.; Perez, S.
    Fundamenta informaticae
    Vol. 99, num. 1, p. 95-124
    DOI: 10.3233/FI-2010-240
    Data de publicació: 2010-03-15
    Article en revista
  • Dual systems of tableaux and sequents for PLTL

     Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.; Orejas, F.
    Journal of logic and algebraic programming
    Vol. 78, num. 8, p. 701-722
    DOI: 10.1016/j.jlap.2009.05.001
    Data de publicació: 2009-11
    Article en revista
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Projecte R+D+I competitiu
  • Towards Component Verification in the Generic Component Framework

     Padberg, J.; Ehrig, H.; Orejas, F.
    Electronic notes in theoretical computer science
    Vol. 203, num. 7, p. 37-53
    Data de publicació: 2009-04
    Article en revista
  • Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

     Orejas, F.; Guerra, E.; Lara, D.; Ehrig, H.
    Lecture notes in computer science
    Vol. 5728, p. 383-397
    Data de publicació: 2009-01
    Article en revista
  • Pattern-based model-to-model transformation: handling attribute conditions

     Guerra, E.; Lara, J.; Orejas, F.
    Lecture notes in computer science
    Vol. 5563, p. 83-99
    DOI: 10.1007/978-3-642-02408-5_7
    Data de publicació: 2009
    Article en revista
  • On the specification and verification of model transformations

     Orejas, F.; Wirsing, M.
    Lecture notes in computer science
    Vol. 5700, p. 140-161
    DOI: 10.1007/978-3-642-04164-8_8
    Data de publicació: 2009
    Article en revista
  • SOME CONTRIBUTIONS TO THE SEMANTICS OF NORMAL LOGIC PROGRAMS

     Edelmira Pasarella
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Embedding and Confluence of Graph Transformations with Negative Application Conditions

     Lambers, L.; Hartmut, E.; Ulrike, P.; Orejas, F.
    Lecture notes in computer science
    num. 5214, p. 162-177
    Data de publicació: 2008-09
    Article en revista
  • Attributed Graph Constraints

     Orejas, F.
    Lecture notes in computer science
    num. 5214, p. 274-288
    DOI: 10.1007/978-3-540-87405-8_19
    Data de publicació: 2008-09
    Article en revista
  • A Logic of Graph Constraints

     Orejas, F.; Hartmut, E.; Ulrike, P.
    Lecture notes in computer science
    num. 4961, p. 179-198
    Data de publicació: 2008-04
    Article en revista