Joaquim Gabarró

Available identifiers

zbMath Open gabarro.joaquimMaRDI QIDQ293413

List of research outcomes

Publication	Date of Publication	Type
Web apps and imprecise probabilitites	2022-12-01	Paper
Modelling web-service uncertainty: the angel/daemon approach	2021-12-20	Paper
Measuring investment opportunities under uncertainty	2020-02-20	Paper
The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures	2017-11-09	Paper
The pragmatic proof: Hypermedia API composition and execution	2017-11-09	Paper
An angel-daemon approach to assess the uncertainty in the power of a collectivity to act	2017-09-05	Paper
Parallel dictionaries with local rules on AVL and brother trees	2016-06-09	Paper
The Robustness of Periodic Orchestrations in Uncertain Evolving Environments	2015-11-10	Paper
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance	2015-11-10	Paper
Reasoning about orchestrations of web services using partial correctness	2014-11-10	Paper
Computational models for networks of tiny artifacts: a survey	2014-10-24	Paper
Book review of: Robin Sharp, Principles of protocol design	2014-10-07	Paper
Computational aspects of uncertainty profiles and angel-daemon games	2014-03-25	Paper
On the hardness of game equivalence under local isomorphism	2013-06-18	Paper
Equilibria problems on games: complexity versus succinctness	2012-01-11	Paper
The complexity of game isomorphism	2011-12-07	Paper
Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty	2011-06-29	Paper
On the Complexity of Game Isomorphism	2008-09-17	Paper
On the Complexity of Equilibria Problems in Angel-Daemon Games	2008-07-10	Paper
Algorithms and Computation	2006-11-14	Paper
Mathematical Foundations of Computer Science 2005	2006-10-20	Paper
Analytic urns	2005-06-23	Paper
Barrier synchronisation: Axiomatisation and relaxation	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817282	2004-09-22	Paper
Fringe analysis of synchronized parallel insertion algorithms in 2--3 trees.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4791950	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536967	2002-11-06	Paper
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗	2000-06-05	Paper
A design of a parallel dictionary using skip lists	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4853315	1996-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4321931	1995-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4039803	1993-06-05	Paper
Deciding bisimilarity is P-complete	1993-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3996675	1992-09-17	Paper
The parallel complexity of two problems on concurrency	1991-01-01	Paper
Iterated GSMs and CO-CFL	1989-01-01	Paper
Nonuniform complexity classes specified by lower and upper bounds	1989-01-01	Paper
Non recursive functions have transcendental generating series	1989-01-01	Paper
On characterizations of the class PSPACE/poly	1987-01-01	Paper
Prefixes of infinite words and ambiguous context-free languages	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753480	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3692867	1985-01-01	Paper
Uniform characterizations of non-uniform complexity measures	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3330536	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3745282	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674080	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4742318	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joaquim Gabarró