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

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

OrgUnit's Publications


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

PreviewAuthor(s)TitleTypeIssue Date
101Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015
102Jozaf 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
103Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
104Waibel Philipp - 2015 - Architecture-driven design and configuration of...pdf.jpgWaibel, Philipp Architecture-driven design and configuration of messaging systemsThesis Hochschulschrift 2015
105Miljanovic Milos - 2015 - Deformation monitoring using artificial intelligence...pdf.jpgMiljanović, Miloš Deformation monitoring using artificial intelligence techniquesThesis Hochschulschrift 2015
106Stepanova Daria - 2015 - Inconsistencies in hybrid Knowledge Bases.pdf.jpgStepanova, Daria Inconsistencies in hybrid Knowledge BasesThesis Hochschulschrift 2015
107Chertes Florin Ioan - 2015 - A universal layer for schema mapping languages.pdf.jpgChertes, Florin Ioan A universal layer for schema mapping languagesThesis 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