Eldorado: 04 Fakultät für Informatik

04 Fakultät für Informatik : [683]

Recent Submissions

Synthesizing realistic verification tasks See

Software fault injection and localization in embedded systems See

Empirical analysis of session-based recommendation algorithms See

Correspondence article: counterexample for suspension-aware schedulability analysis of EDF scheduling See

mxkernel: a novel system software stack for data processing on modern hardware See

Randomized outlier detection with trees See

On clustering and related problems on curves under the Fréchet distance See

A multi-objective approach for PH-graphs with applications to stochastic shortest paths See

A note on slack enforcement mechanisms for self-suspending tasks See

On the relation between structured d-DNNFs and SDDs See

Characteristic invariants in Hennessy-Milner logic See

Resource-efficient processing of large data volumes See

Responsive and Knowledge-Driven Business Modeling See

Objektdetektion in Bildern in Echtzeit unter Ressourcenbeschränkung See

Autonomous Racing: Head-To-Head Racing Capabilities See

PlaDs - Platzeffiziente Datenstrukturen (Succinct Data Structures) See

Advances in session-based and session-aware recommendation See

Reasoning about distributed relational data and query evaluation See

Generation of domain-specific language-to-language transformation languages See

Property testing of graphs and the role of neighborhood distributions See

Browse

Sub-communities within this community

LS 12 [96]

Prüfungsarbeiten [3]

Collections in this community

Dobertkat Python [1]

Fakultät für Informatik [0]

Fakultätsübergreifende Veröffentlichungen [2]

LS 01 Logik in der Informatik [31]

LS 02 Komplexitätstheorie und Effiziente Algorithmen [26]

LS 03 Betriebssysteme und Rechnerarchitektur [4]

LS 04 Praktische Informatik [17]

LS 05 Programmiersysteme [30]

LS 06 Datenbanken und Informationssysteme [29]

LS 07 Graphische Systeme [26]

LS 08 Künstliche Intelligenz [80]

LS 10 Software-Technologie [109]

LS 11 [51]

Fachgebiete: Algorithm Engineering, Computational Intelligence, Grundlagen und Vermittlung der Informatik, Bioinformatik für Hochdurchsatztechnologien

LS 13 Dienstleistungsinformatik [8]

LS 14 Software Engineering [14]

Projektgruppenberichte [154]

Sublinear Algorithms for the Analysis of Very Large Graphs [3]