On the incremental growth and shrinkage of LR goto-graphsCAZZOLA, Walter; VACCHI, Edoardo.Acta informatica. 2014, Vol 51, Num 7, pp 419-447, issn 0001-5903, 29 p.Article

Parameterized complexity of three edge contraction problems with degree constraintsBELMONTE, Rémy; GOLOVACH, Petr A; VAN'T HOF, Pim et al.Acta informatica. 2014, Vol 51, Num 7, pp 473-497, issn 0001-5903, 25 p.Article

Termination of nondeterministic quantum programsYANGJIA LI; NENGKUN YU; MINGSHENG YING et al.Acta informatica. 2014, Vol 51, Num 1, pp 1-24, issn 0001-5903, 24 p.Article

Distributed synthesis for regular and contextfree specificationsFRIDMAN, Wladimir; PUCHALA, Bernd.Acta informatica. 2014, Vol 51, Num 3-4, pp 221-260, issn 0001-5903, 40 p.Conference Paper

Accepting splicing systems with permitting and forbidding wordsARROYO, Fernando; CASTELLANOS, Juan; DASSOW, Jürgen et al.Acta informatica. 2013, Vol 50, Num 1, pp 1-14, issn 0001-5903, 14 p.Article

Avoiding cross-bifix-free binary wordsBILOTTA, Stefano; GRAZZINI, Elisabetta; PERGOLA, Elisa et al.Acta informatica. 2013, Vol 50, Num 3, pp 157-173, issn 0001-5903, 17 p.Article

New proof for the undecidability of the circular PCPHALAVA, Vesa; HARJU, Tero.Acta informatica. 2013, Vol 50, Num 5-6, pp 331-341, issn 0001-5903, 11 p.Article

Online multi-coloring on the path revisitedCHRIST, Marie G; FAVRHOLDT, Lene M; LARSEN, Kim S et al.Acta informatica. 2013, Vol 50, Num 5-6, pp 343-357, issn 0001-5903, 15 p.Article

Judgmental subtyping systems with intersection types and modal typesJEONGBONG SEO; SUNGWOO PARK.Acta informatica. 2013, Vol 50, Num 7-8, pp 359-380, issn 0001-5903, 22 p.Article

Distinguishing and relating higher-order and first-order processes by expressivenessXIAN XU.Acta informatica. 2012, Vol 49, Num 7-8, pp 445-484, issn 0001-5903, 40 p.Article

Multi-tilde-bar expressions and their automataCARON, Pascal; CHAMPARNAUD, Jean-Marc; MIGNOT, Ludovic et al.Acta informatica. 2012, Vol 49, Num 6, pp 413-436, issn 0001-5903, 24 p.Article

Prefix-primitive annihilators of languages under some operationsFAN, Chen-Ming; HUANG, Cheng-Chih; CHRISTINE CHIFEN TSENG et al.Acta informatica. 2012, Vol 49, Num 5, pp 281-293, issn 0001-5903, 13 p.Article

A note on pure codesHUANG, C. C.Acta informatica. 2010, Vol 47, Num 5-6, pp 347-357, issn 0001-5903, 11 p.Article

A note on prefix primitive wordsFAN, Chen-Ming; HUANG, C. C.Acta informatica. 2010, Vol 47, Num 7-8, pp 413-423, issn 0001-5903, 11 p.Article

Equilibria for two parallel links: the strong price of anarchy versus the price of anarchyEPSTEIN, Leah.Acta informatica. 2010, Vol 47, Num 7-8, pp 375-389, issn 0001-5903, 15 p.Article

Liveness of a mutex algorithm in a fair process algebraCORRADINI, Flavio; DI BERARDINI, Maria Rita; VOGLER, Walter et al.Acta informatica. 2009, Vol 46, Num 3, pp 209-235, issn 0001-5903, 27 p.Article

Preserving key in XML data transformationSUMON SHAHRIAR, Md; JIXUE LIU.Acta informatica. 2009, Vol 46, Num 7, pp 475-507, issn 0001-5903, 33 p.Article

Reasoning about faulty quantum programsZULIANI, Paolo.Acta informatica. 2009, Vol 46, Num 6, pp 403-432, issn 0001-5903, 30 p.Article

STG decomposition strategies in combination with unfoldingKHOMENKO, Victor; SCHAEFER, Mark; VOGLER, Walter et al.Acta informatica. 2009, Vol 46, Num 6, pp 433-474, issn 0001-5903, 42 p.Article

Semantics, calculi, and analysis for object-oriented specificationsBRUCKER, Achim D; WOLFF, Burkhart.Acta informatica. 2009, Vol 46, Num 4, pp 255-284, issn 0001-5903, 30 p.Article

Semi-synchronous transductionsBARANY, Vince.Acta informatica. 2009, Vol 46, Num 1, pp 29-42, issn 0001-5903, 14 p.Article

The time complexity of typechecking tree-walking tree transducersENGELFRIET, Joost.Acta informatica. 2009, Vol 46, Num 2, pp 139-154, issn 0001-5903, 16 p.Article

Weighted height of random treesBROUTIN, N; DEVROYE, L; MCLEISH, E et al.Acta informatica. 2008, Vol 45, Num 4, pp 237-277, issn 0001-5903, 41 p.Article

Verification conditions are codeGRAVELL, Andrew M.Acta informatica. 2007, Vol 43, Num 6, pp 431-447, issn 0001-5903, 17 p.Article

Distributed Consensus, revisitedFUZZATI, Rachele; MERRO, Massimo; NESTMANN, Uwe et al.Acta informatica. 2007, Vol 44, Num 6, pp 377-425, issn 0001-5903, 49 p.Article