Fakultät für Informatik

Informatik.jpg picture
 
Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 21-40 of 22525 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Recski-2024-What can AI do for Advanced Legal Research-vor.pdf.jpgRecski, Gábor What can AI do for Advanced Legal Research?Presentation Vortrag 16-Feb-2024
22Tesi, Matteo Constructive theories through a modal lensPresentation Vortrag15-Feb-2024
23Himmelbauer-2024-The Vienna Architecture Description Language-smur.pdf.jpgHimmelbauer, Simon ; Hochrainer, Christoph ; Huber, Benedikt Lukas ; Mischkulnig, Niklas ; Paulweber, Philipp ; Schwarzinger, Tobias ; Krall, Andreas The Vienna Architecture Description LanguagePreprint Preprint 14-Feb-2024
24Manuri, Federico ; Sanna, Andrea ; De Pace, Francesco ; Belcamino, Valerio ; Forteleoni, Paolo Enhancing human-robot collaboration: Augmented reality interfaces for smarter path planningBook Contribution Buchbeitrag2-Feb-2024
25Hu, Jingyang ; Jiang, Hongbo ; Liu, Daibo ; Xiao, Zhu ; Dustdar, Schahram ; Liu, Jiangchuan A Wireless Self-Service System for Library Using Commodity RFID DevicesArticle Artikel 1-Feb-2024
26Manuri, Federico ; Sanna, Andrea ; De Pace, Francesco Storytelling in the Metaverse: From Desktop to Immersive Virtual Reality StoryboardingInproceedings Konferenzbeitrag 1-Feb-2024
27Sun, Danfeng ; Hu, Junjie ; Wu, Huifeng ; Wu, Jia ; Yang, Jian ; Sheng, Quan Z. ; Dustdar, Schahram A Comprehensive Survey on Collaborative Data-access Enablers in the IIoTArticle Artikel Feb-2024
28Bilik, Simon ; Zemcik, Tomas ; Kratochvila, Lukas ; Ricanek, Dominik ; Richter, Miloslav ; Zambanini, Sebastian ; Horak, Karel Machine learning and computer vision techniques in continuous beehive monitoring applications: A surveyArticle Artikel Feb-2024
29Tong, Zhao ; Deng, Xin ; Xiao, Zheng ; He, Dan ; Chronopoulos, Anthony Theodore ; Dustdar, Schahram A Bilateral Game Approach for Task Outsourcing in Multi-Access Edge ComputingArticle Artikel Feb-2024
30Gottlob-2024-ACM Transactions on Database Systems-vor.pdf.jpgGottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard Fast parallel hypertree decompositions in logarithmic recursion depthArticle Artikel Feb-2024
31Binucci-2024-Journal of Computer and System Sciences-vor.pdf.jpgBinucci, Carla ; Di Giacomo, Emilio ; Lenhart, William ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Symvonis, Antonios On the complexity of the storyplan problemArticle Artikel Feb-2024
32Holzer-2024-SMT-as-a-Service for Fog-Supported Cyber-Physical Systems-vor.pdf.jpgHolzer, Stefan ; Frangoudis, Pantelis ; Tsigkanos, Christos ; Dustdar, Schahram SMT-as-a-Service for Fog-Supported Cyber-Physical SystemsInproceedings Konferenzbeitrag 22-Jan-2024
33Rinker-2024-The MDM-CPPS Framework GitOps-enabled Multi-Domain Modeling in...-ao.pdf.jpgRinker, Felix Paul ; Meixner, Kristof ; Vysoká, Diana ; Biffl, Stefan The MDM-CPPS Framework: GitOps-enabled Multi-Domain Modeling in Cyber-Physical Production Systems EngineeringReport Bericht 22-Jan-2024
34Tesi, Matteo Subintuitionistic logics and their modal companions: a nested approachPresentation Vortrag18-Jan-2024
35Kuznets, Roman What Proof Theory Can Do for YouPresentation Vortrag17-Jan-2024
36Niessen-2024-Finding counterexamples to  hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
37Fermüller, Christian Games in LogicPresentation Vortrag15-Jan-2024
38Filipov, Velitchko Visual AnalyticsPresentation Vortrag15-Jan-2024
39Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
40Hoffmann, David ; Nowacki, Natalie Samanta ; Biffl, Stefan ; Kiesling, Elmar ; Meixner, Kristof ; Lüder, Arndt Interdisciplinary Production Risk Exploration: A Grounded Approach to Integrate Data- and Knowledge-Driven AnalyticsInproceedings Konferenzbeitrag 12-Jan-2024