Theses on a related topic (having the same keywords):

code analysis, type evaluation, type system, functional programming, type-checking, haskell, syntactic analysis, parsing

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Extrakce strukturních informací z běžného textu na základě syntaktického analyzátoru | Theses on a related topic Display description

2.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Enhancing Czech Parsing with Complex Valency Frames | Theses on a related topic

3.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Rule-Based Parsing of Morphologically Rich Languages | Theses on a related topic

4.
Jakubíček, Miloš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Advanced Master's thesis defence: Rule-Based Parsing of Morphologically Rich Languages | Theses on a related topic

5.
Kadlec, Vladimír
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Syntactic analysis of natural languages based on context free grammar backbone | Theses on a related topic

6.
Kollár, Matej
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Extensions of Haskell type system | Theses on a related topic

7.
Kovář, Vojtěch
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Application-Oriented Syntactic Analysis of Czech | Theses on a related topic

8.
Mises, Pavel maiden name: Dvořák
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Web applications in Haskell | Theses on a related topic

9.
Novák, Stanislav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Haskell Hero -- interaktivní učebnice funkcionálního programování | Theses on a related topic

10.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: In-memory dictionaries with multidimensional keys in Haskell | Theses on a related topic

11.
Abaffy, Marek
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Optimalizace dlouhodobého IT projektu mobilní aplikace s akcentem na udržitelnost | Theses on a related topic

12.
Audy Masopustová, Markéta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Automatická analýza srozumitelnosti textu | Theses on a related topic

13.
Barányi, Richard
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PDF Súbory a ich bezpečnosť | Theses on a related topic

14.
Bělehradová, Pavlína
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Madagascar: Guide culturel, traduction et analyse linguistique et traductologique | Theses on a related topic

15.
Bucková, Terézia maiden name: Šulganová
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Logická analýza angličtiny pomocí TIL | Theses on a related topic

16.
Bukalová, Simona
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Czech Language and Literature / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in German Language
Master's thesis defence: Všestranný jazykový rozbor na 2. stupni ZŠ | Theses on a related topic

17.
Duda, Erich
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro vyhledávání definic a použití v jazyce C | Theses on a related topic

18.
Fusek, Petra maiden name: Sládková
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, German Language and Literature
Bachelor's thesis defence: Issues Related to Translating Marketing Texts Produced by ICT Companies | Theses on a related topic

19.
Gáll, Miroslav
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Monitoring of the load and usage of the computational server | Theses on a related topic

20.
Golembiovský, Jiří
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: WWW rozhraní k syntaktickému analyzátoru SYNT | Theses on a related topic

21.
Greplová, Michaela
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modul pro zobrazování formulářů ve formátu FRS v rámci webové aplikace | Theses on a related topic

22.
Horák, Aleš
Faculty: Faculty of Informatics
Year: 2002, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Mathematical Informatics
Doctoral thesis defence: The Normal Translation Algorithm in Transparent Intensional Logic for Czech | Theses on a related topic

23.
Horák, Aleš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Analysis of Knowledge in Sentences | Theses on a related topic

24.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic

25.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vyhodnocování úloh z funkcionálního programování v IS | Theses on a related topic

26.
Kadlec, Vladimír
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Syntactic analysis of natural languages based on context-free grammar backbone | Theses on a related topic

27.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic

28.
Kövári, Adam
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Reaktivní platforma federované databáze | Theses on a related topic

29.
Kovář, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Syntactic Analysis for Real-World Applications | Theses on a related topic

30.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Use-mention Distinction in Transparent Intensional Logic | Theses on a related topic

31.
Kučera, Pavel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving Milena, a Kafka client for Haskell | Theses on a related topic

32.
Mach, Štěpán
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computational Linguistics / Computational Linguistics
Master's thesis defence: Automatická oprava chybného uvození vedlejších vět | Theses on a related topic

33.
Micheľová, Henrieta
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Step-by-Step Evaluator of Haskell Expressions | Theses on a related topic

34.
Molková, Lucie
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vyhodnocování výrazů v relační algebře | Theses on a related topic

35.
Molková, Lucie
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Indexing very large text data | Theses on a related topic

36.
Mühlpachr, Libor
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Zpracování právních textů | Theses on a related topic

37.
Müllerová, Alexandra
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Czech Language and Literature / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Syntaktická problematika v současných učebnicích češtiny pro SŠ | Theses on a related topic

38.
Obluková, Barbora
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Využití počítačových nástrojů pro analýzu textů z hlediska forenzní lingvistiky | Theses on a related topic

39.
Opichalová, Markéta
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Input Manipulation Module for Biochemical Space Language | Theses on a related topic

40.
Pastirčák, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Application of functional programming in the development of enterprise systems | Theses on a related topic

41.
Pavla, Matej
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Automatické vyhledávání odpovědi na otázku | Theses on a related topic

42.
Plch, Josef
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Morfologický analyzátor založený na pravidlech | Theses on a related topic

43.
Preussová, Eva
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - Russian Language
Bachelor's thesis defence: Nominativní věty v básnické tvorbě Afanasije Feta | Theses on a related topic

44.
Rýdzi, Oliver
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Functional Programming in Javascript | Theses on a related topic

45.
Rychlý, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Game development in Haskell | Theses on a related topic

46.
Ryzí, Jan
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Haskell Web Application for Generating Dobble Decks | Theses on a related topic

47.
Salášek, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Lexikálna analýza linuxových príkazov z tréningu kybernetickej bezpečnosti | Theses on a related topic

48.
Sekaninová, Tereza
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Code de l entrée et du séjour des étrangers et du droit d asile : Traduction et analyse stylistique du texte juridique | Theses on a related topic

49.
Sobotková, Petra
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Le passeur de lumire | Theses on a related topic

50.
Strcuľa, Zoltán
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatický parsing Windows Event Logu | Theses on a related topic