Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 110
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)
  • Sanchez Charles, David
    (fins 2015-12-01)

Producció científica

1 a 50 de 110 resultats
 
  • Incorporating negative information to process discovery of complex systems

     Ponce de León, H.; Nardelli, L.; Carmona, J.; vanden Broucke, S.K.L.M.
    Information sciences
    Vol. 422, p. 480-496
    DOI: 10.1016/j.ins.2017.09.027
    Data de publicació: 2018-01-01
    Article en revista
  • Supporting Decentralized Collaborative Processes in the Digital Transformation

     Sanchez, D.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Jutge.org: characteristics and experiences  Accés obert

     Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
    IEEE transactions on learning technologies
    DOI: 10.1109/TLT.2017.2723389
    Data de publicació: 2017-07-04
    Article en revista
    Accés al text complet
  • Aligning textual and graphical descriptions of processes through ILP techniques  Accés obert

     Sànchez-Ferreres, J.; Carmona, J.; Padro, L.
    International Conference on Advanced Information Systems Engineering
    p. 413-427
    DOI: 10.1007/978-3-319-59536-8_26
    Data de presentació: 2017-06
    Presentació treball a congrés
    Accés al text complet
  • Fraud detection in energy consumption: a supervised approach  Accés obert

     Coma-Puig, B.; Carmona, J.; Gavaldà, R.; Alcoverro, S.; Martín, V.
    IEEE International Conference on Data Science and Advanced Analytics
    p. 120-129
    DOI: 10.1109/DSAA.2016.19
    Data de presentació: 2016-10-17
    Presentació treball a congrés
    Accés al text complet
  • Conditions for compatibility of components: The case of masters and slaves  Accés obert

     Beek, M.; Carmona, J.; Kleijn, J.
    International Symposium of Leveraging Applications of Formal Methods, Verification and Validation
    p. 784-805
    DOI: 10.1007/978-3-319-47166-2_55
    Data de presentació: 2016-10
    Presentació treball a congrés
    Accés al text complet
  • A unified approach for measuring precision and generalization based on anti-alignments  Accés obert

     van Dongen, B.; Carmona, J.; Chatain, T.
    International Conference on Business Process Management
    p. 39-56
    DOI: 10.1007/978-3-319-45348-4_3
    Data de presentació: 2016-09
    Presentació treball a congrés
    Accés al text complet
  • A recursive paradigm for aligning observed behavior of large structured process models  Accés obert

     Taymouri, F.; Carmona, J.
    International Conference on Business Process Management
    p. 197-214
    DOI: 10.1007/978-3-319-45348-4_12
    Data de presentació: 2016-09
    Presentació treball a congrés
    Accés al text complet
  • Process model comparison based on cophenetic distance  Accés obert

     Sanchez, D.; Muntés, V.; Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 141-158
    DOI: 10.1007/978-3-319-45468-9_9
    Data de presentació: 2016-09
    Presentació treball a congrés
    Accés al text complet
  • Anti-alignments in conformance checking: the dark side of process models  Accés obert

     Chatain, T.; Carmona, J.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 240-258
    DOI: 10.1007/978-3-319-39086-4_15
    Data de presentació: 2016-06-19
    Presentació treball a congrés
    Accés al text complet
  • Security-sensitive tackling of obstructed workflow executions  Accés obert

     Holderer, J.; Carmona, J.; Müller, G.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 126-137
    Data de presentació: 2016-06
    Presentació treball a congrés
    Accés al text complet
  • Computing alignments with constraint programming : the acyclic case  Accés obert

     Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 1-15
    Data de presentació: 2016-06
    Presentació treball a congrés
    Accés al text complet
  • Self-tracking reloaded: Applying process mining to personalized health care from labeled sensor data

     Sztyler, T.; Carmona, J.; Völker, J.; Stuckenschmidt, H.
    Lecture notes in computer science
    Vol. 9930, p. 160-180
    DOI: 10.1007/978-3-662-53401-4_8
    Data de publicació: 2016
    Article en revista
  • Mining conditional partial order graphs from event logs

     Mokhov, A.; Carmona, J.; Beaumont, J.
    Lecture notes in computer science
    Vol. 9930, p. 114-136
    DOI: 10.1007/978-3-662-53401-4_6
    Data de publicació: 2016
    Article en revista
  • Unfolding-based process discovery  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.; Heljanko, K.; Haar, S.
    International Symposium Automated Technology for Verification and Analysis
    p. 31-47
    DOI: 10.1007/978-3-319-24953-7_4
    Data de presentació: 2015-10-12
    Presentació treball a congrés
    Accés al text complet
  • Log-based simplification of process models  Accés obert

     San Pedro, J. de; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Data de presentació: 2015-09-03
    Presentació treball a congrés
    Accés al text complet
  • Incorporating negative information in process discovery  Accés obert

     Ponce de León, H.; Carmona, J.; vanden Broucke, S.K.L.M.
    International Conference on Business Process Management
    p. 126-143
    DOI: 10.1007/978-3-319-23063-4_8
    Data de presentació: 2015-09
    Presentació treball a congrés
    Accés al text complet
  • POD: A tool for process discovery using partial orders and independence information  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.
    International Conference on Business Process Management
    p. 100-104
    Data de presentació: 2015-09-01
    Presentació treball a congrés
    Accés al text complet
  • Communication and compatibility in systems of systems: Correctness-by-construction  Accés obert

     Beek, M.; Carmona, J.; Kleijn, J.
    ERCIM news
    Vol. 2015, num. 102, p. 21-22
    Data de publicació: 2015-07-01
    Article en revista
    Accés al text complet
  • A method for assessing parameter impact on control-flow discovery algorithms  Accés obert

     Ribeiro, J.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 83-96
    Data de presentació: 2015-06-23
    Presentació treball a congrés
    Accés al text complet
  • Event log visualisation with conditional partial order graphs: from control flow to data  Accés obert

     Mokhov, A.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 16-30
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care  Accés obert

     Sztyler, T.; Völker, J.; Carmona, J.; Meier, O.; Stuckenschmidt, H.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 31-46
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Measuring precision of modeled behavior  Accés obert

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Information systems and e-business management
    Vol. 13, num. 1, p. 37-67
    DOI: 10.1007/s10257-014-0234-7
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Conformance Checking and Diagnosis in Process Mining  Accés obert  Activitat premiada

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Single-entry single-exit decomposed conformance checking

     Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    Information systems
    Vol. 46, p. 102-122
    DOI: 10.1016/j.is.2014.04.003
    Data de publicació: 2014-12
    Article en revista
  • Process discovery algorithms using numerical abstract domains  Accés obert

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Data de publicació: 2014-12-01
    Article en revista
    Accés al text complet
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    International Conference on Cooperative Information Systems
    p. 345-363
    DOI: 10.1007/978-3-662-45563-0_20
    Data de presentació: 2014-10-31
    Presentació treball a congrés
    Accés al text complet
  • Decomposing alignment-based conformance checking of data-aware process models  Accés obert

     de Leoni, M.; Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    International Conference on Cooperative Information Systems
    p. 3-20
    DOI: 10.1007/978-3-662-45563-0_1
    Data de presentació: 2014-10-29
    Presentació treball a congrés
    Accés al text complet
  • PMLAB: An scripting environment for process mining  Accés obert

     Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 16-20
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • A recommender system for process discovery  Accés obert

     Ribeiro, J.; Carmona, J.; Misir, M.; Sebag, M.
    International Conference on Business Process Management
    p. 67-83
    DOI: 10.1007/978-3-319-10172-9_5
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • Process-oriented analysis for medical devices  Accés obert

     Sfyrla, V.; Carmona, J.; Henck, P.
    Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance
    p. 143-146
    DOI: 10.4230/OASIcs.MCPS.2014.143
    Data de presentació: 2014-04
    Presentació treball a congrés
    Accés al text complet
  • Detecció de frau a plataformes de/'CrowdSourcing/'

     Nin, J.; Larriba, J.; Carmona, J.
    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
  • 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
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    Data: 2013-12-13
    Document cientificotècnic
    Accés al text complet
  • Hierarchical conformance checking of process models based on event logs

     Munoz-Gama, J.; Carmona, J.; Aalst, W. M.P.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 291-310
    DOI: 10.1007/978-3-642-38697-8_16
    Data de presentació: 2013-06-28
    Presentació treball a congrés
  • Compatibility in a multi-component environment

     Carmona, J.; Kleijn, J.
    Theoretical computer science
    Vol. 484, p. 1-15
    DOI: 10.1016/j.tcs.2013.03.006
    Data de publicació: 2013-05-06
    Article en revista
  • Amending C-net discovery algorithms

     Solé, M.; Carmona, J.
    ACM Symposium on Applied Computing
    p. 1418-1425
    DOI: 10.1145/2480362.2480628
    Data de presentació: 2013-03
    Presentació treball a congrés
  • Brownian circuits: fundamentals

     Peper, F.; Lee, J.; Carmona, J.; Cortadella, J.; Morita, K.
    ACM journal on emerging technologies in computing systems
    Vol. 9, num. 1, p. 3:1-3:24
    DOI: 10.1145/2422094.2422097
    Data de publicació: 2013-02
    Article en revista
  • Hierarchical conformance checking of process models based on event logs  Accés obert

     Muñoz, J.; Carmona, J.; Aalst, W. M.P.
    Data: 2013
    Document cientificotècnic
    Accés al text complet
  • Region-based foldings in process discovery

     Solé, M.; Carmona, J.
    IEEE transactions on knowledge and data engineering
    Vol. 25, num. 1, p. 192-205
    DOI: 10.1109/TKDE.2011.192
    Data de publicació: 2013-01
    Article en revista
  • Online techniques for dealing with concept drift in process mining

     Carmona, J.; Gavaldà, R.
    International Symposium on Intelligent Data Analysis
    p. 90-102
    DOI: 10.1007/978-3-642-34156-4_10
    Data de presentació: 2012-12-27
    Presentació treball a congrés
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Enterprise Information System Conference
    p. 1-12
    Data de presentació: 2012-11-28
    Presentació treball a congrés
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    International Workshop on Business Process Intelligence
    p. 137-149
    DOI: 10.1007/978-3-642-36285-9_15
    Data de presentació: 2012-09-03
    Presentació treball a congrés
  • A general framework for precision checking

     Munoz-Gama, J.; Carmona, J.
    International journal of innovative computing information and control
    Vol. 8, num. 7B, p. 5317-5339
    Data de publicació: 2012-07
    Article en revista
  • Amending C-net discovery algorithms  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • A high-level strategy for C-net discovery  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • An SMT-based discovery algorithm for C-nets  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet