Joaquim Gabarró

Comput. Sci. Rev., 2021

2020

Refining Indeterministic Choice: Imprecise Probabilities and Strategic Thinking.

[BibT_eX]

[DOI]

Vietnam. J. Comput. Sci., 2020

Artificial Intelligence Based Decision Making for Venture Capital Platform.

[BibT_eX]

[DOI]

Proceedings of the Decision Support Systems X: Cognitive Decision Support Systems and Technologies, 2020

2019

Refining the Imprecise Meaning of Non-determinism in the Web by Strategic Games.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence - 11th International Conference, 2019

Measuring Investment Opportunities Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Web Apps and Imprecise Probabilitites.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

2017

The pragmatic proof: Hypermedia API composition and execution.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

The computational complexity of QoS measures for orchestrations - The computational complexity of QoS measures.

[BibT_eX]

[DOI]

Sergio Leon Gaixas

J. Comb. Optim., 2017

Uncertainty in basic short-term macroeconomic models with angel-daemon games.

[BibT_eX]

[DOI]

Int. J. Data Anal. Tech. Strateg., 2017

An Angel-Daemon Approach to Assess the Uncertainty in the Power of a Collectivity to Act.

[BibT_eX]

[DOI]

Giulia Fragnito

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

Uncertainty Analysis of Simple Macroeconomic Models Using Angel-Daemon Games.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Clustering Media Items Stemming from Multiple Social Networks.

[BibT_eX]

[DOI]

Comput. J., 2015

Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance.

[BibT_eX]

[DOI]

Anthony Keenan

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

The Robustness of Periodic Orchestrations in Uncertain Evolving Environments.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

A Cost-benefit Analysis of Continuous Assessment.

[BibT_eX]

Proceedings of the CSEDU 2015, 2015

Continuous Assessment in the Evolution of a CS1 Course: The Pass Rate/Workload Ratio.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Education - 7th International Conference, 2015

2014

Computational Aspects of Uncertainty Profiles and Angel-Daemon Games.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2014

Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles.

[BibT_eX]

[DOI]

Comput. J., 2014

The Life Cycle of a Cutting-edge Technology Course - A Coaching Experience on Android.

[BibT_eX]

[DOI]

Proceedings of the CSEDU 2014, 2014

2013

Capturing the functionality of Web services with functional descriptions.

[BibT_eX]

[DOI]

Joaquim Gabarró Vallés

Multim. Tools Appl., 2013

On the hardness of game equivalence under local isomorphism.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2013

Reasoning about orchestrations of web services using partial correctness.

[BibT_eX]

[DOI]

Anthony Keenan

Formal Aspects Comput., 2013

2012

Functional Composition of Sensor Web APIs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Semantic Sensor Networks, 2012

Adding Realtime Coverage to the Google Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Functional descriptions as the bridge between hypermedia APIs and the Semantic Web.

[BibT_eX]

[DOI]

Joaquim Gabarró Vallés

Rik Van de Walle

Proceedings of the Third International Workshop on RESTful Design, 2012

Defining aesthetic principles for automatic media gallery layout for visual and audial event summarization based on social networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Quality of Multimedia Experience, 2012

Linked Data and Linked APIs: Similarities, Differences, and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2012 Satellite Events, 2012

A Social Description Revolution - Describing Web APIs' Social Parameters with RESTdesc.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Web Services Meet Social Computing, 2012

2011

The complexity of game isomorphism.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Equilibria problems on games: Complexity versus succinctness.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2011

Coaching on New Technologies: Programming Workshop Android Applications for Google Phones.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

Computational models for networks of tiny artifacts: A survey.

[BibT_eX]

[DOI]

Ioannis Chatzigiannakis

Comput. Sci. Rev., 2011

Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Web Services and <i>Incerta Spiriti</i>: A Game Theoretic Approach to Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

Book review.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2009

Sensor Field: A Computational Model.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

2008

Topic 9: Parallel and Distributed Programming.

[BibT_eX]

[DOI]

José Nelson Amaral

Proceedings of the Euro-Par 2008, 2008

Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

On the Complexity of Equilibria Problems in Angel-Daemon Games.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 14th Annual International Conference, 2008

Assessing the Reliability and Cost of Web and Grid Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

On using partial orders for web application design.

[BibT_eX]

[DOI]

Isabel Vallejo

Fatos Xhafa

Int. J. Web Inf. Syst., 2007

Bounded Site Failures: An Approach to Unreliable Grid Environments.

[BibT_eX]

[DOI]

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

2006

Efficient parallel LAN/WAN algorithms for optimization. The mallba project.

[BibT_eX]

[DOI]

Parallel Comput., 2006

Managing Grid Computations: An ORC-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2006

2005

Pure Nash equilibria in games with a large number of actions

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2005

Polynomial Space Suffices for Deciding Nash Equilibria Properties for Extensive Games with Large Trees, .

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

2004

Barrier synchronisation: Axiomatisation and relaxation.

[BibT_eX]

[DOI]

Maurice Clint

Formal Aspects Comput., 2004

2003

Fringe analysis of synchronized parallel insertion algorithms in 2-3 Trees.

[BibT_eX]

[DOI]

Ricardo A. Baeza-Yates

Theor. Comput. Sci., 2003

Computational Models for Web- and Grid-Based Computation.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.

[BibT_eX]

[DOI]

Maurice Clint

Proceedings of the Foundations of Wide Area Network Computing, 2002

MALLBA: A Library of Skeletons for Combinatorial Optimisation (Research Note).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

2001

Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Axiomatic Frameworks for Developing Bsp-style Programs*.

[BibT_eX]

[DOI]

Maurice Clint

Parallel Algorithms Appl., 2000

1998

Parallel Dictionaries with Local Rules on AVL and Brother Trees.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

Fringe Analysis of Synchronized Parallel Algorithms on 2-3 Trees.

[BibT_eX]

[DOI]

Ricardo A. Baeza-Yates

Proceedings of the Randomization and Approximation Techniques in Computer Science, 1998

Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries.

[BibT_eX]

Proceedings of the International Colloquium Universal Machines and Computations, 1998

1997

Concurrent Rebalancing on HyperRed-Black Trees.

[BibT_eX]

[DOI]

Daniel Riu

Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

A Unified Approach to Concurrent and Parallel Algorithms on Balanced Data Structures (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

ParaDict, a data parallel library for dictionaries.

[BibT_eX]

Jordi Petit

Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

A Design of a Parallel Dictionary Using Skip Lists.

[BibT_eX]

[DOI]

Conrado Martinez

Theor. Comput. Sci., 1996

1995

Structural Complexity I, Second Edition

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 354058384X, 1995

Rational Processes and Linear Systems in CSP.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

1994

An Approach to Correctness of Data Parallel Algorithms.

[BibT_eX]

[DOI]

Ricard Gavaldà

J. Parallel Distributed Comput., 1994

1992

Deciding Bisimilarity is P-Complete.

[BibT_eX]

Miklos Santha

Formal Aspects Comput., 1992

Correctness of flat data parallel algorithms: an axiomatic approach and examples.

[BibT_eX]

[DOI]

Ricard Gavaldà

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

The Design of a Parallel Algorithm to Solve the Word Problem for the Free Partially Commutative Groups.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing: CONPAR 92, 1992

1991

The Parallel Complexity of Two Problems on Concurrency.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1991

Parallel Complexity in the Design and Analysis on Conurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Structural Complexity II

[BibT_eX]

[DOI]

EATCS Monographs on Theoretical Computer Science 22, Springer, ISBN: 0387520791, 1990

Structural Complexity I

[BibT_eX]

[DOI]

EATCS Monographs on Theoretical Computer Science 11, Springer, ISBN: 978-3-642-97062-7, 1990

1989

Non Recursive Functions Have Transcendental Generating Series.

[BibT_eX]

[DOI]

Felipe Cucker

RAIRO Theor. Informatics Appl., 1989

Nonuniform Complexity Classes Specified by Lower and Upper Bounds.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1989

Iterated GSMs and Co-CFL.

[BibT_eX]

[DOI]

Jean-Michel Autebert

Acta Informatica, 1989

1988

Structural complexity, 1st Edition.

[BibT_eX]

[DOI]

José Luis Balcázar

EATCS monographs on theoretical computer science 11, Springer, ISBN: 0387186220, 1988

1987

On Characterizations of the Class PSPACE/POLY.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Prefixes of Infinite Words and Ambiguous Context-Free Languages.

[BibT_eX]

[DOI]

Jean-Michel Autebert

Philippe Flajolet

Inf. Process. Lett., 1987

1986

Some comments about notations of orders of manitude.

[BibT_eX]

Bull. EATCS, 1986

On Non- uniform Polynomial Space.

[BibT_eX]

[DOI]

Proceedings of the Structure in Complexity Theory, 1986

1985

Uniform Characterizations of Non-Uniform Complexity Measures

[BibT_eX]

[DOI]

Inf. Control., 1985

Some applications of the interchange lemma.

[BibT_eX]

Bull. EATCS, 1985

Examples of CFI-BI-immune and CF-levelable sets in logspace.

[BibT_eX]

Bull. EATCS, 1985

On some "non-uniform" complexity measures.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Some results about Logspace complexity measures.

[BibT_eX]

Bull. EATCS, 1984

Context-free grammars in Greibach normal forms.

[BibT_eX]

Jean-Michel Autebert

Luc Boasson

Bull. EATCS, 1984

Pushdown Space Complexity and Related Full-AFLs.

[BibT_eX]

[DOI]

Proceedings of the STACS 84, 1984

1983

Funciones de complejidad y su relación con las familias abstractas de lenguajes.

[BibT_eX]

[DOI]

PhD thesis, 1983

Initial Index: A New Complexity Function for Languages.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1983

1982

Une Application des Notions de Centre et Index Rationell a Certains Langages Algébriques.

[BibT_eX]

[DOI]