Carregant...
Carregant...

Vés al contingut (premeu Retorn)

ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Total activitats: 185
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
ALBCOM
Adreça
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Obrir en finestra nova
Localitat
Barcelona
URL
http://albcom.cs.upc.edu Obrir en finestra nova
Objectius
L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.
Paraules clau
Algorismes, Combinatòria, Complexitat, Especificació, Estructures de dades, Genòmica, Grafs, Sistemes VLSI, Verificació.
Completa aquestes dades (només responsables)
  • Cases Muñoz, Rafel
    (fins 2011-05-31)
  • Clariso Viladrosa, Robert
    (fins 2003-01-31)
  • Clerici Martinez, Silvia Ines
    (fins 2014-12-31)
  • Costa Gorgônio, Kyller
    (fins 2006-09-30)
  • De San Pedro Martín, Javier
    (fins 2016-09-30)
  • Frances Medina, Guillem
    (fins 2009-06-14)
  • Frias Moya, Leonor
    (fins 2010-06-13)
  • Galceran Oms, Marc
    (fins 2010-06-30)
  • Garcia Chacon, Alina
    (fins 2007-04-30)
  • Gascon Caro, Adrian
    (fins 2013-07-31)
  • Gel Moreno, Bernat
    (fins 2010-12-31)
  • Gimenez Llach, Omer
    (fins 2010-10-31)
  • Hernandez Pibernat, Hugo
    (fins 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (fins 2008-09-28)
  • Maneva, Elitza Nikolaeva
    (fins 2009-11-05)
  • Meng, Jiangtao
    (fins 2005-10-15)
  • Muñoz Gama, Jorge
    (fins 2015-02-28)
  • Ochremiak, Joanna Regina
    (fins 2016-08-15)
  • Oliva Valls, Sergi
    (fins 2012-08-31)
  • Perez Gimenez, Xavier
    (fins 2003-08-31)
  • Roca Perez, Antoni
    (fins 2016-11-30)

Producció científica

1 a 50 de 185 resultats
 
  • Amalgamation of domain specific languages with behaviour

     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
  • 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
  • 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
  • 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
  • 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
  • Borrowed contexts for attributed graphs  Accés obert

     Orejas, F.; Boronat, A.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • 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

     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
  • 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
  • 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
  • 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
  • Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

     Lambers, L.; Hartmut, E.; Orejas, F.
    Electronic notes in theoretical computer science
    Vol. 211, p. 17-26
    DOI: 10.1016/j.entcs.2008.04.026
    Data de publicació: 2008-04
    Article en revista