Faro, Simone; Scafiti, Stefano Compact suffix automata representations for searching long patterns. (English) Zbl 07676485 Theor. Comput. Sci. 940, 254-268 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Faro} and \textit{S. Scafiti}, Theor. Comput. Sci. 940, 254--268 (2023; Zbl 07676485) Full Text: DOI
Badkobeh, Golnaz; Charalampopoulos, Panagiotis; Kosolobov, Dmitry; Pissis, Solon P. Internal shortest absent word queries in constant time and linear space. (English) Zbl 07540210 Theor. Comput. Sci. 922, 271-282 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Badkobeh} et al., Theor. Comput. Sci. 922, 271--282 (2022; Zbl 07540210) Full Text: DOI arXiv
Bille, Philip; Gørtz, Inge Li; Skjoldjensen, Frederik Rye Partial sums on the ultra-wide word RAM. (English) Zbl 07467481 Theor. Comput. Sci. 905, 99-105 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Bille} et al., Theor. Comput. Sci. 905, 99--105 (2022; Zbl 07467481) Full Text: DOI arXiv
Hague, Matthew; Lin, Anthony W. Decidable models of integer-manipulating programs with recursive parallelism. (English) Zbl 1403.68124 Theor. Comput. Sci. 750, 24-37 (2018). MSC: 68Q60 68N30 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Hague} and \textit{A. W. Lin}, Theor. Comput. Sci. 750, 24--37 (2018; Zbl 1403.68124) Full Text: DOI arXiv
Pan, Linqiang; Păun, Gheorghe; Song, Bosheng Flat maximal parallelism in P systems with promoters. (English) Zbl 1336.68073 Theor. Comput. Sci. 623, 83-91 (2016). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{L. Pan} et al., Theor. Comput. Sci. 623, 83--91 (2016; Zbl 1336.68073) Full Text: DOI
Giaquinta, Emanuele; Fredriksson, Kimmo; Grabowski, Szymon; Tomescu, Alexandru I.; Ukkonen, Esko Motif matching using gapped patterns. (English) Zbl 1314.68418 Theor. Comput. Sci. 548, 1-13 (2014). MSC: 68W32 68R15 PDFBibTeX XMLCite \textit{E. Giaquinta} et al., Theor. Comput. Sci. 548, 1--13 (2014; Zbl 1314.68418) Full Text: DOI arXiv
Alhazov, Artiom; Li, Chang; Petre, Ion Computing the graph-based parallel complexity of gene assembly. (English) Zbl 1203.68051 Theor. Comput. Sci. 411, No. 25, 2359-2367 (2010). MSC: 68Q10 68Q05 68R10 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Theor. Comput. Sci. 411, No. 25, 2359--2367 (2010; Zbl 1203.68051) Full Text: DOI
Gras, Daniel Cabeza; Hermenegildo, Manuel V. Non-strict independence-based program parallelization using sharing and freeness information. (English) Zbl 1187.68123 Theor. Comput. Sci. 410, No. 46, 4704-4723 (2009). MSC: 68N17 68N20 PDFBibTeX XMLCite \textit{D. C. Gras} and \textit{M. V. Hermenegildo}, Theor. Comput. Sci. 410, No. 46, 4704--4723 (2009; Zbl 1187.68123) Full Text: DOI Link
Case, John; Moelius, Samuel E. III Parallelism increases iterative learning power. (English) Zbl 1167.68024 Theor. Comput. Sci. 410, No. 19, 1863-1875 (2009). MSC: 68Q32 PDFBibTeX XMLCite \textit{J. Case} and \textit{S. E. Moelius III}, Theor. Comput. Sci. 410, No. 19, 1863--1875 (2009; Zbl 1167.68024) Full Text: DOI
Bono, Viviana; Venneri, Betti; Bettini, Lorenzo A typed lambda calculus with intersection types. (English) Zbl 1145.68009 Theor. Comput. Sci. 398, No. 1-3, 95-113 (2008). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{V. Bono} et al., Theor. Comput. Sci. 398, No. 1--3, 95--113 (2008; Zbl 1145.68009) Full Text: DOI Link
Langille, Miika; Petre, Ion Sequential vs. Parallel complexity in simple gene assembly. (English) Zbl 1147.68522 Theor. Comput. Sci. 395, No. 1, 24-30 (2008). MSC: 68Q10 PDFBibTeX XMLCite \textit{M. Langille} and \textit{I. Petre}, Theor. Comput. Sci. 395, No. 1, 24--30 (2008; Zbl 1147.68522) Full Text: DOI
Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín On the degree of parallelism in membrane systems. (English) Zbl 1111.68039 Theor. Comput. Sci. 372, No. 2-3, 183-195 (2007). MSC: 68Q10 PDFBibTeX XMLCite \textit{M. A. Gutiérrez-Naranjo} et al., Theor. Comput. Sci. 372, No. 2--3, 183--195 (2007; Zbl 1111.68039) Full Text: DOI
He, Longtao; Fang, Binxing; Sui, Jie The wide window string matching algorithm. (English) Zbl 1070.68148 Theor. Comput. Sci. 332, No. 1-3, 391-404 (2005). MSC: 68W05 68P10 PDFBibTeX XMLCite \textit{L. He} et al., Theor. Comput. Sci. 332, No. 1--3, 391--404 (2005; Zbl 1070.68148) Full Text: DOI
Chen, Yifeng A fixpoint theory for non-monotonic parallelism. (English) Zbl 1070.68081 Theor. Comput. Sci. 308, No. 1-3, 367-392 (2003). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{Y. Chen}, Theor. Comput. Sci. 308, No. 1--3, 367--392 (2003; Zbl 1070.68081) Full Text: DOI
Bucciarelli, Antonio; Malacaria, Pasquale Relative definability of boolean functions via hypergraphs. (English) Zbl 1002.68106 Theor. Comput. Sci. 278, No. 1-2, 91-110 (2002). MSC: 68R10 06E30 PDFBibTeX XMLCite \textit{A. Bucciarelli} and \textit{P. Malacaria}, Theor. Comput. Sci. 278, No. 1--2, 91--110 (2002; Zbl 1002.68106) Full Text: DOI
Groote, J. F.; van Wamel, J. The parallel composition of uniform processes with data. (English) Zbl 0992.68235 Theor. Comput. Sci. 266, No. 1-2, 631-652 (2001). MSC: 68W10 68Q85 PDFBibTeX XMLCite \textit{J. F. Groote} and \textit{J. van Wamel}, Theor. Comput. Sci. 266, No. 1--2, 631--652 (2001; Zbl 0992.68235) Full Text: DOI
Pucella, R.; Panangaden, P. On the expressive power of first-order boolean functions in PCF. (English) Zbl 0989.68014 Theor. Comput. Sci. 266, No. 1-2, 543-567 (2001). MSC: 68N15 PDFBibTeX XMLCite \textit{R. Pucella} and \textit{P. Panangaden}, Theor. Comput. Sci. 266, No. 1--2, 543--567 (2001; Zbl 0989.68014) Full Text: DOI
Panangaden, P.; Verbrugge, C. Generating irregular partitionable data structures. (English) Zbl 0944.68078 Theor. Comput. Sci. 238, No. 1-2, 31-80 (2000). MSC: 68Q42 PDFBibTeX XMLCite \textit{P. Panangaden} and \textit{C. Verbrugge}, Theor. Comput. Sci. 238, No. 1--2, 31--80 (2000; Zbl 0944.68078) Full Text: DOI
Knoop, Jens Eliminating partially dead code in explicitly parallel programs. (English) Zbl 0902.68037 Theor. Comput. Sci. 196, No. 1-2, 365-393 (1998). MSC: 68N99 PDFBibTeX XMLCite \textit{J. Knoop}, Theor. Comput. Sci. 196, No. 1--2, 365--393 (1998; Zbl 0902.68037) Full Text: DOI
Podehl, Axel; Rauber, Thomas; Rünger, Gudula A shared-memory implementation of the hierarchical radiosity method. (English) Zbl 0902.68216 Theor. Comput. Sci. 196, No. 1-2, 215-240 (1998). MSC: 68U10 PDFBibTeX XMLCite \textit{A. Podehl} et al., Theor. Comput. Sci. 196, No. 1--2, 215--240 (1998; Zbl 0902.68216) Full Text: DOI
Colombet, L.; Desbat, L. Speedup and efficiency of large-size applications on heterogeneous networks. (English) Zbl 0902.68011 Theor. Comput. Sci. 196, No. 1-2, 31-44 (1998). MSC: 68M10 PDFBibTeX XMLCite \textit{L. Colombet} and \textit{L. Desbat}, Theor. Comput. Sci. 196, No. 1--2, 31--44 (1998; Zbl 0902.68011) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo; Piperno, Adolfo Filter models for conjunctive-disjunctive \(\lambda\)-calculi. (English) Zbl 0874.03015 Theor. Comput. Sci. 170, No. 1-2, 83-128 (1996). MSC: 03B40 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 170, No. 1--2, 83--128 (1996; Zbl 0874.03015) Full Text: DOI
Assous, Marc Roland; Bouchitté, Vincent; Charretton, Christine; Rozoy, Brigitte Finite labelling problem in event structures. (English) Zbl 0801.68057 Theor. Comput. Sci. 123, No. 1, 9-19 (1994). MSC: 68Q10 68R05 PDFBibTeX XMLCite \textit{M. R. Assous} et al., Theor. Comput. Sci. 123, No. 1, 9--19 (1994; Zbl 0801.68057) Full Text: DOI
Ehrig, H.; Löwe, M. Parallel and distributed derivations in the single-pushout approach. (English) Zbl 0787.18002 Theor. Comput. Sci. 109, No. 1-2, 123-143 (1993). Reviewer: A.Corradini (Pisa) MSC: 18A30 68Q42 68R10 68Q10 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Löwe}, Theor. Comput. Sci. 109, No. 1--2, 123--143 (1993; Zbl 0787.18002) Full Text: DOI
Brookes, Stephen; Geva, Shai Towards a theory of parallel algorithms on concrete data structures. (English) Zbl 0761.68042 Theor. Comput. Sci. 101, No. 2, 177-221 (1992). MSC: 68W15 68Q55 68Q10 PDFBibTeX XMLCite \textit{S. Brookes} and \textit{S. Geva}, Theor. Comput. Sci. 101, No. 2, 177--221 (1992; Zbl 0761.68042) Full Text: DOI
Heibig, A. G. Control machines: A new model of parallelism for compositional specifications and their effective compilation. (English) Zbl 0738.68028 Theor. Comput. Sci. 87, No. 1, 43-80 (1991). Reviewer: S.Miura (Okazaki / Aichi) MSC: 68Q10 68N20 68N99 PDFBibTeX XMLCite \textit{A. G. Heibig}, Theor. Comput. Sci. 87, No. 1, 43--80 (1991; Zbl 0738.68028) Full Text: DOI
Murakami, Masaki A declarative semantics of flat guarded Horn clauses for programs with perpetual processes. (English) Zbl 0702.68081 Theor. Comput. Sci. 75, No. 1-2, 67-83 (1990). MSC: 68Q55 68Q10 68T27 68N15 68T99 PDFBibTeX XMLCite \textit{M. Murakami}, Theor. Comput. Sci. 75, No. 1--2, 67--83 (1990; Zbl 0702.68081) Full Text: DOI
Falaschi, Moreno; Levi, Giorgio Finite failures and partial computations in concurrent logic languages. (English) Zbl 0702.68079 Theor. Comput. Sci. 75, No. 1-2, 45-66 (1990). MSC: 68Q55 68Q10 68T99 68N15 PDFBibTeX XMLCite \textit{M. Falaschi} and \textit{G. Levi}, Theor. Comput. Sci. 75, No. 1--2, 45--66 (1990; Zbl 0702.68079) Full Text: DOI
de Bakker, J. W.; Kok, J. N. Comparative metric semantics for concurrent PROLOG. (English) Zbl 0702.68077 Theor. Comput. Sci. 75, No. 1-2, 15-43 (1990). MSC: 68Q55 68Q10 68T99 68N15 PDFBibTeX XMLCite \textit{J. W. de Bakker} and \textit{J. N. Kok}, Theor. Comput. Sci. 75, No. 1--2, 15--43 (1990; Zbl 0702.68077) Full Text: DOI
Aiken, Alexander A theory of compaction-based parallelization. (English) Zbl 0701.68011 Theor. Comput. Sci. 73, No. 2, 121-154 (1990). MSC: 68N01 68N20 PDFBibTeX XMLCite \textit{A. Aiken}, Theor. Comput. Sci. 73, No. 2, 121--154 (1990; Zbl 0701.68011) Full Text: DOI
Hromkovič, Juraj Tradeoffs for language recognition on alternating machines. (English) Zbl 0667.68060 Theor. Comput. Sci. 63, No. 2, 203-221 (1989). Reviewer: M.Clausen MSC: 68Q25 68Q05 03D15 PDFBibTeX XMLCite \textit{J. Hromkovič}, Theor. Comput. Sci. 63, No. 2, 203--221 (1989; Zbl 0667.68060) Full Text: DOI
Drabent, Włodzimierz; Małuszyński, Jan Inductive assertion method for logic pograms. (English) Zbl 0648.68019 Theor. Comput. Sci. 59, No. 1-2, 133-155 (1988). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{W. Drabent} and \textit{J. Małuszyński}, Theor. Comput. Sci. 59, No. 1--2, 133--155 (1988; Zbl 0648.68019) Full Text: DOI
Hankin, Chris; Burn, Geoffrey; Peyton Jones, Simon A safe approach to parallel combinator reduction. (English) Zbl 0632.68017 Theor. Comput. Sci. 56, No. 1, 17-36 (1988). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{C. Hankin} et al., Theor. Comput. Sci. 56, No. 1, 17--36 (1988; Zbl 0632.68017) Full Text: DOI
Darondeau, Philippe About fair asynchrony. (English) Zbl 0607.68016 Theor. Comput. Sci. 37, 305-336 (1985). MSC: 68N25 68Q65 PDFBibTeX XMLCite \textit{P. Darondeau}, Theor. Comput. Sci. 37, 305--336 (1985; Zbl 0607.68016) Full Text: DOI
De Simone, Robert Higher-level synchronising devices in Meije-SCCS. (English) Zbl 0598.68027 Theor. Comput. Sci. 37, 245-267 (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{R. De Simone}, Theor. Comput. Sci. 37, 245--267 (1985; Zbl 0598.68027) Full Text: DOI
Austry, Didier; Boudol, Gérard Algèbre de processus et synchronisation. (French) Zbl 0533.68026 Theor. Comput. Sci. 30, 91-131 (1984). MSC: 68N25 PDFBibTeX XMLCite \textit{D. Austry} and \textit{G. Boudol}, Theor. Comput. Sci. 30, 91--131 (1984; Zbl 0533.68026) Full Text: DOI Link
de Simone, Robert On Meije and SCCS: Infinite sum operators vs. non-guarded definitions. (English) Zbl 0533.68015 Theor. Comput. Sci. 30, 133-138 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{R. de Simone}, Theor. Comput. Sci. 30, 133--138 (1984; Zbl 0533.68015) Full Text: DOI
Boussinot, F. Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable. (French) Zbl 0482.68020 Theor. Comput. Sci. 18, 173-206 (1982). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{F. Boussinot}, Theor. Comput. Sci. 18, 173--206 (1982; Zbl 0482.68020) Full Text: DOI
Ehrig, Hartmut; Rosen, Barry K. Parallelism and concurrency of graph manipulations. (English) Zbl 0449.68036 Theor. Comput. Sci. 11, 247-275 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{B. K. Rosen}, Theor. Comput. Sci. 11, 247--275 (1980; Zbl 0449.68036) Full Text: DOI