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 22516 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Himmelbauer-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
22Manuri, 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
23Hu, 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
24Manuri, Federico ; Sanna, Andrea ; De Pace, Francesco Storytelling in the Metaverse: From Desktop to Immersive Virtual Reality StoryboardingInproceedings Konferenzbeitrag 1-Feb-2024
25Sun, 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
26Bilik, 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
27Tong, 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
28Gottlob-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
29Binucci-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
30Holzer-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
31Rinker-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
32Tesi, Matteo Subintuitionistic logics and their modal companions: a nested approachPresentation Vortrag18-Jan-2024
33Kuznets, Roman What Proof Theory Can Do for YouPresentation Vortrag17-Jan-2024
34Niessen-2024-Finding counterexamples to  hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
35Fermüller, Christian Games in LogicPresentation Vortrag15-Jan-2024
36Filipov, Velitchko Visual AnalyticsPresentation Vortrag15-Jan-2024
37Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
38Hoffmann, 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
39Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
40Ekstein, Jan ; Fleischner, Herbert The most general structure of graphs with hamiltonian or hamiltonian connected squareArticle Artikel 1-Jan-2024