307 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
jump to filter-options307 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890IngridKG
a FAIR knowledge graph of graffitiIn: Scientific Data, Vol. 10 Issue 318, page 1-12Elektronische Ressource,Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Vol. 1991, page 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Vol. 1991, page 19-24
Integration of parked cars into Car4ICT
Elektronische Ressource, Paderborn, 2018Interactive driving simulator for Car2X scenarios
Elektronische Ressource, Paderborn, 2018Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology
Elektronische Ressource, Paderborn, 2017Investigating strategies for building platoons of cars
Elektronische Ressource, Paderborn, 2018Investigating the feasibility of visible light communication for platooning applications
Elektronische Ressource, Paderborn, 2018Knowledge extraction for the data web
Paderborn, 2024Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Large Scale Scanning of TLS Session Ticket Confusion
Elektronische Ressource, Paderborn, 2023The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Vol. 8.1977, page 371-382