Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Producció científica

1 a 28 de 28 resultats
 
  • Comparing MapReduce and pipeline implementations for counting triangles  Accés obert

     Edelmira Pasarella; Vidal, M.; Zoltan, A.
    Electronic proceedings in theoretical computer science
    Vol. 237, p. 20-33
    DOI: 10.4204/EPTCS.237.2
    Data de publicació: 2017-01-11
    Article en revista
    Accés al text complet
  • Comparing MapReduce and pipeline implementations for counting triangles  Accés obert

     Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan
    Jornadas sobre Programación y Lenguajes
    p. 178-187
    Data de presentació: 2016-09-16
    Presentació treball a congrés
    Accés al text complet
  • De Menos a Distinto: Estudio de la Implantación de R en las asignaturas del grado de estadística  Accés obert

     Baixeries, J.; Fairen, M.; Gabarro, J.; Edelmira Pasarella
    Jornadas de Enseñanza Universitaria de la Informática
    p. 253-260
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • MapReduce vs. pipelining counting triangles  Accés obert

     Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan
    Alberto Mendelzon Workshop on Foundations of Data Management
    p. 1-5
    Data de presentació: 2016-06-10
    Presentació treball a congrés
    Accés al text complet
  • MapReduce vs. pipelining counting triangles  Accés obert

     Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan
    CEUR Workshop proceedings
    Vol. 1644, p. 1-5
    Data de publicació: 2016-06
    Article en revista
    Accés al text complet
  • Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework  Accés obert

     Edelmira Pasarella; Lobo, Jorge
    Proceedings of the IEEE
    p. 232-242
    DOI: 10.1109/CSF.2015.23
    Data de publicació: 2015-07-17
    Article en revista
    Accés al text complet
  • Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework  Accés obert

     Edelmira Pasarella; Lobo, Jorge
    IEEE Computer Security Foundations Symposium
    p. 232-242
    DOI: 10.1109/CSF.2015.23
    Data de presentació: 2015-07-15
    Presentació treball a congrés
    Accés al text complet
  • An operational framework to reason about policy behavior in trust management systems

     Edelmira Pasarella; Lobo, J.
    CEUR Workshop proceedings
    Vol. 1189
    Data de publicació: 2014-07-05
    Article en revista
  • An operational framework to reason about policy behavior in trust management systems  Accés obert

     Edelmira Pasarella; Lobo, J.
    Alberto Mendelzon Workshop on Foundations of Data Management
    Data de presentació: 2014-06-05
    Presentació treball a congrés
    Accés al text complet
  • 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
  • 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
  • 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
  • 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
  • A functorial framework for constraint normal logic programming

     Lucio, P.; Orejas, F.; Edelmira Pasarella; Pino, E.
    Applied categorical structures
    Vol. 16, num. 3, p. 421-450
    DOI: 10.1007/s10485-008-9128-5
    Data de publicació: 2008-03
    Article en revista
  • Métodos formales y algoritmos para el diseño de sistemas

     Orejas, F.; Xhafa, F.; Godoy, G.; Costa, K.; Oliva, S.; Galceran, M.; Gascon, A.; Gel, B.; Hernandez, H.; Duch, A.; Blum, C.; Edelmira Pasarella; Diaz, J.; Pino, E.; Petit, J.; Alvarez, C.; Blesa, M.; Gabarro, J.; Cortadella, J.; Serna, M.; Carmona, J.
    Projecte R+D+I competitiu
  • A functorial framework for constraint normal logic programming

     Edelmira Pasarella; Orejas, F.; Pino, E.
    Lecture notes in computer science
    Vol. 4060, p. 555-577
    Data de publicació: 2006-06
    Article en revista
  • A functorial framework for constraint normal logic programming

     Lucio, P.; Orejas, F.; Edelmira Pasarella; Pino, E.
    Data de publicació: 2006
    Capítol de llibre
  • A transformational Semantics of Static Embedded Implications of Normal Logic Programs

     Edelmira Pasarella; Orejas, F.; Pino, E.; Navarro, E.
    International Symposium on Logic-Based Program Synthesis and Transformation
    p. 133-146
    Presentació treball a congrés
  • Constructive Negation by Bottom-up Computation of Literal Answers

     Orejas, F.; Edelmira Pasarella; Pino, E.
    ACM Symposium on Applied Computing
    p. 1468-1475
    Presentació treball a congrés
  • An Implementation of Constructive Negation

     Álvez, J.; Lucio, P.; Orejas, F.; Edelmira Pasarella; Pino, E.
    Segundas Jornadas sobre Programación y Lenguajes (PROLE 2002)
    p. 55-70
    Presentació treball a congrés
  • An Implementation of Constructive Negation

     Álvez, J.; Lucio, P.; Orejas, F.; Edelmira Pasarella; Pino, E.
    Segundas Jornadas sobre Programación y Lenguajes (PROLE 2002)
    p. 55-70
    Presentació treball a congrés
  • Tipos abstractos de datos y algoritmos

     Arraiz, E.; Edelmira Pasarella; Zoltan, C.
    Data: 2002
    Document cientificotècnic
  • MAVERISH. Modelización, análisis y verificación de sistemas heterogéneos

     Orejas, F.; Edelmira Pasarella; Oliveras, A.; Rodriguez, E.; Rubio, A.; Nieuwenhuis, R.
    Projecte R+D+I competitiu
  • Semantics of Normal Logic Programs with Embedded Implications

     Orejas, F.; Edelmira Pasarella; Pino, E.
    International Conference on Logic Programming
    p. 255-266
    Presentació treball a congrés
  • Semantics of normal logic programs with embedded implications

     Orejas, F.; Edelmira Pasarella; Pino, E.
    Lecture notes in computer science
    num. 2237, p. 255-268
    DOI: 10.1007/3-540-45635-X_25
    Data de publicació: 2001
    Article en revista
  • Constructive negation without subsidiary trees  Accés obert

     Edelmira Pasarella; Pino, E.; Orejas, F.
    Data: 2000-07
    Document cientificotècnic
    Accés al text complet
  • Constructive negation without subsidiary trees

     Edelmira Pasarella; Pino, E.; Orejas, F.
    International Workshop on Functional and Logic Programming
    p. 195-209
    Presentació treball a congrés