Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Research › Journal article
- Published
Logic for physical space : From antiquity to present days. / Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle; Goranko, Valentin.
In: Synthese, Vol. 186, No. 3, 2012, p. 619-632.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Accepted
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Complete account of randomness in the EPR-Bohm-Bell experiment. / Avis, David; Fischer, Paul; Hilbert, Astrid; Khrennikov, Andrei.
In: arXiv, 2008.Publication: Research › Journal article – Annual report year: 2008
- Published
Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.
In: Algorithmica, Vol. 62, No. 1-2, 2012, p. 209-223.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Faster Approximate String Matching for Short Patterns. / Bille, Philip.
In: Theory of Computing Systems, Vol. 50, No. 3, 2012, p. 492–515.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Fast searching in packed strings. / Bille, Philip.
In: Journal of Discrete Algorithms (Amsterdam), Vol. 9, No. 1, 2011, p. 49-56.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.
In: A C M Transactions on Algorithms, Vol. 6, No. 1, 2009, p. article number 3.Publication: Research - peer-review › Journal article – Annual report year: 2009
- Published
Matching Subsequences in Trees. / Bille, Philip; Gørtz, Inge Li.
In: Journal of Discrete Algorithms, Vol. 7, No. 3, 2009, p. 306-314.Publication: Research - peer-review › Journal article – Annual report year: 2009
- Published
String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.
In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.
In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.Publication: Research - peer-review › Journal article – Annual report year: 2011