Výpis publikací

KAMENICKÁ, Renata. Defining explicitation in translation. Sborník prací Filozofické fakulty Brněnské univerzity, Řada anglistická: Brno Studies in English 33. Brno: Masarykova univerzita v Brně, 2007, roč. 33/2007, č. 1, s. 45-57, 155 s. ISSN 1211-1791.

ČERNÁ, Ivana; Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005, s. 71-75.

CHAMONIKOLASOVÁ, Jana. Dynamic semantic scales in the theory of functional sentence perspective. In Aleg(r)ace pro Evu. Papers in Honour of Eva Hajičová. Praha: Univerzita Karlova, 2005, s. 61-67.

ŠAFRÁNEK, David. Visual Specification of Systems with Heterogeneous Coordination Models. In Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures. London: ENTCS, 2004, s. 107-121. ISSN 1571-0661.