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 161-180 of 655 (Search time: 0.021 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Weidinger Gerald - 2013 - OMiGA - an open minded grounding on-the-fly answer set...pdf.jpgWeidinger, Gerald OMiGA - an open minded grounding on-the-fly answer set solverThesis Hochschulschrift 2013
162Margulies Eduard Rudolf - 2013 - Location detection in smart home environments...pdf.jpgMargulies, Eduard Rudolf Location detection in smart home environments with the Oracle Sun SPOT technologyThesis Hochschulschrift 2013
163Gavrilete Constantin-Claudiu - 2013 - Exploiting user behavior and markup...pdf.jpgGavrilete, Constantin-Claudiu Exploiting user behavior and markup structures to improve search result rankingsThesis Hochschulschrift 2013
164Skopik Florian - 2013 - Discovery and formation models for socio-computational...pdf.jpgSkopik, Florian Discovery and formation models for socio-computational crowd environmentsThesis Hochschulschrift 2013
165Busoniu Paula-Andra - 2013 - On supporting the development of answer-set...pdf.jpgBusoniu, Paula-Andra On supporting the development of answer-set programs using model-driven engineering techniquesThesis Hochschulschrift 2013
166Beck Harald - 2013 - Inconsistency management for traffic regulations.pdf.jpgBeck, Harald Inconsistency management for traffic regulationsThesis Hochschulschrift 2013
167Ahmetaj Shqiponja - 2013 - Planning in graph databases under description logic...pdf.jpgAhmetaj, Shqiponja Planning in graph databases under description logic constraintsThesis Hochschulschrift 2013
168Nowak Rene - 2013 - Towards providing unified access to cloud data storage...pdf.jpgNowak, Rene Towards providing unified access to cloud data storage servicesThesis Hochschulschrift 2013
169Soelkner Martin - 2013 - Energieeffizienter Elastizitaetsmanager fuer Clouds.pdf.jpgSölkner, Martin Energieeffizienter Elastizitätsmanager für CloudsThesis Hochschulschrift 2013
170Stashuk Oleksandr - 2013 - Integrating constraint programming into answer set...pdf.jpgStashuk, Oleksandr Integrating constraint programming into answer set programmingThesis Hochschulschrift 2013
171Sylejmani Kadri - 2013 - Optimizing trip itinerary for tourist groups.pdf.jpgSylejmani, Kadri Optimizing trip itinerary for tourist groupsThesis Hochschulschrift 2013
172Novatchkov Hristo - 2013 - A server-based mobile coaching system integrating...pdf.jpgNovatchkov, Hristo A server-based mobile coaching system integrating ubiquitous data acquisition technologies and intelligent real-time analysisThesis Hochschulschrift 2013
173Brandmueller Mario - 2013 - Design und Realisierung eines...pdf.jpgBrandmüller, Mario Design und Realisierung eines Versionisierungssystems für das Tumordokumentationssystem HNOOncoNet : versionierbares PersistenzframeworkThesis Hochschulschrift 2013
174Triska Markus - 2013 - Correctness considerations in CLPFD systems.pdf.jpgTriska, Markus Correctness considerations in CLP(FD) systemsThesis Hochschulschrift 2013
175Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
176Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013
177Fayzrakhmanov Ruslan - 2013 - Web accessibility for the blind through visual...pdf.jpgFayzrakhmanov, Ruslan Web accessibility for the blind through visual representation analysisThesis Hochschulschrift 2013
178Xiao Guohui - 2013 - Inline evaluation of hybrid knowledge bases.pdf.jpgXiao, Guohui Inline evaluation of hybrid knowledge basesThesis Hochschulschrift 2013
179Vegliach Gil - 2013 - Monitoring of data-centric business rules and processes.pdf.jpgVegliach, Gil Monitoring of data-centric business rules and processesThesis Hochschulschrift 2013
180Gaggl Sarah Alice - 2013 - A comprehensive analysis of the cf2 argumentation...pdf.jpgGaggl, Sarah Alice A comprehensive analysis of the cf2 argumentation semantics : from characterization to implementationThesis Hochschulschrift 2013