Automata, languages and programmingOREJAS, Fernando; VAN LEEUWEN, Jan.Theoretical computer science. 2005, Vol 331, Num 1, issn 0304-3975, 249 p.Conference Proceedings

Automata, languages and programming (ICALP 2003)BAETEN, Jos C. M; LENSTRA, Jan Karel; WOEGINGER, Gerhard J et al.Theoretical computer science. 2007, Vol 379, Num 3, issn 0304-3975, 134 p.Conference Proceedings

Automata, languages and programming (ICALP 2005)ITALIANO, Giuseppe F; PALAMIDESSI, Catuscia.Theoretical computer science. 2007, Vol 380, Num 1-2, issn 0304-3975, 220 p.Conference Proceedings

AUTOMATA, LANGUAGES AND PROGRAMMINGMAURER HA ED.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; 693 P.; ABS. ENG; BIBL. DISSEM.Conference Paper

Beyond the Alder-Strassen boundBLÄSER, Markus.Theoretical computer science. 2005, Vol 331, Num 1, pp 3-21, issn 0304-3975, 19 p.Conference Paper

Amalgamation in the semantics of CASLSCHRÖDER, Lutz; MOSSAKOWSKI, Till; TARIECKI, Andrzej et al.Theoretical computer science. 2005, Vol 331, Num 1, pp 215-247, issn 0304-3975, 33 p.Conference Paper

Testing hypergraph colorabilityCZUMAJ, Artur; SOHLER, Christian.Theoretical computer science. 2005, Vol 331, Num 1, pp 37-52, issn 0304-3975, 16 p.Conference Paper

Faster gossiping on butterfly networksSIBEYN, Jop F.Theoretical computer science. 2005, Vol 331, Num 1, pp 53-72, issn 0304-3975, 20 p.Conference Paper

Realizability and verification of MSC graphsALUR, Rajeev; ETESSAMI, Kousha; YANNAKAKIS, Mihalis et al.Theoretical computer science. 2005, Vol 331, Num 1, pp 97-114, issn 0304-3975, 18 p.Conference Paper

Automata, Languages and Programming (ICALP 2006)GAL, Anna.Theoretical computer science. 2009, Vol 410, Num 44, issn 0304-3975, 90 p.Conference Proceedings

Discrete random variables over domainsMISLOVE, Michael.Theoretical computer science. 2007, Vol 380, Num 1-2, pp 181-198, issn 0304-3975, 18 p.Conference Paper

Automata, languages and programming: logic and semantics (ICALP-B 2004)SANNELLA, Donald.Theoretical computer science. 2006, Vol 350, Num 2-3, issn 0304-3975, 212 p.Conference Proceedings

A behavioural pseudometric for probabilistic transition systemsVAN BREUGEL, Franck; WORRELL, James.Theoretical computer science. 2005, Vol 331, Num 1, pp 115-142, issn 0304-3975, 28 p.Conference Paper

Automata, languages and programming (Crete, 8-12 July 2001)Orejas, Fernando; Spirakis, Paul G; van Leeuwen, Jan et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42287-0, XIV, 1083 p, isbn 3-540-42287-0Conference Proceedings

Routing in treesFRAIGNIAUD, Pierre; GAVOILLE, Cyril.Lecture notes in computer science. 2001, pp 757-772, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Automata, languages and programming (Bologna, July 7-11, 1997)Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63165-8, XVI, 859 p, isbn 3-540-63165-8Conference Proceedings

AUTOMATA, LANGUAGES AND PROGRAMMING. 2ND COLLOQUIUM; SAARBRUECKEN; 1974.1974; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1974; VOL. 14; PP. 1-619; BIBL. DISSEM.Conference Paper

AUTOMATA, LANGUAGES AND PROGRAMMING. COLLOQUIUM. 4; TURKU; 1977.1977; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1977; VOL. 52; PP. (579P.); BIBL. DISSEM.; ISBN 3540083421Conference Paper

Degree distribution of the FKP network modelBERGER, Noam; BOLLOBAS, Béla; BORGS, Christian et al.Theoretical computer science. 2007, Vol 379, Num 3, pp 306-316, issn 0304-3975, 11 p.Conference Paper

Unlearning helpsBALIGA, G; CASE, J; MERKLE, W et al.Lecture notes in computer science. 2000, pp 844-855, issn 0302-9743, isbn 3-540-67715-1Conference Paper

Solos in concertLANEVE, C; VICTOR, B.Lecture notes in computer science. 1999, pp 513-523, issn 0302-9743, isbn 3-540-66224-3Conference Paper

Measuring the probabilistic powerdomainMARTIN, Keye; MISLOVE, Michael; WORRELL, James et al.Theoretical computer science. 2004, Vol 312, Num 1, pp 99-119, issn 0304-3975, 21 p.Conference Paper

Comparing the size of NFAs with and without ε -transitionsHROMKOVIC, Juraj; SCHNITGER, Georg.Theoretical computer science. 2007, Vol 380, Num 1-2, pp 100-114, issn 0304-3975, 15 p.Conference Paper

New up-to techniques for weak bisimulationPOUS, Damien.Theoretical computer science. 2007, Vol 380, Num 1-2, pp 164-180, issn 0304-3975, 17 p.Conference Paper

Recursively defined metric spaces without contractionVAN BREUGEL, Franck; HERMIDA, Claudio; MAKKAI, Michael et al.Theoretical computer science. 2007, Vol 380, Num 1-2, pp 143-163, issn 0304-3975, 21 p.Conference Paper