Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 93
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 93 resultats
 
  • Generalized satisfiability problems via operator assignments

     Atserias, A.; Kolaitis, Ph.; Severini, S.
    International Symposium on Fundamentals of Computation Theory
    p. 56-68
    DOI: 10.1007/978-3-662-55751-8_6
    Data de presentació: 2017-09
    Presentació treball a congrés
  • Best paper award FCT

     Atserias, A.; Kolaitis, Ph.; Severini, S.
    Premi o reconeixement
  • Proof complexity meets algebra

     Atserias, A.; Ochremiak, J.
    International Colloquium on Automata, Languages, and Programming
    p. 110:1-110:14
    DOI: 10.4230/LIPIcs.ICALP.2017.110
    Data de presentació: 2017
    Presentació treball a congrés
  • Non-homogenizable classes of finite structures  Accés obert

     Atserias, A.; Torunczyk, S.
    Annual Conference of the European Association for Computer Science Logic
    p. 1-16
    DOI: 10.4230/LIPIcs.CSL.2016.16
    Data de presentació: 2016-08-29
    Presentació treball a congrés
    Accés al text complet
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    ACM transactions on computational logic
    Vol. 17, num. 3, p. 19:1-19:30
    DOI: 10.1145/2898435
    Data de publicació: 2016-07-03
    Article en revista
    Accés al text complet
  • Entailment among probabilistic implications  Accés obert

     Atserias, A.; Balcazar, J. L.
    Annual ACM/IEEE Symposium on Logic in Computer Science
    p. 621-632
    DOI: 10.1109/LICS.2015.63
    Data de presentació: 2015-07-09
    Presentació treball a congrés
    Accés al text complet
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Mueller, M.; Oliva, S.
    Journal of symbolic logic
    Vol. 80, num. 2, p. 450-476
    DOI: 10.1017/jsl.2014.56
    Data de publicació: 2015-06-01
    Article en revista
    Accés al text complet
  • Partially definable forcing and bounded arithmetic  Accés obert

     Atserias, A.; Müller, M.
    Archive for mathematical logic
    Vol. 54, num. 1-2, p. 1-33
    DOI: 10.1007/s00153-014-0398-3
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Bounded-width QBF is PSPACE-complete  Accés obert

     Atserias, A.; Oliva, S.
    Journal of computer and system sciences
    Vol. 80, num. 7, p. 1415-1429
    DOI: 10.1016/j.jcss.2014.04.014
    Data de publicació: 2014-11-01
    Article en revista
    Accés al text complet
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    IEEE Conference on Computational Complexity
    p. 286-297
    DOI: 10.1109/CCC.2014.36
    Data de presentació: 2014-06-11
    Presentació treball a congrés
    Accés al text complet
  • Degree lower bounds of tower-type for approximating formulas with parity quantifiers  Accés obert

     Atserias, A.; Dawar, A.
    ACM transactions on computational logic
    Vol. 15, num. 1, p. Article No. 6-
    DOI: 10.1145/2559948
    Data de publicació: 2014-02-01
    Article en revista
    Accés al text complet
  • Teoría y aplicaciones en satisfactibilidad y optimización de restricciones

     Atserias, A.; Bonet, M.; Esteban, J. L.; Buss, S.; Nordström, J.
    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
  • Consolidator Grants 2014

     Atserias, A.; Quidant, Romain
    Premi o reconeixement
  • The ordering principle in a fragment of approximate counting  Accés obert

     Atserias, A.; Thapen, N.
    ACM transactions on computational logic
    Vol. 15, num. 4, p. Article No. 29-
    DOI: 10.1145/2629555
    Data de publicació: 2014
    Article en revista
    Accés al text complet
  • Complexity of Computation and Reasoning Group

     Tzameret, I.; Atserias, A.
    Projecte R+D+I competitiu
  • The proof-search problem between bounded-width resolution and bounded-degree semi-algebraic proofs

     Atserias, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 1-17
    DOI: 10.1007/978-3-642-39071-5_1
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Müller, M.; Oliva, S.
    IEEE Conference on Computational Complexity
    p. 109-120
    DOI: 10.1109/CCC.2013.20
    Data de presentació: 2013-06-05
    Presentació treball a congrés
    Accés al text complet
  • On the Complexity of Resolution-based Proof Systems  Accés obert

     Oliva, S.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Bounded-width QBF is PSPACE-complete  Accés obert

     Atserias, A.; Oliva, S.
    International Symposium on Theoretical Aspects of Computer Science
    p. 44-54
    DOI: 10.4230/LIPIcs.STACS.2013.44
    Data de presentació: 2013-02-28
    Presentació treball a congrés
    Accés al text complet
  • Sherali--Adams relaxations and indistinguishability in counting logics

     Atserias, A.; Maneva, E.
    SIAM journal on computing
    Vol. 42, num. 1, p. 112-137
    DOI: 10.1137/120867834
    Data de publicació: 2013-01-17
    Article en revista
  • Size bounds and query plans for relational joins

     Atserias, A.; Grohe, M.; Marx, D.
    SIAM journal on computing
    Vol. 42, num. 4, p. 1737-1767
    DOI: 10.1137/110859440
    Data de publicació: 2013
    Article en revista
  • Degree lower bounds of tower-type for approximating formulas with parity quantifiers

     Atserias, A.; Dawar, A.
    International Colloquium on Automata, Languages, and Programming
    p. 67-78
    DOI: 10.1007/978-3-642-31585-5_10
    Data de presentació: 2012-07
    Presentació treball a congrés
  • Sherali-Adams relaxations and indistinguishability in counting logics

     Atserias, A.; Maneva, E.
    Innovations in Theoretical Computer Science Conference
    p. 367-379
    DOI: 10.1145/2090236.2090265
    Data de presentació: 2012-01
    Presentació treball a congrés
  • A Why-on-Earth Tutorial on finite model theory

     Atserias, A.
    Annual ACM/IEEE Symposium on Logic in Computer Science
    p. 3
    DOI: 10.1109/LICS.2011.52
    Data de presentació: 2011-06
    Presentació treball a congrés
  • TASSAT- Teoría, aplicaciones y sinergia en SAT, CSP y FDL

     Atserias, A.; Bonet, M.; Esteban, J. L.; Maneva, E.
    Projecte R+D+I competitiu
  • Clause-learning algorithms with many restarts and bounded-width resolution

     Atserias, A.; Fichte, J. K.; Thurley, M.
    Journal of artificial intelligence research
    Vol. 40, p. 353-373
    Data de publicació: 2011
    Article en revista
  • Mean-payoff games and propositional proofs

     Atserias, A.; Maneva, E.
    Information and computation
    Vol. 209, num. 4, p. 664-691
    DOI: 10.1016/j.ic.2011.01.003
    Data de publicació: 2011
    Article en revista
  • Mean-payoff games and propositional proofs

     Atserias, A.; Maneva, E.
    International Colloquium on Automata, Languages, and Programming
    p. 102-113
    DOI: 10.1007/978-3-642-14165-2_10
    Data de presentació: 2010
    Presentació treball a congrés
  • 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
  • Affine systems of equations and counting infinitary logic

     Atserias, A.; Bulatov, A.; Dawar, A.
    Theoretical computer science
    Vol. 410, num. 18, p. 1666-1683
    Data de publicació: 2009-04
    Article en revista
  • Decidable relationships between consistency notions for constraint satisfaction problems

     Atserias, A.; Weyer, M.
    Annual Conference of the European Association for Computer Science Logic
    p. 102-116
    DOI: 10.1007/978-3-642-04027-6_10
    Data de presentació: 2009
    Presentació treball a congrés
  • Four subareas of the theory of constraints, and their links

     Atserias, A.
    International Symposium on Mathematical Foundations of Computer Science
    p. 1
    DOI: 10.1007/978-3-642-03816-7_1
    Data de presentació: 2009
    Presentació treball a congrés
  • Clause-learning algorithms with many restarts and bounded-width resolution

     Atserias, A.; Fichte, J. K.; Thurley, M.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 114-127
    DOI: 10.1007/978-3-642-02777-2_13
    Data de presentació: 2009
    Presentació treball a congrés
  • Preservation under extensions on well-behaved finite structures

     Atserias, A.; Dawar, A.; Grohe, M.
    SIAM journal on computing
    Vol. 38, num. 4, p. 1364-1381
    DOI: 10.1137/060658709
    Data de publicació: 2008-08
    Article en revista
  • On digraph coloring problems and treewidth duality

     Atserias, A.
    European journal of combinatorics
    Vol. 29, num. 4, p. 796-820
    DOI: 10.1016/j.ejc.2007.11.004
    Data de publicació: 2008-05
    Article en revista
  • A combinatorial characterization of resolution width

     Atserias, A.; Dalmau, V.
    Journal of computer and system sciences
    Vol. 74, num. 3, p. 323-334
    DOI: 10.1016/j.jcss.2007.06.025
    Data de publicació: 2008-05
    Article en revista
  • Size Bounds and Query Plans for Relational Joins

     Atserias, A.; Grohe, M.; Marx, D.
    IEEE Symposium on Foundations of Computer Science
    p. 739-748
    Data de presentació: 2008
    Presentació treball a congrés
  • MULOG-2. Lógica multivaluada: fundamentos y aplicaciones a la satisfactibilidad y la satisfacción de restricciones

     Bonet, M.; Esteban, J. L.; Lozano, A.; Atserias, A.; Dalmau, V.
    Projecte R+D+I competitiu
  • Conjunctive query evaluation by search-tree revisited

     Atserias, A.
    Theoretical computer science
    Vol. 371, num. 3, p. 155-168
    Data de publicació: 2007-03
    Article en revista
  • On the power of k-consistency

     Atserias, A.; Bulatov, A.; Dalmau, V.
    International Colloquium on Automata, Languages, and Programming
    p. 279-290
    DOI: 10.1007/978-3-540-73420-8_26
    Data de presentació: 2007
    Presentació treball a congrés
  • Affine systems of equations and counting infinitary logic

     Atserias, A.; Bulatov, A.; Dawar, A.
    International Colloquium on Automata, Languages, and Programming
    p. 558-570
    DOI: 10.1007/978-3-540-73420-8_49
    Data de presentació: 2007
    Presentació treball a congrés
  • On preservation under homomorphisms and unions of conjunctive queries

     Atserias, A.; Dawar, A.; Kolaitis, Ph. G.
    Journal of the ACM
    Vol. 53, num. 2, p. 208-237
    DOI: 10.1145/1131342.1131344
    Data de publicació: 2006-03
    Article en revista
  • Distinguishing SAT from polynomial-size circuits, through black-box queries

     Atserias, A.
    IEEE Conference on Computational Complexity
    p. 88-95
    Data de presentació: 2006
    Presentació treball a congrés