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.001 seconds).

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

OrgUnit's Publications


Results 101-120 of 655 (Search time: 0.021 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Kocabas Deniz - 2015 - Exact methods for shift design and break scheduling.pdf.jpgKocabas, Deniz Exact methods for shift design and break schedulingThesis Hochschulschrift 2015
102Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015
103Jozaf Jan - 2015 - Solving data quality problems in data warehousing by means of...pdf.jpgJozaf, Jan Solving data quality problems in data warehousing by means of data exchange techniquesThesis Hochschulschrift 2015
104Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
105Waibel Philipp - 2015 - Architecture-driven design and configuration of...pdf.jpgWaibel, Philipp Architecture-driven design and configuration of messaging systemsThesis Hochschulschrift 2015
106Miljanovic Milos - 2015 - Deformation monitoring using artificial intelligence...pdf.jpgMiljanović, Miloš Deformation monitoring using artificial intelligence techniquesThesis Hochschulschrift 2015
107Stepanova Daria - 2015 - Inconsistencies in hybrid Knowledge Bases.pdf.jpgStepanova, Daria Inconsistencies in hybrid Knowledge BasesThesis Hochschulschrift 2015
108Szente, Eduard Efficient distributed computation of web services API coverage metricsThesis Hochschulschrift2014
109Sallinger, Emanuel Foundations of information integration : analyzing, managing and reasoning about schema mappingsThesis Hochschulschrift2014
110Stoilkovska Ilina - 2014 - XML data integration.pdf.jpgStoilkovska, Ilina XML data integrationThesis Hochschulschrift 2014
111Schrogl Fritz - 2014 - Transparently migrating Java objects at runtime in an...pdf.jpgSchrogl, Fritz Transparently migrating Java objects at runtime in an infrastructure-as-a-service cloudThesis Hochschulschrift 2014
112Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian Merging in the Horn fragmentThesis Hochschulschrift 2014
113Dobiasch Martin - 2014 - Concolic testing of concurrent software in the context...pdf.jpgDobiasch, Martin Concolic testing of concurrent software in the context of weak memory modelsThesis Hochschulschrift 2014
114Redl Christoph - 2014 - Answer set programming with external sources algorithms...pdf.jpgRedl, Christoph Answer set programming with external sources : algorithms and efficient evaluationThesis Hochschulschrift 2014
115Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
116Meric Duran - 2014 - OEkonomie im Gesundheitswesen.pdf.jpgMeric, Duran Ökonomie im GesundheitswesenThesis Hochschulschrift 2014
117Bader Kevin - 2014 - Memetic algorithms for tree decomposition.pdf.jpgBader, Kevin Memetic algorithms for tree decompositionThesis Hochschulschrift 2014
118Puehrer Joerg - 2014 - Stepwise debugging in answer-set programming theoretical...pdf.jpgPührer, Jörg Stepwise debugging in answer-set programming : theoretical foundations and practical realisationThesis Hochschulschrift 2014
119Souczek Fabian - 2014 - Bounds for variables and loops better together.pdf.jpgSouczek, Fabian Bounds for variables and loops: better togetherThesis Hochschulschrift 2014
120Zeppezauer Philipp - 2014 - Virtualizing communications for hybrid and...pdf.jpgZeppezauer, Philipp Virtualizing communications for hybrid and diversity-aware collective adaptive systemsThesis Hochschulschrift 2014