Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Austrian Institute of Technology Home
Hilfe und FAQ
Deutsch
English
Home
Profile
Forschungsgruppen
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Nach Expertise, Namen oder Zugehörigkeit suchen
Center for Digital Safety & Security
AIT Austrian Institute of Technology GmbH
Übersicht
Fingerprint
Netzwerk
Profile
(218)
Publikationen
(3870)
Aktivitäten
(2790)
Auszeichnungen
(29)
Publikationen
Publikationen pro Jahr
1980
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
1837
Vortrag mit Beitrag in Tagungsband
856
Artikel
226
Beitrag in Tagungsband mit Posterpräsentation
221
Masterarbeit
730
Mehr
216
Posterpräsentation ohne Eintrag in Tagungsband
212
Buchkapitel
93
Beitrag in Tagungsband ohne Präsentation
59
Dissertation
39
Buch
38
Bachelorarbeit
26
Bericht
13
Tagungsband
11
Beitrag in populärwissenschaftlicher Zeitschrift
9
Sonstiger Beitrag
5
Open Source-Software
3
Editorial
3
Habilitation
2
Guidelines und Standards
1
Kapitel in einem Bericht
Publikationen pro Jahr
Publikationen pro Jahr
3 Ergebnisse
Erscheinungsjahr, Titel
(absteigend)
Erscheinungsjahr, Titel
(aufsteigend)
Titel
Typ
Filter
Editorial
Suchergebnisse
2023
Climate-Resilient Society: ERCIM NEWS Special theme
Lykos, A. (Redakteur:in) & Abbas Peterson, S. (Redakteur:in),
Okt. 2023
,
in:
ERCIM News - Special Theme: Climate-Resilient Society.
135
,
S. 8-9
2 S.
Publikation
:
Beitrag in Fachzeitschrift
›
Editorial
Introduction to the Special Issue on Runtime Verification
Deshmukh, J. V. (Redakteur:in) &
Nickovic, D.
(Redakteur:in),
2023
,
in:
International Journal on Software Tools for Technology Transfer.
25
,
4
,
S. 427-429
Publikation
:
Beitrag in Fachzeitschrift
›
Editorial
Open Access
runtime verification
100%
Cyber Physical Systems
16%
Extended Version
16%
Exhaustive Verification
16%
Formal Reasoning
16%
2021
Smart and Circular Cities
Kunze, P., Schoitsch, E. & Mylonas, G.,
2021
,
in:
ERCIM News.
127
,
S. 4-35
32 S.
Publikation
:
Beitrag in Fachzeitschrift
›
Editorial