Joaquim Gabarro
Joaquim Gabarro
Professor Computer Science UPC
Verified email at cs.upc.edu
TitleCited byYear
Structural complexity II
JL Balcázar, J Diaz, J Gabarró
Springer Science & Business Media, 2012
15452012
MALLBA: A library of skeletons for combinatorial optimisation
E Alba, F Almeida, M Blesa, J Cabeza, C Cotta, M Díaz, I Dorta, J Gabarró, ...
European Conference on Parallel Processing, 927-932, 2002
1832002
Analytic urns
P Flajolet, J Gabarró, H Pekari
The Annals of Probability 33 (3), 1200-1233, 2005
1102005
Deciding bisimilarity isP-complete
J Balcázar, J Gabarro, M Santha
Formal aspects of computing 4 (1), 638-648, 1992
991992
Efficient parallel LAN/WAN algorithms for optimization. The MALLBA project
E Alba, F Almeida, M Blesa, C Cotta, M Díaz, I Dorta, J Gabarró, C León, ...
Parallel Computing 32 (5-6), 415-440, 2006
862006
Parallel complexity in the design and analysis of concurrent systems
C Álvarez, JL Balcázar, J Gabarró, M Sántha
International Conference on Parallel Architectures and Languages Europe, 288-303, 1991
391991
Adding realtime coverage to the google knowledge graph
T Steiner, R Verborgh, R Troncy, J Gabarro, R Van de Walle
11th International Semantic Web Conference (ISWC 2012), 2012
352012
Prefixes of infinite words and ambiguous context-free languages
JM Autebert, P Flajolet, J Gabarró
Information Processing Letters 25 (4), 211-216, 1987
311987
Pure Nash equilibria in games with a large number of actions
C Àlvarez, J Gabarró, M Serna
International Symposium on Mathematical Foundations of Computer Science, 95-106, 2005
272005
Functional Composition of Sensor Web APIs.
R Verborgh, V Haerinck, T Steiner, D Van Deursen, S Van Hoecke, ...
SSN, 65-80, 2012
262012
Structural Complexity
Joaquim· Gabarr 鈕, Josep· D 鈏 az
Springer-Verlag, 1995
251995
A design of a parallel dictionary using skip lists
J Gabarró, C Martínez, X Messeguer
Theoretical Computer Science 158 (1-2), 1-33, 1996
241996
An approach to correctness of data parallel algorithms
J Gabarró, R Gavalda
Journal of parallel and distributed computing 22 (2), 185-201, 1994
241994
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
A Stewart, M Clint, J Gabarró
Parallel Algorithms And Application 14 (4), 271-292, 2000
232000
Height-relaxed AVL rebalancing: A unified, fine-grained approach to concurrent dictionaries.
L Bougé, J Gabarro, X Messeguer, N Schabanel
211998
The pragmatic proof: Hypermedia API composition and execution
R Verborgh, D Arndt, S Van Hoecke, J De Roo, G Mels, T Steiner, ...
Theory and Practice of Logic Programming 17 (1), 1-48, 2017
202017
Linked data and linked APIs: similarities, differences, and challenges
R Verborgh, T Steiner, R Van de Walle, J Gabarro
Extended Semantic Web Conference, 272-284, 2012
18*2012
Iterated GSMs and Co-CFL
JM Autebert, J Gabarró
Acta Informatica 26 (8), 749-769, 1989
181989
Barrier synchronisation: Axiomatisation and relaxation
A Stewart, M Clint, J Gabarró
Formal Aspects of Computing 16 (1), 36-50, 2004
172004
Analysing web-orchestrations under stress using uncertainty profiles
J Gabarro, M Serna, A Stewart
The Computer Journal 57 (11), 1591-1615, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20