Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. Defining explicitation in translation
      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, 33/2007, No 1, p. 45-57, 155 pp. ISSN 1211-1791.
      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.
      More: https://is.muni.cz/publication/763642/en

    2006

    1. Component-Interaction Automata Modelling Language
      ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
      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.
      More: https://is.muni.cz/publication/698725/en

    2005

    1. Component-Interaction Automata for Specification and Verification of Component Interactions
      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), 2005, p. 71-75.
      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.
      More: https://is.muni.cz/publication/623025/en
    2. Dynamic semantic scales in the theory of functional sentence perspective
      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, p. 61-67.
      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.
      More: https://is.muni.cz/publication/611844/en

    2004

    1. Visual Specification of Systems with Heterogeneous Coordination Models
      Š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, p. 107-121. ISSN 1571-0661.
      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.
      More: https://is.muni.cz/publication/557990/en
Displayed: 27/7/2024 05:10