Institut für Computersprachen

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)

E185 - Institut für Computersprachen

Code Kennzahl

E185

Type of Organization Organisationstyp

Institute

Parent OrgUnit Übergeordnete Organisation

E180 - Fakultät für Informatik

Active Aktiv

OrgUnit's Publications

All

Theses

Results 1-20 of 347 (Search time: 0.02 seconds).

1
2
3
4
5
6
7
8
9
10

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Frenzel, Mihaela	Analysis, design and prototypical implementation of an early recognition of strokes in serious games	Thesis Hochschulschrift	2022
	2		Schwaiger, René	Parsing of configuration files	Thesis Hochschulschrift	2020
	3		Schwayer, Matthias	Towards a visual design and development environment for the peer model	Thesis Hochschulschrift	2020
	4		Ymeri, Ardit	Automated generation of analytic calculi for involutive logics	Thesis Hochschulschrift	2019
	5		Cejka, Stephan	Enabling scalable collaboration by introducing platform-independent communication for the Peer Model	Thesis Hochschulschrift	2019
	6		Lettmayer, Matthias	A Public resource computing application based on the secure peer model	Thesis Hochschulschrift	2018
	7		Rohner, Andreas	State-of-the-Art garbage collection policies for NILFS2	Thesis Hochschulschrift	2018
	8		Fraller, Benjamin	Analyse von Lambda-Ausdrücken in Java	Thesis Hochschulschrift	2018
	9		Grill, Andreas	Pluggable design and implementation of the XVSM framework core for .NET	Thesis Hochschulschrift	2018
	10		Wurzinger, Armin	Developing a type system for a configuration specification language	Thesis Hochschulschrift	2018
	11		Oliveira da Costa, Ana Alexandra	Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour	Thesis Hochschulschrift	2018
	12		Okulmus, Cem	Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen	Thesis Hochschulschrift	2018
	13		Ghete, Mihai Calin	Extending bison with attribute grammars	Thesis Hochschulschrift	2018
	14		Binder, Johann	Evaluating process modeling capabilities of the XVSM micro-room framework	Thesis Hochschulschrift	2017
	15		Schoba, Jörg	Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on scalability and security	Thesis Hochschulschrift	2017
	16		Tillian, Peter	Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on mobile design constraints	Thesis Hochschulschrift	2017
	17		Swoboda, Sylvia	Making Object-Z Perfect : Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect Developer	Thesis Hochschulschrift	2017
	18		Lanzinger, Matthias Paul	Mehrwertige Logiken für Spiele	Thesis Hochschulschrift	2017
	19		Koltraka, Ardian	Reasoning capabilities for a cognitive-assistive assembly system	Thesis Hochschulschrift	2017
	20		Kucera, Gernot	Programmanalyse und Verifikation von SPS-Programmen	Thesis Hochschulschrift	2017

1
2
3
4
5
6
7
8
9
10