A proof rule for the "it it" generalized control structure. - Tudor Balanescu (Bull. EATCS, 1984)

On Hartmann's error-recovery scheme. - Tudor Balanescu (ACM SIGPLAN Notices, 1986)

A note on PF(k) - parsable languages. - Tudor Balanescu; Marian Gheorghe 001 (Fundam. Informaticae, 1991)

Grammar Systems with Counting Derivation and Dynamical Priorities. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (New Trends in Formal Languages, 1997)

Grammatical Models for Some Process Synchronizers. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (MFCS Workshop on Grammar Systems, 1998)

A New Type of Counting Derivation for CD Grammar Systems. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (Grammatical Models of Multi-Agent Systems, 1999)

Communicating Stream X-Machines Systems are no more than X-Machines. - Tudor Balanescu; Anthony J. Cowling; Horia Georgescu; Marian Gheorghe 001; Mike Holcombe; Cristina Vertan (J. Univers. Comput. Sci., 1999)

On Testing Generalized Stream X-Machines. - Mike Holcombe; Tudor Balanescu; Marian Gheorghe 001; Paul Radovici-Marculescu (Recent Topics in Mathematical and Computational Linguistics, 2000)

Generalised Stream X-Machines with Output Delimited Type. - Tudor Balanescu (Formal Aspects Comput., 2000)

Deterministic stream X-machines based on grammar systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

Testing Using X-Machine Translations. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe; Tudor Balanescu (Words, Semigroups, and Transductions, 2001)

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (ECAL, 2001)

Eilenberg P Systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (WMC-CdeA, 2002)

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). - Joaquín Aguado; Tudor Balanescu; Anthony J. Cowling; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (Fundam. Informaticae, 2002)

Refinement in Finite State Machine Testing. - Florentin Ipate; Tudor Balanescu (Fundam. Informaticae, 2005)

Asynchronous P Systems. - Tudor Balanescu; Radu Nicolescu; Huiling Wu (Int. J. Nat. Comput. Res., 2011)