Joaquim Gabarro
Joaquim Gabarro
Professor Computer Science UPC
Geverifieerd e-mailadres voor cs.upc.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Structural complexity II
JL Balcázar, J Díaz, J Gabarró
Springer Science & Business Media, 2012
1592*2012
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
1862002
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
1051992
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
882006
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
412012
Parallel complexity in the design and analysis of concurrent systems
C Álvarez, JL Balcázar, J Gabarró, M Sántha
Parle’91 Parallel Architectures and Languages Europe, 288-303, 1991
381991
Prefixes of infinite words and ambiguous context-free languages
JM Autebert, P Flajolet, J Gabarró
Information Processing Letters 25 (4), 211-216, 1987
331987
Functional Composition of Sensor Web APIs.
R Verborgh, V Haerinck, T Steiner, D Van Deursen, S Van Hoecke, ...
SSN, 65-80, 2012
282012
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
282005
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
A Stewart, M Clint, J Gabarró
Parallel Algorithms And Application 14 (4), 271-292, 2000
242000
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
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
232017
Height-relaxed AVL rebalancing: A unified, fine-grained approach to concurrent dictionaries.
L Bougé, J Gabarro, X Messeguer, N Schabanel
211998
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
The complexity of game isomorphism
J Gabarró, A García, M Serna
Theoretical Computer Science 412 (48), 6675-6695, 2011
172011
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
152014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20