Institut für Informationssysteme

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E184 - Institut für Informationssysteme
 
Code Kennzahl
E184
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
 

SubOrgUnits

Results 1-2 of 2 (Search time: 0.0 seconds).

NameCountryRorId
E1841 - Abteilung Verteilte Systeme
E1842 - Abteilung Datenbanken und Artificial Intelligence

OrgUnit's Publications


Results 61-80 of 655 (Search time: 0.018 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Ambroz Thomas - 2016 - Designing a system for experimental analysis and...pdf.jpgAmbroz, Thomas ; Jusits, Andreas Designing a system for experimental analysis and visualization of dynamic programming on tree decompositionsThesis Hochschulschrift 2016
62Andresel Medina - 2016 - A compilation technique for interactive...pdf.jpgAndreşel, Medina A compilation technique for interactive ontology-mediated data explorationThesis Hochschulschrift 2016
63Schauer Gregor - 2016 - Predicting scalability of standalone spplications in...pdf.jpgSchauer, Gregor Predicting scalability of standalone spplications in cloud environmentsThesis Hochschulschrift 2016
64Leutgoeb Alexander - 2016 - Development of a build system for cross-platform...pdf.jpgLeutgöb, Alexander Development of a build system for cross-platform open-source projectsThesis Hochschulschrift 2016
65Balint Florin Bogdan - 2016 - Negotiating monitoring and recommending data...pdf.jpgBalint, Florin Bogdan Negotiating, monitoring and recommending data contracts in IoT dataspacesThesis Hochschulschrift 2016
66Zueger Maria-Elisabeth - 2016 - Large neighborhood search for break scheduling.pdf.jpgZüger, Maria-Elisabeth Large neighborhood search for break schedulingThesis Hochschulschrift 2016
67Mayerhofer Nick - 2016 - Untersuchung der Implementierbarkeit eines lock-freien...pdf.jpgMayerhofer, Nick Untersuchung der Implementierbarkeit eines lock-freien binären SuchbaumesThesis Hochschulschrift 2016
68Zhang Xiaolin - 2016 - A human architecture implementation framework.pdf.jpgZhang, Xiaolin A human architecture implementation frameworkThesis Hochschulschrift 2016
69Wurl Alexander Maximilian - 2016 - Formalisms and tools to describe and monitor...pdf.jpgWurl, Alexander Maximilian Formalisms and tools to describe and monitor engineering processesThesis Hochschulschrift 2016
70Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016
71Prybila Christoph - 2016 - Laufzeitverifikation von Geschaeftsprozessen unter...pdf.jpgPrybila, Christoph Laufzeitverifikation von Geschäftsprozessen unter Verwendung der BlockchainThesis Hochschulschrift 2016
72Winter Felix - 2016 - MaxSAT modeling and metaheuristic methods for the employee...pdf.jpgWinter, Felix MaxSAT modeling and metaheuristic methods for the employee scheduling problemThesis Hochschulschrift 2016
73Demel Harald - 2016 - Autonom skalierendes verteiltes Simulationsframework fuer...pdf.jpgDemel, Harald Autonom skalierendes, verteiltes Simulationsframework für TCAD-AnwendungenThesis Hochschulschrift 2016
74Bachmann Kevin - 2016 - Design and implementation of a fog computing framework.pdf.jpgBachmann, Kevin Design and implementation of a fog computing frameworkThesis Hochschulschrift 2016
75Danninger Clemens Florian - 2016 - Resource Bound-Analyse von Lisp-Programmen.pdf.jpgDanninger, Clemens Florian Resource Bound-Analyse von Lisp-ProgrammenThesis Hochschulschrift 2016
76Widl Magdalena - 2016 - Symbolic methods for the verification of software models.pdf.jpgWidl, Magdalena Symbolic methods for the verification of software modelsThesis Hochschulschrift 2016
77Tran Thanh Hai - 2016 - User-guided predicate abstraction of TLA specifications.pdf.jpgTran, Thanh Hai User-guided predicate abstraction of TLA+ specificationsThesis Hochschulschrift 2016
78Svozil Alexander - 2016 - Complexity of well-designed SPARQL.pdf.jpgSvozil, Alexander Complexity of well-designed SPARQLThesis Hochschulschrift 2016
79Heissenberger Georg - 2016 - Ein System fuer graphische...pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift 2016
80Sallinger, Emanuel Teaching and learning foundations of computer science : on the unusual effectiveness of logic in computer scienceThesis Hochschulschrift2015