Gabarro, Joaquim; Stewart, Alan Modelling web-service uncertainty: the angel/daemon approach. (English) Zbl 1484.68022 Comput. Sci. Rev. 39, Article ID 100355, 15 p. (2021). MSC: 68M11 91A80 91B64 PDFBibTeX XMLCite \textit{J. Gabarro} and \textit{A. Stewart}, Comput. Sci. Rev. 39, Article ID 100355, 15 p. (2021; Zbl 1484.68022) Full Text: DOI
Castro, Jorge; Gabarro, Joaquim; Serna, Maria Measuring investment opportunities under uncertainty. (English) Zbl 07170157 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 481-491 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{J. Castro} et al., Lect. Notes Comput. Sci. 11726, 481--491 (2019; Zbl 07170157) Full Text: DOI Link
Verborgh, Ruben; Arndt, Dörthe; Van Hoecke, Sofie; De Roo, Jos; Mels, Giovanni; Steiner, Thomas; Gabarro, Joaquim The pragmatic proof: hypermedia API composition and execution. (English) Zbl 1379.68018 Theory Pract. Log. Program. 17, No. 1, 1-48 (2017). MSC: 68M11 PDFBibTeX XMLCite \textit{R. Verborgh} et al., Theory Pract. Log. Program. 17, No. 1, 1--48 (2017; Zbl 1379.68018) Full Text: DOI arXiv
Gabarro, Joaquim; Leon-Gaixas, Sergio; Serna, Maria The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures. (English) Zbl 1376.68015 J. Comb. Optim. 34, No. 4, 1265-1301 (2017). MSC: 68M11 68M20 68Q25 PDFBibTeX XMLCite \textit{J. Gabarro} et al., J. Comb. Optim. 34, No. 4, 1265--1301 (2017; Zbl 1376.68015) Full Text: DOI
Fragnito, Giulia; Gabarro, Joaquim; Serna, Maria An angel-daemon approach to assess the uncertainty in the power of a collectivity to act. (English) Zbl 1493.91045 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 318-328 (2017). MSC: 91B12 91A10 91A80 91F10 PDFBibTeX XMLCite \textit{G. Fragnito} et al., Lect. Notes Comput. Sci. 10369, 318--328 (2017; Zbl 1493.91045) Full Text: DOI Link
Stewart, Alan; Gabarro, Joaquim; Keenan, Anthony Uncertainty in the cloud: an angel-daemon approach to modelling performance. (English) Zbl 1465.68029 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 141-150 (2015). MSC: 68M11 91A44 91A80 PDFBibTeX XMLCite \textit{A. Stewart} et al., Lect. Notes Comput. Sci. 9161, 141--150 (2015; Zbl 1465.68029) Full Text: DOI Link
Castro, Jorge; Gabarro, Joaquim; Serna, Maria; Stewart, Alan The robustness of periodic orchestrations in uncertain evolving environments. (English) Zbl 1465.68193 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 129-140 (2015). MSC: 68Q85 91A15 91A44 91A80 PDFBibTeX XMLCite \textit{J. Castro} et al., Lect. Notes Comput. Sci. 9161, 129--140 (2015; Zbl 1465.68193) Full Text: DOI Link
Gabarro, Joaquim; Garcia, Alina; Serna, Maria Computational aspects of uncertainty profiles and angel-daemon games. (English) Zbl 1286.68190 Theory Comput. Syst. 54, No. 1, 83-110 (2014). MSC: 68Q17 91A10 91A40 68M15 PDFBibTeX XMLCite \textit{J. Gabarro} et al., Theory Comput. Syst. 54, No. 1, 83--110 (2014; Zbl 1286.68190) Full Text: DOI
Stewart, Alan; Gabarro, Joaquim; Keenan, Anthony Reasoning about orchestrations of web services using partial correctness. (English) Zbl 1298.68177 Formal Asp. Comput. 25, No. 6, 833-846 (2013). MSC: 68Q60 68M11 68M14 PDFBibTeX XMLCite \textit{A. Stewart} et al., Formal Asp. Comput. 25, No. 6, 833--846 (2013; Zbl 1298.68177) Full Text: DOI
Gabarró, Joaquim; García, Alina; Serna, Maria On the hardness of game equivalence under local isomorphism. (English) Zbl 1272.68141 RAIRO, Theor. Inform. Appl. 47, No. 2, 147-169 (2013). MSC: 68Q17 91A70 PDFBibTeX XMLCite \textit{J. Gabarró} et al., RAIRO, Theor. Inform. Appl. 47, No. 2, 147--169 (2013; Zbl 1272.68141) Full Text: DOI Numdam
Àlvarez, Carme; Chatzigiannakis, Ioannis; Duch, Amalia; Gabarró, Joaquim; Michail, Othon; Serna, Maria; Spirakis, Paul G. Computational models for networks of tiny artifacts: a survey. (English) Zbl 1298.68039 Comput. Sci. Rev. 5, No. 1, 7-25 (2011). MSC: 68M10 68M14 68T42 68M12 68Q05 68-02 PDFBibTeX XMLCite \textit{C. Àlvarez} et al., Comput. Sci. Rev. 5, No. 1, 7--25 (2011; Zbl 1298.68039) Full Text: DOI
Àlvarez, Carme; Gabarro, Joaquim; Serna, Maria Equilibria problems on games: complexity versus succinctness. (English) Zbl 1230.91006 J. Comput. Syst. Sci. 77, No. 6, 1172-1197 (2011). MSC: 91A10 91A18 90C33 68Q15 PDFBibTeX XMLCite \textit{C. Àlvarez} et al., J. Comput. Syst. Sci. 77, No. 6, 1172--1197 (2011; Zbl 1230.91006) Full Text: DOI
Gabarró, Joaquim; García, Alina; Serna, Maria The complexity of game isomorphism. (English) Zbl 1227.91016 Theor. Comput. Sci. 412, No. 48, 6675-6695 (2011). MSC: 91A70 91A99 68Q25 PDFBibTeX XMLCite \textit{J. Gabarró} et al., Theor. Comput. Sci. 412, No. 48, 6675--6695 (2011; Zbl 1227.91016) Full Text: DOI
Gabarro, Joaquim; Serna, Maria; Stewart, Alan Web services and incerta spiriti: a game theoretic approach to uncertainty. (English) Zbl 1341.68011 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 651-662 (2011). MSC: 68M11 91A40 91A80 PDFBibTeX XMLCite \textit{J. Gabarro} et al., Lect. Notes Comput. Sci. 6717, 651--662 (2011; Zbl 1341.68011) Full Text: DOI
Gabarro, Joaquim Book review of: Robin Sharp, Principles of protocol design. (English) Zbl 1296.00011 Comput. Sci. Rev. 3, No. 4, 259-261 (2009). MSC: 00A17 68-01 68M12 68M10 PDFBibTeX XMLCite \textit{J. Gabarro}, Comput. Sci. Rev. 3, No. 4, 259--261 (2009; Zbl 1296.00011) Full Text: DOI
Gabarro-Arpa, Jacques A central partition of molecular conformational space. IV: Extracting information from the graph of cells. (English) Zbl 1217.81166 J. Math. Chem. 44, No. 3, 872-883 (2008). MSC: 81V55 05A18 PDFBibTeX XMLCite \textit{J. Gabarro-Arpa}, J. Math. Chem. 44, No. 3, 872--883 (2008; Zbl 1217.81166) Full Text: DOI arXiv
Gabarro, Joaquim; García, Alina; Serna, Maria On the complexity of equilibria problems in Angel-Daemon games. (English) Zbl 1148.91301 Hu, Xiaodong (ed.) et al., Computing and combinatorics. 14th annual international conference, COCOON 2008, Dalian, China, June 27–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69732-9/pbk). Lecture Notes in Computer Science 5092, 31-40 (2008). MSC: 91A10 68M20 68Q17 91A80 PDFBibTeX XMLCite \textit{J. Gabarro} et al., Lect. Notes Comput. Sci. 5092, 31--40 (2008; Zbl 1148.91301) Full Text: DOI
Gabarro-Arpa, Jacques A central partition of molecular conformational space. III. Combinatorial determination of the volume spanned by a molecular system. (English) Zbl 1217.92089 J. Math. Chem. 42, No. 4, 691-706 (2007). MSC: 92E10 92C40 PDFBibTeX XMLCite \textit{J. Gabarro-Arpa}, J. Math. Chem. 42, No. 4, 691--706 (2007; Zbl 1217.92089) Full Text: DOI arXiv
Gabarró, Joaquim; García, Alina; Serna, Maria On the complexity of game isomorphism. (Extended abstract). (English) Zbl 1147.91303 Kučera, Luděk (ed.) et al., Mathematical foundations of computer science 2007. 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74455-9/pbk). Lecture Notes in Computer Science 4708, 559-571 (2007). MSC: 91A10 05C60 68Q25 PDFBibTeX XMLCite \textit{J. Gabarró} et al., Lect. Notes Comput. Sci. 4708, 559--571 (2007; Zbl 1147.91303) Full Text: DOI
Àlvarez, Carme; Gabarró, Joaquim; Serna, Maria Polynomial space suffices for deciding Nash equilibria properties for extensive games with large trees. (English) Zbl 1175.91026 Deng, Xiaotie (ed.) et al., Algorithms and computation. 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30935-7/pbk). Lecture Notes in Computer Science 3827, 634-643 (2005). MSC: 91A18 68Q25 91A10 PDFBibTeX XMLCite \textit{C. Àlvarez} et al., Lect. Notes Comput. Sci. 3827, 634--643 (2005; Zbl 1175.91026) Full Text: DOI
Àlvarez, Carme; Gabarró, Joaquim; Serna, Maria Pure Nash equilibria in games with a large number of actions. (English) Zbl 1156.91308 Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 95-106 (2005). MSC: 91A10 68Q15 68Q17 PDFBibTeX XMLCite \textit{C. Àlvarez} et al., Lect. Notes Comput. Sci. 3618, 95--106 (2005; Zbl 1156.91308) Full Text: DOI
Flajolet, Philippe; Gabarró, Joaquim; Pekari, Helmut Analytic urns. (English) Zbl 1073.60007 Ann. Probab. 33, No. 3, 1200-1233 (2005). Reviewer: Vassilis G. Papanicolaou (Athena) MSC: 60C05 33E05 41A60 60K99 60Fxx PDFBibTeX XMLCite \textit{P. Flajolet} et al., Ann. Probab. 33, No. 3, 1200--1233 (2005; Zbl 1073.60007) Full Text: DOI arXiv
Stewart, A.; Clint, M.; Gabarró, J. Barrier synchronisation: Axiomatisation and relaxation. (English) Zbl 1084.68021 Formal Asp. Comput. 16, No. 1, 36-50 (2004). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Stewart} et al., Formal Asp. Comput. 16, No. 1, 36--50 (2004; Zbl 1084.68021)
Gabarro-Arpa, Jacques A central partition of molecular conformational space. I: Basic structures. (English) Zbl 1025.92006 Comput. Biol. Chem. 27, No. 2, 153-159 (2003). MSC: 92C40 92-08 PDFBibTeX XMLCite \textit{J. Gabarro-Arpa}, Comput. Biol. Chem. 27, No. 2, 153--159 (2003; Zbl 1025.92006) Full Text: DOI arXiv
Baeza-Yates, R.; Gabarró, J.; Messeguer, X. Fringe analysis of synchronized parallel insertion algorithms in 2–3 trees. (English) Zbl 1040.68144 Theor. Comput. Sci. 299, No. 1-3, 231-271 (2003). MSC: 68W10 PDFBibTeX XMLCite \textit{R. Baeza-Yates} et al., Theor. Comput. Sci. 299, No. 1--3, 231--271 (2003; Zbl 1040.68144) Full Text: DOI
Stewart, A.; Clint, M.; Gabarró, J. Algebraic rules for reasoning about BSP programs. (English) Zbl 1086.68532 Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 41-57 (2002). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Stewart} et al., Adv. Comput., Theory Pract. 10, 41--57 (2002; Zbl 1086.68532)
Alba, E.; Almeida, F.; Blesa, M.; Cabeza, J.; Cotta, C.; Díaz, M.; Dorta, I.; Gabarró, J.; León, C.; Luna, J.; Moreno, L.; Pablos, C.; Petit, J.; Rojas, A.; Xhafa, F. MALLBA: A library of skeletons for combinatorial optimisation. (English) Zbl 1068.68699 Monien, Burkhard (ed.) et al., Euro-Par 2002 Parallel processing. 8th international Euro-Par conference, Paderborn, Germany, August 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44049-6). Lect. Notes Comput. Sci. 2400, 927-932 (2002). MSC: 68W10 68T20 90C27 PDFBibTeX XMLCite \textit{E. Alba} et al., Lect. Notes Comput. Sci. 2400, 927--932 (2002; Zbl 1068.68699) Full Text: Link
Stewart, Alan; Clint, Maurice; Gabarró, Joquim; Serna, Maria J. Towards formally refining BSP barriers into explicit two-sided communications. (English) Zbl 1005.68700 Sakellariou, Rizos (ed.) et al., Euro-Par 2001 Parallel processing. 7th international Euro-Par conference, Manchester, GB, August 28-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2150, 549-559 (2001). MSC: 68U99 68N19 PDFBibTeX XMLCite \textit{A. Stewart} et al., Lect. Notes Comput. Sci. 2150, 549--559 (2001; Zbl 1005.68700) Full Text: Link
Stewart, A.; Clint, M.; Gabarró, J. Axiomatic frameworks for developing BSP-style programs. (English) Zbl 0954.68096 Parallel Algorithms Appl. 14, No. 4, 271-292 (2000). MSC: 68Q55 PDFBibTeX XMLCite \textit{A. Stewart} et al., Parallel Algorithms Appl. 14, No. 4, 271--292 (2000; Zbl 0954.68096) Full Text: DOI
Epstein, R.; Nieto, E.; Weintraub, A.; Chevalier, P.; Gabarró, J. A system for the design of short term harvesting strategy. (English) Zbl 0933.90046 Eur. J. Oper. Res. 119, No. 2, 427-439 (1999). MSC: 90B90 91B76 90C90 PDFBibTeX XMLCite \textit{R. Epstein} et al., Eur. J. Oper. Res. 119, No. 2, 427--439 (1999; Zbl 0933.90046) Full Text: DOI
Gabarró, Joaquim; Messeguer, Xavier Parallel dictionaries with local rules on AVL and brother trees. (English) Zbl 1339.68052 Inf. Process. Lett. 68, No. 2, 79-85 (1998). MSC: 68P05 68W10 PDFBibTeX XMLCite \textit{J. Gabarró} and \textit{X. Messeguer}, Inf. Process. Lett. 68, No. 2, 79--85 (1998; Zbl 1339.68052) Full Text: DOI Link
Bougé, Luc; Gabarró, Joaquim; Messeguer, Xavier; Schabanel, Nicolas Concurrent rebalancing of AVL trees: A fine-grained approach. (Extended abstract). (English) Zbl 0996.68566 Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 421-429 (1997). MSC: 68U99 68P05 PDFBibTeX XMLCite \textit{L. Bougé} et al., Lect. Notes Comput. Sci. 1300, 421--429 (1997; Zbl 0996.68566)
Gabarró, Joaquim; Martínez, Conrado; Messeguer, Xavier A design of a parallel dictionary using skip lists. (English) Zbl 0871.68066 Theor. Comput. Sci. 158, No. 1-2, 1-33 (1996). MSC: 68P10 68W10 PDFBibTeX XMLCite \textit{J. Gabarró} et al., Theor. Comput. Sci. 158, No. 1--2, 1--33 (1996; Zbl 0871.68066) Full Text: DOI
Gabarró, J.; Serna, M. J. Rational processes and linear systems in CSP. (English) Zbl 0831.68056 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 24, No. 3, 283-302 (1995). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Gabarró} and \textit{M. J. Serna}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 24, No. 3, 283--302 (1995; Zbl 0831.68056)
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim Structural complexity . 1. 2nd rev. ed. (English) Zbl 0826.68048 Berlin: Springer-Verlag. xiii, 208 p. (1995). Reviewer: A.Brandstädt (Jena) MSC: 68Q15 03D15 68-01 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., Structural complexity . 1. 2nd rev. ed. Berlin: Springer-Verlag (1995; Zbl 0826.68048)
Balcázar, José; Gabarró, Joaquim; Sántha, Miklós Deciding bisimilarity is P-complete. (English) Zbl 0758.68033 Formal Asp. Comput. 4, No. 6A, 638-648 (1992). MSC: 68Q25 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Balcázar} et al., Formal Asp. Comput. 4, No. 6A, 638--648 (1992; Zbl 0758.68033) Full Text: DOI
Àlvarez, C.; Gabarró, J. The parallel complexity of two problems on concurrency. (English) Zbl 0734.68044 Inf. Process. Lett. 38, No. 2, 61-70 (1991). Reviewer: M.Jantzen (Hamburg) MSC: 68Q25 68W15 68Q85 PDFBibTeX XMLCite \textit{C. Àlvarez} and \textit{J. Gabarró}, Inf. Process. Lett. 38, No. 2, 61--70 (1991; Zbl 0734.68044) Full Text: DOI
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim Structural complexity II. (English) Zbl 0746.68032 EATCS Monographs on Theoretical Computer Science. 22. Berlin etc.: Springer-Verlag. IX, 283 p. (1990). Reviewer: U.Schöning (Ulm) MSC: 68Q15 68Q05 68-02 68Q25 68Q30 03D15 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., Structural complexity II. Berlin etc.: Springer-Verlag (1990; Zbl 0746.68032)
Cucker, Felipe; Gabarró, Joaquim Non recursive functions have transcendental generating series. (English) Zbl 0683.03023 RAIRO, Inf. Théor. Appl. 23, No. 4, 445-448 (1989). MSC: 03D20 68Q45 PDFBibTeX XMLCite \textit{F. Cucker} and \textit{J. Gabarró}, RAIRO, Inform. Théor. Appl. 23, No. 4, 445--448 (1989; Zbl 0683.03023) Full Text: DOI EuDML
Balcázar, José L.; Gabarró, Joaquim Nonuniform complexity classes specified by lower and upper bounds. (English) Zbl 0681.68054 RAIRO, Inf. Théor. Appl. 23, No. 2, 177-194 (1989). MSC: 68Q25 68Q05 PDFBibTeX XMLCite \textit{J. L. Balcázar} and \textit{J. Gabarró}, RAIRO, Inform. Théor. Appl. 23, No. 2, 177--194 (1989; Zbl 0681.68054) Full Text: DOI EuDML
Autebert, Jean-Michel; Gabarro, Joaquim Iterated GSMs and CO-CFL. (English) Zbl 0659.68097 Acta Inf. 26, No. 8, 749-769 (1989). Reviewer: J.Gabarro MSC: 68Q45 PDFBibTeX XMLCite \textit{J.-M. Autebert} and \textit{J. Gabarro}, Acta Inf. 26, No. 8, 749--769 (1989; Zbl 0659.68097) Full Text: DOI
Balcázar, José Luis; Díaz, Josep; Gabarró, Joaquim Structural complexity. I. (English) Zbl 0638.68040 EATCS Monographs on Theoretical Computer Science, Vol. 11. Berlin etc.: Springer-Verlag. IX, 191 p., DM 54.00 (1988). Reviewer: U.Schöning MSC: 68Q05 68Q25 03D15 03D10 68-02 03-02 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., Structural complexity. I. Berlin etc.: Springer-Verlag (1988; Zbl 0638.68040)
Autebert, Jean-Michel; Flajolet, Philippe; Gabarro, Joaquim Prefixes of infinite words and ambiguous context-free languages. (English) Zbl 0653.68076 Inf. Process. Lett. 25, 211-216 (1987). MSC: 68Q45 PDFBibTeX XMLCite \textit{J.-M. Autebert} et al., Inf. Process. Lett. 25, 211--216 (1987; Zbl 0653.68076) Full Text: DOI Link
Balcázar, J. L.; Díaz, J.; Gabarró, J. On characterizations of the class PSPACE/poly. (English) Zbl 0652.68060 Theor. Comput. Sci. 52, 251-267 (1987). Reviewer: M.Chytil MSC: 68Q25 68Q05 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., Theor. Comput. Sci. 52, 251--267 (1987; Zbl 0652.68060) Full Text: DOI
Balcázar, J. L.; Díaz, J.; Gabarró, J. On non-uniform polynomial space. (English) Zbl 0612.68034 Structure in complexity theory, Proc. Conf., Berkeley/Calif. 1986, Lect. Notes Comput. Sci. 223, 35-50 (1986). MSC: 68Q25 PDFBibTeX XML
Balcázar, José L.; Díaz, Josep; Gabarró, Joaquim Uniform characterizations of non-uniform complexity measures. (English) Zbl 0588.68021 Inf. Control 67, 53-69 (1985). MSC: 68Q25 68Q45 PDFBibTeX XMLCite \textit{J. L. Balcázar} et al., Inf. Control 67, 53--69 (1985; Zbl 0588.68021) Full Text: DOI
Balcázar, J. L.; Díaz, J.; Gabarró, J. On some ”non-uniform” complexity measures. (English) Zbl 0574.68039 Fundamentals of computation theory, Proc. 5th Int. Conf., Cottbus/Ger. 1985, Lect. Notes Comput. Sci. 199, 18-27 (1985). MSC: 68Q25 68Q45 PDFBibTeX XML
Balcázar, J. L.; Diaz, J.; Gabarró, J. Measures and computations. (Catalan) Zbl 0606.68045 Mathematical logic, Proc. 3rd Catalonian Congr., Barcelona/Spain 1984, 63-73 (1984). MSC: 68Q05 68Q25 68Q45 94C10 PDFBibTeX XML
Gabarro, J. Pushdown space complexity and related full-A.F.L’s. (English) Zbl 0542.68064 Theoretical aspects of computer science, Symp., Paris 1984, Lect. Notes Comput. Sci. 166, 250-259 (1984). MSC: 68Q45 68Q25 PDFBibTeX XML
Gabarro, J. Initial index: a new complexity function for languages. (English) Zbl 0523.68068 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 226-236 (1983). MSC: 68Q45 68Q25 PDFBibTeX XML
Gabarro, J. Une application des notions de centre et index rationnel à certains langages algébriques. (French) Zbl 0505.68033 RAIRO, Inf. Théor. 16, 317-330 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Gabarro}, RAIRO, Inf. Théor. 16, 317--330 (1982; Zbl 0505.68033) Full Text: EuDML