Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. 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ě, 33/2007, No 1, p. 45-57, 155 pp. ISSN 1211-1791. 2007.
      URL
      Name in Czech: Definice překladové explicitace
      Name (in English): Defining explicitation in translation
      RIV/00216224:14210/07:00033386 Article in a journal. Linguistics. English. Czech Republic.
      Kamenická, Renata (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: explicitation; translation; definition; implicitation; specification; generalization; addition; omission
      International impact: yes
      Reviewed: yes

      Changed by: Mgr. Renata Kamenická, Ph.D., učo 458. Changed: 18/3/2012 21:15.

    2006

    1. ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University. Technical report FIMU-RS-2006-08. 2006.
      FIMU Technical Reports URL
      Name in Czech: Modelovací jazyk Component-Interaction automatů
      RIV/00216224:14330/06:00024121 Audiovisual works. Informatics. English. Czech Republic.
      Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Component-based systems; automata theory; specification; verification
      International impact: yes

      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:26.

    2005

    1. VAŘEKOVÁ, Pavlína and 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). p. 71-75. 2005.
      Name in Czech: Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
      RIV/00216224:14330/05:00013242 Proceedings paper. Informatics. English. Netherlands.
      Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic, guarantor)
      Keywords in English: Component-Interaction automata; specification; verification; component-based systems
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes

      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 2/12/2006 16:39.
    2. 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. p. 61-67. 2005.
      Name in Czech: Dynamicko-sémantické škály v teorii funkční větné perspektivy
      Linguistics. English. Czech Republic.
      Keywords in English: FSP; dynamic semantic scales; Specification
      International impact: yes
      Reviewed: yes

      Changed by: doc. PhDr. Jana Chamonikolasová, Ph.D., učo 109. Changed: 11/4/2010 23:09.

    2004

    1. Š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. p. 107-121. ISSN 1571-0661. 2004.
      Name in Czech: Visuální specifikace systémů s heterogenními modely koordinace
      Name (in English): Visual Specification of Systems with Heterogeneous Coordination Models
      RIV/00216224:14330/04:00010302 Proceedings paper. Informatics. English. Czech Republic.
      Šafránek, David (203 Czech Republic, guarantor)
      Keywords in English: specification; formal methods; visual formalism
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes

      Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 18/6/2007 14:55.
Displayed: 19/4/2024 08:52