Publications en collaboration avec des chercheurs de University of Bologna (8)

2019

  1. Probabilistic software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 54-78

2017

  1. Analysis of temporal complex events in sensor networks

    Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289

  2. Introduction to the Software Engineering and Formal Methods 2013 special issue

    Software and Systems Modeling

2013

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. From theoretical e-barter models to two alternative implementations based on web services

    Journal of Universal Computer Science, Vol. 13, Núm. 13, pp. 2035-2075

2006

  1. From Theoretical e-barter Models to an Implementation Based on Web Services

    Electronic Notes in Theoretical Computer Science, Vol. 159, Núm. 1, pp. 241-264

2005

  1. Editorial track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing

  2. Editorial: Programming languages track

    Proceedings of the ACM Symposium on Applied Computing