192.115 | VU | Advanced Cryptography | 4.0 | 6.0 | 2023S | Fuchsbauer, Georg
|
186.866 | VU | Algorithmen und Datenstrukturen | 5.5 | 8.0 | 2023S | Szeider, Stefan
|
192.118 | VU | Algorithmic Social Choice | 4.0 | 6.0 | 2023S | Chen, Jiehua
|
184.765 | VU | Argumentieren und Beweisen | 4.0 | 6.0 | 2023S | Egly, Uwe
|
188.985 | VU | Ausgewählte Themen der Informationssicherheit | 3.0 | 6.0 | 2023S | Lindorfer, Martina
|
184.774 | VU | Automated Deduction | 4.0 | 6.0 | 2023S | Kovacs, Laura
|
184.713 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Egly, Uwe
|
185.A26 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Ciabattoni, Agata
|
186.819 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Raidl, Günther
|
184.695 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Kovacs, Laura
|
184.691 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Woltran, Stefan
|
192.061 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2023S | Maffei, Matteo
|
192.131 | SE | CAIML Seminar | 1.0 | 1.5 | 2023S | Palmetshofer, Walter
|
184.215 | VU | Complexity Analysis | 2.0 | 3.0 | 2023S | Eiter, Thomas
|
181.145 | VU | Computer Aided Verification | 2.0 | 3.0 | 2023S | Cerny, Pavol
|
181.144 | UE | Computer-Aided Verification | 2.0 | 3.0 | 2023S | Cerny, Pavol
|
192.080 | VU | Crypto Asset Analytics | 2.0 | 3.0 | 2023S | Haslhofer, Bernhard
|
184.686 | VU | Datenbanksysteme | 4.0 | 6.0 | 2023S | Skritek, Sebastian
|
184.780 | VU | Datenbanksysteme Vertiefung | 4.0 | 6.0 | 2023S | Pichler, Reinhard
|
192.130 | VU | Deontic Logic for Normative Reasoning | 2.0 | 3.0 | 2023S | Ciabattoni, Agata
|
192.071 | VU | Einführung in Theoretische Informatik und Logik | 2.0 | 3.0 | 2023S | Freund, Rudolf
|
184.735 | VU | Einführung in die Künstliche Intelligenz | 2.0 | 3.0 | 2023S | Eiter, Thomas
|
185.A91 | VU | Einführung in die Programmierung 1 | 4.0 | 5.5 | 2023S | Podlipnig, Stefan
|
192.059 | VU | Formal Methods for Security and Privacy | 4.0 | 6.0 | 2023S | Maffei, Matteo
|
185.291 | VU | Formale Methoden der Informatik | 4.0 | 6.0 | 2023S | Egly, Uwe
|
185.A06 | VU | Formale Modellierung | 2.0 | 3.0 | 2023S | Salzer, Gernot
|
185.A39 | SE | Forschungsseminar für DiplomandInnen und DissertantInnen | 2.0 | 3.0 | 2023S | Ciabattoni, Agata
|
186.842 | SE | Forschungsseminar für DissertantInnen | 2.0 | 3.0 | 2023S | Raidl, Günther
|
192.053 | VU | Abgesagt Graph Drawing Algorithms | 2.0 | 3.0 | 2023S | Nöllenburg, Martin
|
192.141 | VU | Graph Drawing Algorithms | 3.0 | 4.5 | 2023S | Nöllenburg, Martin
|
192.121 | VU | Grundkonzepte der Computer- und Kommunikationssysteme | 2.0 | 3.0 | 2023S | Dvorak, Wolfgang
|
191.124 | VU | Grundkonzepte der Security und Privacy | 2.0 | 3.0 | 2023S | Tempesta, Mauro
|
192.097 | VU | Grundlagen der Programmierung und Algorithmik | 4.0 | 5.0 | 2023S | Riener, Martin
|
192.058 | UE | IT Projekte für Jugendliche | 1.0 | 1.5 | 2023S | Pichler, Reinhard
|
192.055 | PR | IT-Projekte für Jugendliche | 2.0 | 3.0 | 2023S | Pichler, Reinhard
|
184.766 | VO | Introduction to Logical Methods in Computer Science | 2.0 | 3.0 | 2023S | Woltran, Stefan
|
184.783 | VU | Introduction to Security | 2.0 | 3.0 | 2023S | Tempesta, Mauro
|
192.082 | UE | Introduction to Security | 2.0 | 3.0 | 2023S | Squarcina, Marco
|
192.142 | VU | Introduction to Type Theories | 2.0 | 3.0 | 2023S | Kovacs, Laura
|
185.334 | VO | Klinische Medizin | 2.0 | 3.0 | 2023S | Schneeweiß, Bruno
|
192.116 | VU | Knowledge Graphs | 2.0 | 3.0 | 2023S | Sallinger, Emanuel
|
184.730 | VU | Knowledge-based Systems | 4.0 | 6.0 | 2023S | Egly, Uwe
|
181.200 | SE | Kommunikation und Rhetorik | 2.0 | 3.0 | 2023S | Pichlmair, Markus
|
184.702 | VU | Machine Learning | 3.0 | 4.5 | 2023S | Musliu, Nysret
|
186.835 | VU | Mathematical Programming | 2.0 | 3.0 | 2023S | Raidl, Günther
|
185.326 | VU | Molecular Computing | 2.0 | 3.0 | 2023S | Freund, Rudolf
|
192.085 | VU | Non-classical Logics Nichtklassische Logiken | 2.0 | 3.0 | 2023S | Fermüller, Christian
|
185.A47 | VO | Physiologie und Grundlagen der Pathologie | 3.0 | 4.5 | 2023S | Freund, Rudolf
|
184.768 | VU | Preferences in Artificial Intelligence | 2.0 | 3.0 | 2023S | Lackner, Martin
|
192.100 | SE | Privatissimum aus Fachdidaktik Informatik | 4.0 | 4.0 | 2023S | Freund, Rudolf
|
184.236 | VU | Probabilistisches Schließen | 2.0 | 3.0 | 2023S | Lukasiewicz, Thomas
|
181.190 | VU | Problem Solving and Search in Artificial Intelligence | 2.0 | 3.0 | 2023S | Musliu, Nysret
|
184.741 | VU | Programm- und Systemverifikation | 4.0 | 6.0 | 2023S | Weissenbacher, Georg
|
184.718 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Egly, Uwe
|
185.A36 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Ciabattoni, Agata
|
184.692 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Zuleger, Florian
|
186.820 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Szeider, Stefan
|
184.688 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Woltran, Stefan
|
192.075 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2023S | Maffei, Matteo
|
192.105 | PR | Abgesagt Project in Computer Science 1 Team-Based Research in Algorithmics | 4.0 | 6.0 | 2023S | Chen, Jiehua
|
184.719 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Egly, Uwe
|
185.A37 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Ciabattoni, Agata
|
184.693 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Kovacs, Laura
|
186.821 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Raidl, Günther
|
184.689 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Woltran, Stefan
|
192.076 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2023S | Maffei, Matteo
|
184.711 | VU | Proof Systems in Modal Logic | 2.0 | 3.0 | 2023S | Tompits, Hans
|
185.A57 | VO | Rechtliche Grundlagen der medizinischen Versorgung | 2.0 | 3.0 | 2023S | Freund, Rudolf
|
184.767 | SE | Research Seminar LogiCS | 2.0 | 3.0 | 2023S | Szeider, Stefan
|
184.090 | VU | SAT Solving und Erweiterungen | 2.0 | 3.0 | 2023S | Egly, Uwe
|
184.749 | VU | Semantik von Programmiersprachen | 3.0 | 4.5 | 2023S | Zuleger, Florian
|
181.221 | SE | Seminar Formale Methoden | 2.0 | 3.0 | 2023S | Weissenbacher, Georg
|
186.182 | SE | Seminar aus Algorithmik | 2.0 | 3.0 | 2023S | Raidl, Günther
|
184.068 | SE | Seminar aus Artificial Intelligence | 2.0 | 3.0 | 2023S | Egly, Uwe
|
181.034 | SE | Seminar aus Artificial Intelligence | 2.0 | 3.0 | 2023S | Pichler, Reinhard
|
181.201 | SE | Seminar aus Datenbanken | 2.0 | 3.0 | 2023S | Pichler, Reinhard
|
184.264 | SE | Seminar aus Logik | 2.0 | 3.0 | 2023S | Egly, Uwe
|
185.316 | SE | Seminar aus Logik | 2.0 | 3.0 | 2023S | Fermüller, Christian
|
181.206 | SE | Seminar aus Logik | 2.0 | 3.0 | 2023S | Dvorak, Wolfgang
|
184.067 | SE | Seminar aus Theoretischer Informatik | 2.0 | 3.0 | 2023S | Egly, Uwe
|
184.721 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2023S | Egly, Uwe
|
181.224 | SE | Seminar für DissertantInnen | 2.0 | 2.0 | 2023S | Weissenbacher, Georg
|
192.060 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2023S | Maffei, Matteo
|
181.223 | SE | Seminar für DissertantInnen | 2.0 | 2.0 | 2023S | Pichler, Reinhard
|
186.199 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2023S | Raidl, Günther
|
192.119 | SE | Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory | 2.0 | 3.0 | 2023S | Chen, Jiehua
|
184.687 | SE | Seminar in Complexity Theory | 2.0 | 3.0 | 2023S | Pichler, Reinhard
|
184.712 | SE | Seminar in Knowledge Representation and Reasoning | 2.0 | 3.0 | 2023S | Egly, Uwe
|
184.705 | VU | Semistrukturierte Daten | 2.0 | 3.0 | 2023S | Sallinger, Emanuel
|
192.078 | VU | Smart Contracts | 4.0 | 6.0 | 2023S | di Angelo, Monika
|
181.208 | VU | Softskills für TechnikerInnen | 2.0 | 3.0 | 2023S | Pichlmair, Markus
|
186.856 | VU | Structural Decompositions and Algorithms | 2.0 | 3.0 | 2023S | Slivovsky, Friedrich
|
185.A74 | VU | Technische Grundlagen der Informatik für Wirtschaftsinformatik | 2.0 | 3.0 | 2023S | Kogler, Jürgen
|
185.224 | VU | Termersetzungssysteme | 2.0 | 3.0 | 2023S | Moser, Georg
|
184.682 | VU | Abstract Argumentation | 3.0 | 4.5 | 2022W | Egly, Uwe
|
192.133 | VU | Algorithmic Geometry | 3.0 | 4.5 | 2022W | Nöllenburg, Martin
|
192.122 | VU | Algorithmic Meta-Theorems Algorithmische Meta-Theoreme | 2.0 | 3.0 | 2022W | Szeider, Stefan
|
186.814 | VU | Algorithmics | 4.0 | 6.0 | 2022W | Szeider, Stefan
|
185.330 | VO | Anatomie und Histologie | 3.0 | 4.5 | 2022W | Freund, Rudolf
|
186.102 | VU | Abgesagt Approximation Algorithms | 2.0 | 3.0 | 2022W |
|
192.111 | UE | Attacks and Defenses in Computer Security | 4.0 | 6.0 | 2022W | Squarcina, Marco
|
184.713 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Egly, Uwe
|
186.819 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Raidl, Günther
|
185.A26 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Ciabattoni, Agata
|
184.691 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Gottlob, Georg
|
192.061 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Maffei, Matteo
|
184.695 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | 5.0 | 10.0 | 2022W | Zuleger, Florian
|
192.138 | SE | CAIML Seminar | 1.0 | 1.5 | 2022W | Palmetshofer, Walter
|
181.145 | VU | Computer Aided Verification | 2.0 | 3.0 | 2022W | Weissenbacher, Georg
|
181.144 | UE | Computer-Aided Verification | 2.0 | 3.0 | 2022W | Weissenbacher, Georg
|
192.065 | VU | Cryptocurrencies | 4.0 | 6.0 | 2022W | Maffei, Matteo
|
184.686 | VU | Datenbanksysteme | 4.0 | 6.0 | 2022W | Fichte, Johannes Klaus
|
181.140 | VU | Datenbanktheorie | 2.0 | 3.0 | 2022W | Pichler, Reinhard
|
184.685 | VU | Datenmodellierung | 2.0 | 3.0 | 2022W | Fichte, Johannes Klaus
|
184.701 | UE | Deklaratives Problemlösen | 2.0 | 3.0 | 2022W | Egly, Uwe
|
184.700 | VO | Deklaratives Problemlösen | 2.0 | 3.0 | 2022W | Egly, Uwe
|
184.791 | UE | Einführung in Grundlagen des Programmierens für Studierende gemeinsam mit Geflüchteten | 6.0 | 6.0 | 2022W | Pichler, Reinhard
|
185.A91 | VU | Einführung in die Programmierung 1 | 4.0 | 5.5 | 2022W | Podlipnig, Stefan
|
184.737 | VU | Einführung in wissensbasierte Systeme | 3.0 | 5.0 | 2022W | Egly, Uwe
|
192.135 | VU | Fixed-Parameter Algorithms and Complexity | 3.0 | 4.5 | 2022W | Ganian, Robert
|
185.A42 | VU | Formal Language Theory | 2.0 | 3.0 | 2022W | Freund, Rudolf
|
185.291 | VU | Formale Methoden der Informatik | 4.0 | 6.0 | 2022W | Egly, Uwe
|
185.A93 | UE | Formale Methoden der Informatik | 2.0 | 3.0 | 2022W | Lackner, Martin
|
185.A39 | SE | Forschungsseminar für DiplomandInnen und DissertantInnen | 2.0 | 3.0 | 2022W | Ciabattoni, Agata
|
186.842 | SE | Forschungsseminar für DissertantInnen | 2.0 | 3.0 | 2022W | Raidl, Günther
|
192.136 | VU | Frontiers of Algorithms and Complexity | 2.0 | 3.0 | 2022W | Ganian, Robert
|
192.103 | VU | Grundkonzepte der Datenanalyse und Visualisierung | 2.0 | 3.0 | 2022W | Dvorak, Wolfgang
|
192.104 | VU | Grundkonzepte der Informationssysteme | 2.0 | 3.0 | 2022W | Skritek, Sebastian
|
185.329 | VO | Grundlagen der Klinischen Medizin | 2.0 | 3.0 | 2022W | Schneeweiß, Bruno
|
185.A07 | VO | Grundzüge der Informatik für Vermessung und Geoinformation | 2.0 | 2.5 | 2022W | Oswald, Marion
|
192.134 | VU | Grundzüge digitaler Systeme | 4.0 | 6.0 | 2022W | Dvorak, Wolfgang
|
192.137 | VU | Heuristic Optimization Techniques | 3.0 | 4.5 | 2022W | Raidl, Günther
|
192.058 | UE | IT Projekte für Jugendliche | 1.0 | 1.5 | 2022W | Musliu, Nysret
|
192.055 | PR | IT-Projekte für Jugendliche | 2.0 | 3.0 | 2022W | Pichler, Reinhard
|
192.125 | VU | Introduction to Cryptography | 4.0 | 6.0 | 2022W | Fuchsbauer, Georg
|
184.766 | VO | Introduction to Logical Methods in Computer Science | 2.0 | 3.0 | 2022W | Eiter, Thomas
|
181.200 | SE | Kommunikation und Rhetorik | 2.0 | 3.0 | 2022W | Pichlmair, Markus
|
181.204 | SE | Kommunikation und Rhetorik 2 | 2.0 | 2.0 | 2022W | Pichlmair, Markus
|
181.142 | VU | Komplexitätstheorie | 2.0 | 3.0 | 2022W | Pichler, Reinhard
|
185.A45 | VU | Logic and Computability | 4.0 | 6.0 | 2022W | Ciabattoni, Agata
|
184.208 | VO | Logik für Wissensrepräsentation | 2.0 | 3.0 | 2022W | Tompits, Hans
|
184.699 | UE | Logik für Wissensrepräsentation | 2.0 | 3.0 | 2022W | Tompits, Hans
|
184.702 | VU | Machine Learning | 3.0 | 4.5 | 2022W | Musliu, Nysret
|
185.A70 | VU | Membrane Computing | 2.0 | 3.0 | 2022W | Freund, Rudolf
|
192.090 | PR | Praktikum aus Visual Computing | 6.0 | 9.0 | 2022W | Nöllenburg, Martin
|
184.703 | VU | Programmanalyse | 2.0 | 3.0 | 2022W | Zuleger, Florian
|
184.718 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Egly, Uwe
|
186.820 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Szeider, Stefan
|
185.A36 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Ciabattoni, Agata
|
184.688 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Gottlob, Georg
|
192.075 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Maffei, Matteo
|
184.692 | PR | Project in Computer Science 1 | 4.0 | 6.0 | 2022W | Zuleger, Florian
|
192.105 | PR | Project in Computer Science 1 Team-Based Research in Algorithmics | 4.0 | 6.0 | 2022W | Chen, Jiehua
|
184.719 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Egly, Uwe
|
186.821 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Raidl, Günther
|
185.A37 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Ciabattoni, Agata
|
184.689 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Gottlob, Georg
|
192.076 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Maffei, Matteo
|
184.693 | PR | Project in Computer Science 2 | 4.0 | 6.0 | 2022W | Zuleger, Florian
|
186.852 | PR | Projekt aus Software Engineering & Internet Computing | 6.0 | 12.0 | 2022W | Raidl, Günther
|
185.A62 | VU | Präsentation und Moderation | 2.0 | 3.0 | 2022W | Freund, Rudolf
|
192.070 | VU | Quantum Computing | 2.0 | 3.0 | 2022W | Egly, Uwe
|
192.094 | VO | Refutation Systems | 2.0 | 3.0 | 2022W | Tompits, Hans
|
184.767 | SE | Research Seminar LogiCS | 2.0 | 3.0 | 2022W | Szeider, Stefan
|
184.778 | VU | Research and Career Planning for Doctoral Students | 2.0 | 3.0 | 2022W | Gottlob, Georg
|
181.221 | SE | Seminar Formale Methoden | 2.0 | 3.0 | 2022W | Zuleger, Florian
|
186.182 | SE | Seminar aus Algorithmik | 2.0 | 3.0 | 2022W | Slivovsky, Friedrich
|
186.862 | SE | Seminar aus Algorithmik Graphen und Geometrie | 2.0 | 3.0 | 2022W | Nöllenburg, Martin
|
184.068 | SE | Seminar aus Artificial Intelligence | 2.0 | 3.0 | 2022W | Egly, Uwe
|
181.201 | SE | Seminar aus Datenbanken | 2.0 | 3.0 | 2022W | Pichler, Reinhard
|
184.264 | SE | Seminar aus Logik | 2.0 | 3.0 | 2022W | Egly, Uwe
|
184.067 | SE | Seminar aus Theoretischer Informatik | 2.0 | 3.0 | 2022W | Egly, Uwe
|
184.721 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2022W | Egly, Uwe
|
186.199 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2022W | Raidl, Günther
|
181.223 | SE | Seminar für DissertantInnen | 2.0 | 2.0 | 2022W | Gottlob, Georg
|
192.060 | SE | Seminar für DissertantInnen | 2.0 | 3.0 | 2022W | Maffei, Matteo
|
181.224 | SE | Seminar für DissertantInnen | 2.0 | 2.0 | 2022W | Kovacs, Laura
|
184.712 | SE | Seminar in Knowledge Representation and Reasoning | 2.0 | 3.0 | 2022W | Egly, Uwe
|
192.132 | SE | Seminar in Logic | 2.0 | 3.0 | 2022W | Leitsch, Alexander
|
192.064 | SE | Seminar in Theoretical Computer Science | 2.0 | 3.0 | 2022W | Fichte, Johannes Klaus
|
181.208 | VU | Softskills für TechnikerInnen | 2.0 | 3.0 | 2022W | Pichlmair, Markus
|
192.112 | VU | Systems and Applications Security | 4.0 | 6.0 | 2022W | Lindorfer, Martina
|
185.278 | VU | Theoretische Informatik und Logik | 4.0 | 6.0 | 2022W | Fermüller, Christian
|
184.186 | VU | Theory of Knowledge Representation | 2.0 | 3.0 | 2022W | Eiter, Thomas
|
184.205 | VO | Verarbeitung deklarativen Wissens | 2.0 | 3.0 | 2022W | Eiter, Thomas
|