File 2

University Name
Alpen-Adria-Universität/ University URL Location Professopr NameProfessor's Profil

Universität Klagenfurt https://www.aau.at/ Austria Hermann Hellwaghttps://campus.aau.at/visitenkarte?atoke
Klaus Schöffmannhttps://campus.aau.at/visitenkarte?atoke
Christian Timmer https://campus.aau.at/visitenkarte?atoke
Mario Tashwer https://campus.aau.at/visitenkarte?atoke

Fachhochschule Vorarlberghttps://www.fhv.at/en/ Dornbirn, VorarlbeProf. (FH) Dipl.-In https://www.fhv.at/en/contacts/detail-en
Webster Vienna Private Unihttp://www.webster.ac.at/

Vienna, Austria Florin Abazi http://www.webster.edu/directory.html
John Aleshunas https://www.fhv.at/en/contacts/detail-en
Brenda Boyce https://www.fhv.at/en/contacts/detail-en
Claude Chaudet https://www.fhv.at/en/contacts/detail-en
James Curtis https://www.fhv.at/en/contacts/detail-en
Lasanthi Gamage https://www.fhv.at/en/contacts/detail-en
Larry Granda https://www.fhv.at/en/contacts/detail-en
Douglas Kelly https://www.fhv.at/en/contacts/detail-en
Reshmi Mitra https://www.fhv.at/en/contacts/detail-en
Ali Ovlia https://www.fhv.at/en/contacts/detail-en
Quinn Shao https://www.fhv.at/en/contacts/detail-en
Martha Smith https://www.fhv.at/en/contacts/detail-en
Xiaoyuan Suo https://www.fhv.at/en/contacts/detail-en
Jiangping Wang https://www.fhv.at/en/contacts/detail-en
Technische Universität Wi https://www.tuwien.ac.at/en/

Vienna, Austria Huemer Christianhttps://tiss.tuwien.ac.at/adressbuch/adr
Kastner Wolfganghttps://tiss.tuwien.ac.at/adressbuch/adr
Pichler Reinhard https://tiss.tuwien.ac.at/adressbuch/adr
Purgathofer Peterhttps://tiss.tuwien.ac.at/adressbuch/adr
Salzer Gernot https://tiss.tuwien.ac.at/adressbuch/adr
Tellioglu Hilda https://tiss.tuwien.ac.at/adressbuch/adr
Werthner Hanneshttps://tiss.tuwien.ac.at/adressbuch/adr
University of Vienna http://www.univie.ac.at/en
Vienna, Austria Martin Polaschek https://ufind.univie.ac.at/en/person.htm
Eduard Mehofer https://ufind.univie.ac.at/en/person.htm
Wilfried Gansterehttps://informatik.univie.ac.at/fakultaet/
Torsten Moller https://informatik.univie.ac.at/fakultaet/
Claudia Plant https://informatik.univie.ac.at/fakultaet/

Institute for Applied Information Processing and Communications
Graz University of Technology
https://www.iaik.tugraz.at/
Graz, Styria, AustrRoderick Bloem https://www.iaik.tugraz.at/content/abou
Herbert Leitold https://www.iaik.tugraz.at/content/abou
Thomas Lenz https://www.iaik.tugraz.at/content/abou
Stefan Mangard https://www.iaik.tugraz.at/content/abou
Stefan More https://www.iaik.tugraz.at/content/abou
Christof Rabenstehttps://www.iaik.tugraz.at/content/abou
Arne Tauber https://www.iaik.tugraz.at/content/abou
Thomas Zefferer https://www.iaik.tugraz.at/content/abou
Graz University of Technol https://www.tugraz.at/en/home/

Graz, Styria, AustrDr. Robert Legenshttps://www.tugraz.at/institute/igi/peop
Wolfgang Maass https://igi-web.t
University of Applied Sci http://www.technikum-wien.at/

Vienna, Austria Dr. Robert Pucherhttps://www.technikum-wien.at/persona
Sonja Nagl https://www.technikum-wien.at/persona
Dominik Dolezal https://www.technikum-wien.at/persona
Alexander Hofma https://www.technikum-wien.at/persona
DI Thomas Mandlhttps://www.technikum-wien.at/persona
Alexander Nimmer
https://www.technikum-wien.at/persona
Dr. Reinhard Oesehttps://www.technikum-wien.at/persona
Mario Pany https://www.technikum-wien.at/persona
Sabrina Rubenzerhttps://www.technikum-wien.at/persona
Benedikt Salzbru https://www.technikum-wien.at/persona

Markus Schordanhttps://www.technikum-wien.at/persona
Arthur Zaczek https://www.technikum-wien.at/persona
University of Leoben http://www.unileoben.ac.at/index.php?id=2765&L=1

Leoben, Styria, AuMartin Antenreitehttps://napps1.unileoben.ac.at/napps/pu
Peter Auer https://napps1.unileoben.ac.at/napps/pu
Andrea Eichelber https://napps1.unileoben.ac.at/napps/pu
Pratik Gajane https://napps1.unileoben.ac.at/napps/pu
Michael Lackner https://napps1.unileoben.ac.at/napps/pu

Shiau Hong LIM
https://napps1.unileoben.ac.at/napps/pu
Ronald Ortner https://napps1.unileoben.ac.at/napps/pu
University of Innsbruck http://www.uibk.ac.at/ Innsbruck, Austri Antonio Rodríguehttps://iis.uibk.ac.at/people/antonio

Bohemian Rainer https://informationsecurity.uibk.ac.at/pe
Jenifer Payr https://informationsecurity.uibk.ac.at/pe
Antonio Rodríguehttps://iis.uibk.ac.at/people/antonio
Ruth Breu https://q-e.at/ruth-breu/

Michael Felderer https://qe-informatik.uibk.ac.at/team/?d
Dieter
Fensel https://www.sti-innsbruck.at/about/team
Anna
Fensel https://www.sti-innsbruck.at/about/team
Günther Specht https://dbis-informatik.uibk.ac.at/specht
Cezary Kaliszyk http://cl-informatik.uibk.ac.at/members/

Aart Middeldorp http://cl-informatik.uibk.ac.at/members/
Georg Moser http://cl-informatik.uibk.ac.at/members/

Rene Thiemann http://cl-informatik.uibk.ac.at/members/
University of Applied Scienhttps://www.fh-kufstein.ac.at/eng
Kufstein, Tyrol, AuKARSTEN BÖHM https://www.fh-kufstein.ac.at/eng/About
Dr. Michael Kohlehttps://www.fh-kufstein.ac.at/eng/Study

Dr. Mario Döller https://www.fh-kufstein.ac.at/eng/About
Person's Email Education BackgroWork experience Research Publications Students
Hermann.Hellwagner@aau.at 1998 - Full Professoresearch group “M D. Posch, B. Rainer, H. Hellwagner. “SAF: Sto
2013 – 2016: ViceMMC group is clear B. Rainer, D. Posch, H. Hellwagner. “Investiga
2005 – 2016: Memb Multimedia commu A. Sterca, H. Hellwagner, F. Boian, A. Vancea.
2012 – 2013: ViceMultimedia contenD. Pohl, A. Bouchachia, H. Hellwagner. “Online
Distributed multi T. Andre, K.A. Hummel, A. Schoellig, E. Yanma
Future Internet: I https://campus.aau.at/cris/search/index?category
Taschwer M., Primus M. J., Schöffmann K., Marque

Klaus.Schoeffmann@aau.at
PhD in 2009 and hisAssociate Professor Medical Multimedia Systems
Beitrag in Sammelwerk
Schöffmann Dipl.-Ing.
K., Bailer StefanC., Awad G. M., Lo
W., Gurrin
Video Content Analysis
Beitrag&in Understanding
Sammelwerk
Dipl.-Ing. SabrinaB., Schöffmann K.
Riegler M., Halvorsen P., Münzer
Interactive Multimedia
Beitrag
Lokoč J.,inBailer
Sammelwerk
Dipl.-Ing.
W., Andrea
Schöffmann K.: SISAP 2018: Sim
Dipl.-Ing. Marco
Schöffmann K., Münzer B., Primus M. J., Kletz S., Le
Petscharnig Mag. Dipl.-Ing.
S., Schöffmann B
K., Benois-Pineau J., Ch
Leibetseder A., Schöffmann K.: ICMR '18 Proceedin
Leibetseder A., Petscharnig S., Primus M. J., Kletz S
Münzer B., Leibetseder A., Kletz S., Primus M. J., Sc
https://campus.aau.at/cris/search/index?category
Associate Professor, at Alpen-Adria-Universität
Christian.Timmerer@aau.at
Dipl.-Ing. Applied 2008 – 2014: Assistant
immersive multimed
Professor AnatoliyatZabrovskiy,
(Asst.-Prof.) Christian Feld
Alpen-Adria-Universität
at bitmovin Anatoliy Zabrovskiy, Christian Fel
Abdelhak Bentaleb, Bayan Taani, A
Anatoliy Zabrovskiy, Evgeny Petrov
Anatoliy Zabrovskiy, Evgeny Kuzmin
Christian Timmerer, Immersive Medi
Christian Timmerer, Ali Cengiz Beg
Christian Timmerer, MPEG Column: 1
https://multimediacommunication.blogspot.com/p
Mittermeir R., Rauner-Reithmayer
Taschwer M., Primus
D., Taschwer
MJ, Schoffmann
M., Gall H.,
K.,Weidl
Marques
J .: I
Mario.Taschwer@aau.at
PhD degree in computer science from research paper Contribution in collected work
Schöffmann K., Taschwer M., Sarny S., Münzer B., P
Contribution
Taschwer M.,in collected
Marques O work
.: In: Multimedia Tools an
Contribution in journal
Berlin: Springer, 01.2018, pp. 241 - 253.
Contribution in collected work
06.2017, pp. 170-174.
Taschwer M .: Klagenfurt am Wörthersee: Alpen-A
Hochschulschrift (not published)
Taschwer M., Marques O .: In: Q. (authorship)
Tian, N. Sebe, G.
Taschwer M., Marques O .: In: L. Cappellato, N. Fer
https://campus.aau.at/cris/search/index?category
regine.kadgien@fhv.at
abaziflo@webster.edu IT Department Coordinator/Adjunct Professor

Professor
jalesh@webster.edu Math/Computer Science Department
Associate Professor
boycebk@webster.edu Math/Computer Science Department
Program Dir
claudechaudet43@webster.edu Math/Computer Science Department
Assistant Professor
jamescurtis89@webster.edu Math/Computer Science Department
Assistant Professor
lasanthigamage67@webster.edu Math/Computer Science Department
Associate Professor
grandlar@webster.edu Math/Computer Science Department
Assistant Professor
douglaskelly66@webster.edu Math/Computer Science Department
Assistant Professor
reshmimitra25@webster.edu Math/Computer Science Department
Professor
aovlia@webster.edu Math/Computer Science Department
Professor
qshao@webster.edu Math/Computer Science Department
Professor
smithma@webster.edu Math/Computer Science Department
Associate Professor
xiaoyuansuo51@webster.edu Math/Computer Science Department
Professor
wang@webster.edu Math/Computer Science Department
" Proceedings of the 12th IEEE Conference on Com
christian.huemer@tuwien.ac.at Ao.Univ.Prof. Mag.re
inter-organizationa IEEE Computer
in book series " Society, Shanghai,
Enterprise China,
Modeling and 2010, ISB
Informati
"IEEE International Conference on Business Inform
IEEE Computer
Springer, LectureSociety,
Notes 2013, ISBN: Information
in Business 978-0-7695-50Pro
" E-Commerce and Web Technologies - 13th Intern
Springer, Berlin
" 18th IEEE Heidelberg,
Conference 2012, ISBN:
on Business 978-3-642
Informatics, CB
IEEE
IEEE Computer Society, Los Alamitos, 2016, ISBN: 9
Computer Society, Los Alamitos, 2016, ISBN: 9
https://publik.tuwien.ac.at/publist.php?nojava=0&
"Roadmap für Energieeffiziente Fertigungsbetriebe
wolfgang.kastner@tuwien.ac.at Ao.Univ.Prof. Dipl.- 1) Automation systeKonsortium Projekt INFO, russische
"EIB Gebäudebussystem, Wien, 2013, 66 S.
Ausgabe";
2) Home and buildi Hüthig, Heidelberg, 2000, 376 S.
"EIB-Gebäudebussystem";
3) Smart grids Hüthig-Verlag, Heidelberg,
"Sistema avtomatizatsii 2000,
zdanii ISBN: 3-7785-279
(Übersetzung ins Ru
4) Cyberphysical pr Hüthig-Verlag, Heidelberg, 2001, ISBN:
"Informatik: Aufgaben und Lösungen"; 5-88151-29
5) Safety and securiSpringer-Verlag, Wien,
"EIB Installation Bus 2005, ISBN: 3-211-21136-5;
System";
Publicis-Verlag, Berlin-München, 2000, ISBN: 3-895
"Prozeßautomatisierung";
Springer, Vienna, 1998, ISBN: 3-211-82999-7; 270 S
"Proceedings of the 10th Alberto Mendelzon Inter
reinhard.pichler@tuwien.ac.at Univ.Prof. Mag.rer. Basic Research in CEUR-WS.org,
"Proceedings of2016.
the 21th International Conference
EDBT 2018, Edbt / Icdt
Journal of Logic and 2018, 2018,27
Computation, ISBN: 978-3-89
(2017), 4; S.
"Universities and computer science in the Europea
Communications
Journal of Computerof the
andACM, 59 (2016),
System 10;80S.(201
Sciences, 31 -
"Do Hard SAT-Related Reasoning Tasks Become Eas
Logical MethodsService-Oriented
"Quality-aware in Computer Science, 14 (2018), 4
Data Integration:
ACM SIGMOD Record, Volume 41 (2012), Number
"Rethinking HCI-Education in the Context of Design
peter.purgathofer@tuwien.ac.at Ao.Univ.Prof. Dipl.- 1) Questions on theInterfaces
Eludamos -Journal
Journaloffor
the British HCI
Computer Group,
Game 56 (200
Culture, htt
"Design Principles for Social Impact Games";
eLearning
"Learning, Papers,
Gaming,43designing:
(2015), 43; 12 S.Playful Partici
Using
Conjunctions: Transdisciplinary
Multimodal Technologies Journal of Cultural
and Interaction, 2(4) (20
"Game Mechanics to Further Engagement with Ph
Interaction Design
International andonArchitectures,
Journal 36 (2018),Sys
Advances in Intelligent S.
European Journal of Combinatorics, 31 (2010), 2; S
gernot.salzer@tuwien.ac.at Ao.Univ.Prof. Dipl.- 1) Clausal Theorem Proving and Unification
"Complexity Theory
of Clausal Constraints Over Chains";
Theory
2) Proof Theory of Many-valuedof
"Computing Computing
Logic Systems, 42 (2008),
Product Configurations 2; S.and
via UML 239In
3) Formal Methods in International
Computer
"A Journal
Science
Comparison of for
of Tools Mass Customisation
Teaching (einge
Formal Softwa
4) Constraint Satisfa Formal
"NumericAspects of Computing,
semantics 21 (2009),
of class diagrams with3;multipl
S. 293
Software
"Minimal and Systems
Distance Modeling, 2012
of Propositional (2012), 1 S.
Models";
CoRR - Computing Research Repository, 1502.0676
" European Evaluation Framework for Computing E
hilda.tellioglu@tuwien.ac.at TU
Associate Prof. Dipl1) Computer Support Verlag, Vienna,
" Proceedings Vienna,
of the 2016,International
2012 ACM ISBN: 978-3-9030
Confe
in
"Collaboration and Coordination in ACM
book series " Proceedings of the Internatio
the Context of
in book series" CCCiC 2014 Proceedings of the ACM
" Using Cultural Probes in the Sensitive Research se
i-com, Journal of Complex
" Understanding Interactive Media (2018),
Coordination Volume
Processes
Scandinavian Journal of Information Systems, 11 (2
Newsletter OVEaktuell GIT Society for Information
" Proceedings of the International Conference on e
hannes.werthner@tuwien.ac.at Univ.Prof. Dipl.-Ing.Business
Dr.techn.Informati Springer-Verlag,
" Proceedings of Heidelberg, 2005.Conference on e
the International
Springer, LNCS,
" Destination Heidelberg, 2006,
Recommendation ISSN: 0302-9743
Systems: Behavior
CAB International, London, 2006.
" Proceedings of the 2nd International Conference
Austrian Computer Society, Vienna, 2003.
" Lectures in E-Commerce ";
Springer-Verlag, 2001. and Tourism - A Challeng
" Information Technology
Springer, Vienna, New York, 1999, ISBN: 3-211-832
Polaschek, M. , Zeppelzauer, W., Kryvinska, N. & St
martin.polaschek@univie.ac.at Director of Studies - Computer ScienceContribution
and Business
Kryvinska, N. to
, Informatics
book > C.
Strauss, Contribution
&Directorate
toof
Polaschek, conference
M.Studies
, 13 Dec
Head - StudiesServiceCenter ComputerContribution
Science to book > Contribution to conference
Kryvinska, N. , Strauss, C. & Polaschek, M. , 2011 , t
Contribution to book
Beran, P. , Mangler, J. >, Polaschek,
Contribution
M.to conference
, Schikuta, E.
Contribution to book > Contribution to conference
Dörner, K. , Gutjahr, W. , Kotsis, G., Polaschek, M. &
Article
Eigner, in
H.,journal > Article
Gaschler, E., Polaschek, ML , Schikuta, E
Contribution to book > Contribution to conference
Fischbacher, J., Kovacs, A., Exl, L., Kühnel, J., Meho
eduard.mehofer@univie.ac.at Vice-Director of Studies - Computer Science
Beitrag
Raca, and
V.,inMehofer,
Fachzeitschrift
BusinessE.Informatics
› Artikel
& Hudec, Directorate
M., of Stud
1 Feb 2016, 24t
Deputy Head - Research Group Scientific
Beitrag
Computing
in Buch › Beitrag in Konferenzband
Raca, V. & Mehofer, E., 1 Sep 2015, 27th Internatio
Deputy Head - StudiesServiceCenter Computer
Beitrag
Wöhrer,inA.,Science
Buch › Beitrag
Brezany, in Konferenzband
P., Janciak, I. & Mehofer, E., 1
Beitrag in Fachzeitschrift › Artikel
Mehofer, E., Schordan, M., Quinlan, D. & Martino,
Beitrag in Fachzeitschrift
Di Martino, B., Mehofer, E.,› Artikel
Quinlan, D. & Schordan
Beitrag in Fachzeitschrift
Dilch, D. & Mehofer, E., 2012, › Editorial
Parallel, Distributed
Beitrag in Buch › Beitrag in Konferenzband
Di Martino, B., Mehofer, E., Quinlan, D. & Schordan
Beitrag
Mehofer, in E.,
Fachzeitschrift
Schordan, M., › Artikel
Quinlan, D. & Di Martin
Sonstige Veröffentlichung › Sonstiges
https://ucris.univie.ac.at/portal/de/persons/eduar
Carlos Pachajoa, Markus Levonyak, Wilfried Ganste
dekan.informatik@univie.ac.at
PhD in Scientific full professor at t scientific computin The International
Carlos Conference
Pachajoa, Markus on High
Levonyak, Performance
Wilfried Ganste
MSc in Scientific Computing / Computational Mathematic2018 IEEE / ACM 8th Workshop on Fault
Marc Casas, Wilfried Gansterer, Elias Wimmer Tolerance
The International
Michael Moldashl,Journal of High Performance
Karl E Prikopa, Com
Wilfried Ganster
Journal
AndreasofJanecek,
Parallel Wilfried
and Distributed Computing, 104
Gansterer
Genetic and Evolutionary Computation Conference
https://informatik.univie.ac.at/fakultaet/leitung/d
Raphael Sahann, Torsten Moller
torsten.moeller@univie.ac.at
1999 PhD in Computer
2013and
Professor
Information
, Visualization
Science, Ohio
and Data
VisualizationState
2018
Analysis
University,
ThomasInternational
, Faculty
USA of
Torsney-Weir, Symposium
Computer on
Science,
Big Data
Torsten Moeller, University
Visual
Michael Sea
1993 MSc in Computer
2011and
Professor,
Information
Computing
Science,
Science,
ComputerOhioGra Eurographics
State
SimonUniversity,
Fraser
Michael +USAEC EuroVis
University,
Oppermann, // Computer
Canada
Torsten Graphics
Moller, Michael Fo
Sedl
1992 Vordiplom Mathematical
2007 Sabbatical,
Computer
Biomedical
Science
Image Imaging
Proces International
, Humboldt
Group,
University
Thomas EPFL Journal
Lausanne, of
zu Berlin
Torsney-Weir, ,Transportation,
Switzerland
Germany
Shahrzad ISSN
Afroozeh, 2207-
Michael
1990 Abitur, special
2006school math.-naturw.-techn.
Sabbatical, Data
Institute forScience
Computer Direction
EuroVis
Graphics
2018, Erfurt,
and - Short Germany
Algorithms,
Papers, TU4-8
Wien,
June,Austria
2018,
Christoph Kralj, Mohsen Kamalzadeh, Torsten Moll Brno,
2005 Associate Professor, Computing Science,
Proceedings
StephanSimon ofFraser
Pajer, the 2017
Marc University,
CHI
Streit, Conference
ThomasCanada on HumaF
Torsney-Weir,
1999 Assistant Professor, Computing Science,
IEEE Transactions
Thomas Simon Fraser
Mühlbacher, on University,
VisualizationCanada
and Torsten
Lorenz Linhardt, ComputerMolG
IEEE Transactions on Visualization and Computer G
Sahar Behzadi, Katerina Schindlerova, Claudia Plan
claudia.plant@univie.ac.at Univ.-Prof Information-thPacific-Asia Conference
Sahar Behzadi, Hermannon Knowledge Discovery
Hinterhauser, a
Claudia Pla
International
Big Data: methods Conference
for complex
Sahar Behzadi, Nikolaandon Extending
heterogeneous
Müller, Database
Claudia Plant, dataT
Christi
The Pacific-Asia Conference on Knowledge Discove
Applications: Maximilian Leodolter, Norbert Braendle, Claudia P
ICBK International
Benjamin Schelling,Conference on Big Knowledge 2
Claudia Plant
IEEE International Conference on Data Mining 201
Benjamin Schelling, Claudia Plant
20th International
Dominik Conference
Mautz, Wei Ye, ClaudiaonPlant,
Big Data Analytic
Christian Bö
Proceedings of the 24th ACM SIGKDD Internationa
roderick.bloem@iaik.tugraz.at
PhD from the Univer
Since 2002, he has been an assistant prRoderick Paul BloNicolas Braud-Santoni
MS in computer science from Leiden University in the Netherlands (1996) Masoud Ebrahimi
Roderick Paul BloRinat Iusupov
Roderick Bloem, RAnja Karl
Roderick Paul BloAyrat Khalimov
Rüdiger Ehlers, RBettina Koenighofer
Roderick Paul Bl Franz Roeck
Roderick Paul BloJohannes Winter
https://www.iaik.tugraz.at/content/about_iaik/peo
Herbert.Leitold@a-sit.at
masters in telecommunication and informatics in 1996. Herbert Leitold, Andrea Kö, Christine Leitner, Alexa
Herbert Leitold, Reinhard Posch - "STORK - Technic
Bernd Zwattendorfer, Ivo Sumelong, Herbert Leitol
Thomas Zefferer, Peter Teufl, Herbert Leitold - "Mo
Herbert Leitold, Reinhard Posch, Thomas Rössler -
Herbert Leitold - "Technische Aspekte des E-Voting
Thomas.Lenz@iaik.tugraz.at Thomas Lenz, Bernd Zwattendorfer - "A modular a

Thomas Lenz, Bernd Zwattendorfer, Armin Hutzler
Thomas Lenz - "A Modular and Flexible Attribute M
Klaus Stranacher, Thomas Lenz, Konrad Lanz - "Tru
Thomas Lenz, Klaus Stranacher, Thomas Zefferer -
Thomas Zefferer, Fabian Golser, Thomas Lenz - "To
Hardware Side Channels
Anja and
F. Karl,
Countermeasures
Robert Schilling, Roderick Bloem, Stef
Stefan.Mangard@iaik.tugraz.at professor at IAIK Verification of Security
SmallMechanisms
Faults
Raphael Grow Up
Spreitzer, - Verification
Veelasha of Error
Moonsamy, Maskin
Thomas K
Systematic Classification of Side-Channel Attacks:
A unified masking approach. J. Cryptographic Engin A
Christoph Dobraunig, Maria Eichlseder, Thomas Ko
SIFA:
RobertExploiting
Schilling,Ineffective FaultPascal
Mario Werner, Inductions on Stef
Nasahl, Sym
Pointing in the Right Direction - Securing Memory
https://dblp.uni-trier.de/pers/hd/m/Mangard:Stef
Usability of SecurityWagner, G., More, S. J., Wagner, S. & Hoffmann, M
stefan.more@iaik.tugraz.at
Master's programme in Computer Scien
Technology & Society Research
Omolola, output: Chapter
O., More, in Book/Report/Confere
S. J., Fasllija, E., Wagner, G. & A
Research
More, S. J. 14 Jun 2018 68 in
output: Chapter p. Book/Report/Confere
Research
Gruss, D., output:
Schwarz,Thesis › Master's Thesis
M., Wübbeling, M., Guggi, S., M
Research output: Chapter in Book/Report/Confere
Wagner, G., Omolola, O. & More, S. J. 6 Oct 2017 L
Research
More, S. J.output:
2015 Chapter in Book/Report/Confere
Research output: Thesis › Bachelor's Thesis
Identity Management
christof.rabensteiner@iaik.tugraz.at
studied computer science (focus on inf
Web and Mobile Security
Privacy and Privacy Enhancing Technologies
arne.tauber@iaik.tugraz.at
Study of computer sciences ("Telematik") at Graz UniversitArne Tauber - "An Optimistic Certified E-mail Proto
PhD student of computer sciences ("Telematik") at Graz UnBernd Zwattendorfer, Klaus Stranacher, Arne Taub
Bernd Zwattendorfer, Klaus Stranacher, Arne Taub
Arne Tauber, Bernd Zwattendorfer, Klaus Stranach
Thomas Lenz, Bernd Zwattendorfer, Arne Tauber -
Thomas.Zefferer@iaik.tugraz.at
Doctoral programme "Engineering Sciences; Computer Scie
Doctoral programme "Engineering Sciences; Comp
Bachelor and Master's programme "Information and Comput
Florian Reimair, Peter Teufl, Thomas Zefferer - "We
Thomas Zefferer - "Towards a New Generation of M
Andreas Reiter, Thomas Zefferer - "Paving the Way
Thomas Zefferer, Peter Teufl - "Leveraging the Ado
robert.legenstein@igi.tugraz.at Graz University of Technology

models for computat
[35] D. Kappel, S. Habenschuss, R. Legenstein, and
[32] R. Legenstein and W. Maass. Ensembles of spi
[29] G. M. Hoerzer, R. Legenstein, and
[28] R. Legenstein and W. Maass. Bra
https://www.tugraz.at/institutes/igi/team/prof-leg
Em.Univ.-Prof. Dipl.-Ing. Dr.rer.nat.
maass@igi.tugraz.at Institut für Grundlagen
information
der Informationsverarbeitung
processG. Bellec, F. Scherr, E. Hajek, D. Salaj, R. Legenstein
neural networks C. Liu, G. Bellec, B. Vogginger, D. Kappel, J. Partzsch
machine learning N. Ananri, C. Daskalakis, W. Maass, C. H. Papadimit
computational comp G
R.. Legenstein,
Bellec, D. Salaj, A. Subramoney,
W. Maass, R. Legenstein,
C. H. Papadimitriou, anda
theory of computat
https://igi-web.tugraz.at/people/maass/publicatio
robert.pucher@technikum-wien.at
Doctorate at Grazsince 2006 Head Management of soDolezal, Dominik; Posekany, Alexandra; Rossc
Diploma thesis at since 2000 Head software usability Winter, Veronica; Pucher, Robert (2015) Elem
Study of Medicinesince 1994 head Coast - CompetenPucher, Robert; Holweg, Gerd; Mandl, Thoma
Studied electroni Shareholder ACENumerical simulatiHolweg, Gerd; Pucher, Robert; Schmöllebeck,
Head of Department at KN Softwar Merchant, christian; Mense, Alexander; Electio
Head of Department at Bartelt Lab Pucher, Robert; Tesar, Michael; Mandl, Thoma
Nara Medical School, Osaka, Japa Pucher, Robert; Lehner, Martin (2011) Project
Assistant at the University of Graz Mense, Alexander; Sauermann, Stefan; Gerbo
Electricity Supply Commission (ES Dolezal, Dominik; Posekany, Alexandra; Motsc
Dolezal, Dominik; Posekany, Alexandra; Puche
Holweg, Gerd; Pucher, Robert; Schmöllebeck,
Dolezal, Dominik; Motschnig, Renate; Pucher,
Pucher, Robert; Kriz, Agnes; Ricci, Laura (201
Pucher, Robert; Holweg, Gerd; Mandl, Thoma
Pucher, Robert; Salzbrunn, Benedict; Schmöll
Pucher, Robert; Holweg, Gerd; Salzbrunn, Ben
Waller, Daniela; Pucher, Robert; Gollner, Helm
Salzbrunn, Benedict; Dolezal, Dominik; Winter
Pucher, Robert (2014) Robots Helps Student
https://www.technikum-wien.at/personal/robert-p
sonja.nagl@technikum-wien.at
dominik.dolezal@technikum-wien.at
Master's Degree Since 2012 employed at the UAS Dolezal, Dominik; Posekany, Alexandra; Rosschger,
Bachelor's degre Software developer at IT-eXperien Dolezal, Dominik; Posekany, Alexandra; Puche
Dolezal, Dominik; Motschnig, Renate; Pucher,
Winter, Veronica; Dolezal, Dominik; Salzbrunn
Winter, Veronica; Salzbrunn, Benedict; Doleza
Pucher, Robert; Salzbrunn, Benedict; Winter, V
Dolezal, Dominik; Gmeiner, Karl; Pucher, Robe
Salzbrunn, Benedict; Dolezal, Dominik; Puche
alexander.hofmann@technikum-wien.at
Studied Software Since 2001 at the UAS Technikum Hofmann, Alexander; Hlavacs, Helmut (2015)
Studied TelematicDeputy managing director and sha Hofmann, Alexander; Peters, Konrad; Unterbru
Research development at the Sof Force, Thomas; Hofmann, Alexander (2003) V
Practical semester at Nortel NetworRubenzer, Sabrina; Judge, George; Hofmann,
Software developer at Teerag AsdaZeilinger, Marcel; Hauk, Raphael; Bader, Mark
Software Developer at Stampfl & Hofmann, Alexander; Rubenzer, Sabrina; Rich
Stöcklmayr, Kerstin; Tesar, Michael; Hofmann,
Stöcklmayr, Kerstin; Tesar, Michael; Hofmann,
Pucher, Robert; Hofmann, Alexander (2011) Te
Tesar, Michael; Pucher, Robert; Hofmann, Alex
https://www.technikum-wien.at/personal/alexand
thomas.mandl@technikum-wien.at Deputy Head of Software Engineering Pucher, Robert; Holweg, Gerd; Mandl, Thoma
Pucher, Robert; Tesar, Michael; Mandl, Thoma
Meyerspeer, Martin; Mandl, Thomas; Reichel,
Mandl, Thomas; Meyerspeer, Martin; Reichel,
Pucher, Robert; Holweg, Gerd; Mandl, Thoma
Mandl, Thomas; Martinek, John; Bijak, Manfre
Pucher, Robert; Tesar, Michael; Mandl, Thoma
Mandl, Thomas; Tailer, Susanne; Pucher, Rob
Martinek, John; Mandl, Thomas; Mayr, Winfrie
Mandl, Thomas; Martinek, John; Mayr, Winfrie
Reichel, Martin; Martinek, John; Mandl, Thoma
alexander.nimmervoll@technikum-wien.at
from December 1Coordinator at the Institute of Com Election, Harald; Mense, Alexander; Merchant
Diploma thesis atEmployee Infra-structural central Never, Alexander; Pucher, Robert; Election, Ha
Computer scienceMember of the development team oPucher, Robert; Hofmann, Alexander; Mense,
Lecturer in computer science and bElection, Harald; Pucher, Robert; Mense, Alex
Mense, Alexander; Election, Harald; Pucher, R
Election, Harald; Voith, Peter; Hofmann, Alexa
Mense, Alexander; Wahl, Harald; Pucher, Rob
Wahl, Harald; Hofmann, Alexander; Kraft, Tho
Pucher, Robert; Mense, Alexander; Election, H
Pucher, Robert; Election, Harald; Mense, Alex
Election, Harald; Hofmann, Alexander; Kopper
Mense, Alexander; Election, Harald; Hofmann,
Never, Alexander (2018) Outlook CalDav Syn
Never, Alexander; Pasmans, Luc (2017) Nextc
Never, Alexander (2017) Outlook CalDav Syn
Never, Alexander (2017) CalDAV / CardDAV i
Nimmervoll, Alexander (2017) Open Source E
Election, Harald; Mense, Alexander; Merchant
Pucher, Robert; Hoffmann, Alexander; Mense,
Pucher, Robert; Election, Harald; Mense, Alex
Election, Harald; Hofmann, Alexander; Kopper
Mense, Alexander; Election, Harald; Hofmann,
reinhard.oeser@technikum-wien.at
Doctorate in technology,
since 1999
Vienna
Lecturer
University
at theofUAS
Technology
Technikum Wien
Individual diplomaManaging
study "Medical
Director
Dataof the
Processing",
company Vienna
Oeser GmbH
University of Technology
Academic CertifiedConsultant
Data Technician,
in healthVienna
care University of Technology
mario.pany@technikum-wien.at
sabrina.rubenzer@technikum-wien.at Rubenzer, Sabrina; Judge, George; Hofmann,

Hofmann, Alexander; Rubenzer, Sabrina; Rich
Rubenzer, Sabrina; Judge, George; Hofmann,
Hofmann, Alexander; Rubenzer, Sabrina; Rich
benedikt.salzbrunn@technikum-wien.at
since September Head of City Vienna Competence Te Pucher, Robert; Holweg, Gerd; Mandl, Thoma
Diploma thesis onCourse Leader User Experience M Gurdet, Elisabeth; Salzbrunn, Benedict; Kubin
Master's Degree Co-founder and head of the Usabil Schoerkhuber, Dominik; Seitner, Florian; Salzb
Bachelor of CompSoftware usability and web marketi Pucher, Robert; Holweg, Gerd; Mandl, Thoma
Lecturer in all computer science-re Pucher, Robert; Salzbrunn, Benedict; Schmöll
Coordinator of the usability coursesPucher, Robert; Holweg, Gerd; Salzbrunn, Ben
Winter, Veronica; Dolezal, Dominik; Salzbrunn
Winter, Veronica; Salzbrunn, Benedict; Doleza
Pucher, Robert; Salzbrunn, Benedict; Winter, V
Salzbrunn, Benedict; Dolezal, Dominik; Puche
Pucher, Robert; Salzbrunn, Benedict; Stöckelm
Salzbrunn, Benedict; Tesar, Michael; Stöckelm
Feichtinger, Romana; Tesar, Michael; Salzbrun
Tesar, Michael; Pucher, Robert; Schmöllebeck
Pucher, Robert; Tesar, Michael; Schmöllebeck
https://www.technikum-wien.at/personal/benedik
markus.schordan@technikum-wien.atComputer Scientistprogram analysis and verification, programming languages for high-pe

Diploma program in electronics, FH Technikum Wien
arthur.zaczek@technikum-wien.at
HTL Donaustadt Since 2008 employed at the UAS Technikum Wien
Managing Partner dasz.at OG
Head of Software Development and Graphics, ERES NET Consulting - Immobilie
Software Developer, ace NEW Information Technologies GmbH
Software developer GfV - Gesellschaft für Vertriebslösungen
Software developer PROCON DATA GmbH
martin.antenreiter@unileoben.ac.at Chair of Information Technology
peter.auer@unileoben.ac.at Chair of Information Technology
andrea.eichelberger@unileoben.ac.atChair of Information Technology
pratik.gajane@unileoben.ac.at Chair of Information Technology
michael.lackner@unileoben.ac.at Chair of Information Technology
//napps1.unileoben.ac.at/napps/public/telefonbuch.nsf/9b1616fedbe39df5c12578990035131e/9e3d855df797bff0c12583c4006862aa?O
Chair of Information Technology
ronald.ortner@unileoben.ac.at Chair of Information Technology

_x000D_
antonio.rodriguez-sanchez@uibk.ac.at
10/2010: PhD in CAssistant Professor at the Departme¬©¬†Springer-Verlag
_x000D_ [Link] [PDF] [Abstract] [BibTe
06/1998: EngineerSenior Researcher at the Department ¬©¬†IEEE
_x000D_ [Link] [PDF] [Abstract] [BibTeX]
06/1996: BachelorJunior Researcher and Teaching Ass[Link] [PDF] [Abstract] [BibTeX]
_x000D_
3 years Bachelor Instructor at University of Ontario ¬©¬†IEEE
Junior Researcher at Biotechnology¬©¬†Springer-Verlag
Computer Engineer at Lucent Techn¬©¬†Springer-Verlag
_x000D_ [Link] [arXiv] [PDF] [Abstract
¬©¬†Springer-Verlag
[Link] [PDF]
_x000D_ [Abstract] [BibTeX]
¬©¬†IEEE [Link] [PDF] [Abstract] [BibTeX]
Sebastian
_x000D_ Stabinger, Antonio Rodríguez-Sánchez, Ju
[Link] [PDF] [Abstract] [BibTeX]
_x000D_
¬©¬†IEEE
_x000D_
_x000D_
¬©¬†IEEE
¬©¬†Springer-Verlag [Link] [PDF] [Abstract] [BibTe
Safoura Rezapour-Lakani,
George Azzopardi, AntonioMirela Popa, Antonio Jus
Rodríguez-Sánchez, J. R
cells with application to contour detection. Per
_x000D_
_x000D_
_x000D_ [home] [Link] [PDF] [Abstrac
¬©¬†IEEE
_x000D_
2008_x000D_ since 03/2015_x000D_

rainer.boehme@uibk.ac.at
Ph.D.
1998 (Dr.-Ing.) in2010
– 2003_x000D_ Professor
Computer for
Science,
Security
– 2015_x000D_ Technische
andforensics
Digital Privacy,
Universität
Department
Böhme, Dresden,
R. of
and Computer
Germany
Reussner,Science,
R. Validat
University of Innsb
M.A.
1999 in Communications,
– 2000_x000D_ 2009Assistant
Economics
Professor,
– 2010_x000D_ andDepartment
Virtual Computer
currencies of
Science,
Information
Technische
Anderson, R.,Systems,
Universität
Böhme, University Dresden,
R., Clayton, of Münster,
Germany
Germ
Communication2007 publique
Postdoctoral
et politique,
Fellow,
– 2009_x000D_ Erasmus
Networking
exchange,
Privacy-enhancing and Security
Université
Anderson, Group,Paris
International
R., Böhme, XII,R.,France Computer Science
Clayton,
2005Research Assistant,
– 2007_x000D_ Chair ofand
Economic Privacy
behaBöhme,
and Data R.Security
A Comparison
(Prof. Dr. of Market
AndreasAPfitzmann), T
Research Analyst, DirectoratereseaKoble,
Cybercrime General Economics,
S. and Böhme,
EuropeanR. Economics
Central Bank, Frankfurt a
Steganography anBöhme, R. and Kataria, G. Models
Böhme, R. and Kataria, G. On the Li
Böhme, R. and Holz, T. The Effect of Stock Spam on
Böhme, R. Vulnerability Markets – What is the Eco
Böhme, R. Cyber-Insurance Revisited. In Workshop
Laube, S. and Böhme, R. Meldepflichten für IT-Sich
Böhme, R. and Laube, S. Das IT-Sicherheitsgesetz. I
Böhme, R. Wann sind IT-Security-Audits nützlich? I
Böhme, R. IT-Risiken im Schadenversicherungsmod
Böhme, R. Response to Clarke: Empirical Research
Arce, D.G. and Böhme, R. Pricing Anonymity. In S. M
Möser, M. and Böhme, R. Join Me on a Market for
Machuletz, D., Sendt, H., Laube, S., and Böhme, R.
Spiekermann, S., Acquisti, A., Böhme, R., and Hui, K
Korff, S. and Böhme, R. Too Much Choice: End-Use
Boehm, F. and Böhme, R. Improving Informed Con
Böhme, R. and Pötzsch, S. Collective Exposure: Pee
Böhme, R. and Pötzsch, S. Privacy in Online Social L
Böhme, R. and Köpsell, S. Trained to Accept? A Fie
Berthold, S. and Böhme, R. Valuating Privacy with O
Berthold, S., Böhme, R., and Köpsell, S. Data Reten
Böhme, R. and Pfitzmann, A. Privacy-DRM: Data Pr
Kellermann, B. and Böhme, R. Privacy-Enhanced Ev
Böhme, R. Conformity or Diversity: On the Social Im
Böhme, R. and Koble, S. On the Viability of Privacy
Böhme, R. and Koble, S. Pricing Strategies in Electr
Böhme, R., Diaz, C., Danezis, G., Köpsell, S., and Pfi
Böhme, R. and Luhn, S. Die Privatsphäre des Verbr
Schöttle, P. and Böhme, R. Die totale Transparenz.
Böhme, R. and Pötzsch, S. Social Lending aus der P
Böhme, R. and Pfitzmann, A. Digital Rights Manage
Böhme, R. and Pfitzmann, A. Datenspuren beim Fo
Böhme, R. and Kirchner, M. Media Forensics. In S.
Pasquini, C. and Böhme, R. Towards a Theory of JP
Pasquini, C. and Böhme, R. Information-theoretic B
Pasquini, C., Schöttle, P., Böhme, R., Boato, G., and
Abramova, S. and Böhme, R. Detecting Copy–Move
Carnein, M., Schöttle, P., and Böhme, R. Telltale Wa
Carnein, M., Schöttle, P., and Böhme, R. Forensics o
Lai, S.-Y. and Böhme, R. Block Convergence in Repe
Böhme, R. and Kirchner, M. Counter-Forensics: Atta
Lai, S.-Y. and Böhme, R. Countering Counter-Forens
Gloe, T., Cebron, N., and Böhme, R. An ML Perspec
Gloe, T. and Böhme, R. The Dresden Image Databa
Böhme, R., Freiling, F.C., Gloe, T., and Kirchner, M.
Kirchner, M. and Böhme, R. Synthesis of Color Filte
Kirchner, M. and Böhme, R. Hiding Traces of Resam
Gloe, T., Kirchner, M., Winkler, A., and Böhme, R. C
Kirchner, M. and Böhme, R. Tamper Hiding: Defeati
Böhme, R. and Westfeld, A. Feature-based Encode
Böhme, R., Freiling, F.C., Gloe, T., and Kirchner, M.
Böhme, R. Advanced Statistical Steganalysis. Spring
Schöttle, P. and Böhme, R. Game Theory and Adap
Schöttle, P., Schlögl, A., Pasquini, C., and Böhme, R
Köhler, O.M., Pasquini, C., and Böhme, R. On the S
Johnson, B., Schöttle, P., Laszka, A., Grossklags, J., a
Kirchner, M. and Böhme, R. “Steganalysis in Techni
Carnein, M., Schöttle, P., and Böhme, R. Predictabl
Ker, A., Bas, P., Böhme, R., et al. Moving Steganogr
Johnson, B., Schöttle, P., Laszka, A., Grossklags, J., a
Schöttle, P., Laszka, A., Johnson, B., Grossklags, J., a
Schöttle, P., Korff, S., and Böhme, R. Weighted Steg
Schöttle, P. and Böhme, R. A Game-Theoretic Appr
Johnson, B., Schöttle, P., and Böhme, R. Where to H
Böhme, R. An Epistemological Approach to Stegan
Böhme, R. Improved Statistical Steganalysis using M
Ker, A. and Böhme, R. Revisiting Weighted Stego-Im
Böhme, R. Weighted Stego-Image Steganalysis for
Böhme, R. and Keiler, C. On the security of ‘A Stega
Böhme, R. and Ker, A. A Two-Factor Error Model fo
Böhme, R. Assessment of Steganalytic Methods Us
Böhme, R. and Westfeld, A. Breaking Cauchy Mode
Böhme, R. and Westfeld, A. Exploiting Preserved St
Böhme, R. and Westfeld, A. Statistical Characterisa
Köhler, O.M., Pasquini, C., and Böhme, R. Verbesse
Pasquini, C., Schöttle, P., and Böhme, R. Decoy Pas
Yildiz, E. and Böhme, R. Effects of Information Secu
Böhme, R. Back to the Roots: Information Sharing
Spiekermann, S., Böhme, R., Acquisti, A., and Hui, K
Luhn, S., Bruns, I., and Böhme, R. Consumer Partic
Böhme, R., Rath, M., Schneider, R., and Telang, R. R
Böhme, R. Research Note on Progress Indicators in
Pötzsch, S. and Böhme, R. The Role of Soft Informa
Böhme, R. and Kataria, G. A Closer Look at Attack C
Boehm, F., Böhme, R., and Andrees, M. Sachverstä
Becker, J., Breuker, D., Heide, T., Holler, J., Rauer, H
Böhme, R. IT-Sicherheit: Umdenken nach Stuxnet?
Kühne, M. and Böhme, R. Effekte von Informations
Böhme, R. Fragebogeneffekte bei Online-Befragun
Böhme, R., ed. The Economics of Information Secu
Böhme, R. and Okamoto, T., eds. Financial Cryptog
Böhme, R., Brenner, M., Moore, T., and Smith, M.,
Böhme, R., Fong, P.W., and Safavi-Naini, R., eds. Inf
since 11/2017_x000D_
seclab-informatik@uibk.ac.at 2016Secretary of the Security and Privacy Lab, Department of Computer Science, Universit
– 2017_x000D_
2009Librarian, University of Applied Sciences, Kufstein, Austria
– 2016_x000D_
Librarian, University of Innsbruck
antonio.rodriguez-sanchez@uibk.ac.at
10/2010: PhD in CAssistant ProfessBiological plausibility and inspiration
06/1998: EngineerSenior Researcher Computer Vision
06/1996: BachelorJunior ResearcherMachine and Deep Learning
3 years Bachelor Instructor at University of Ontario Institute of Technology, Oshawa, Canada (2006
Junior Researcher at Biotechnology Center, Centro de Investigaciones Científicas
Computer Engineer at Lucent Technologies, Tres Cantos (Madrid), Spain (1998-2
Ruth.Breu@uibk.ac.at
1983-1988 study cosince 2002 Professor at the Universit Towards a formalization of the unified modeling la
07.06.1991 Doctorat2003 co-founder of arctis Softwarete CBRFlow: Enabling adaptive workflow managemen
07.07.1999 Habilita2004-2007 and since 2013 head of theAlgebraic specification techniques in object oriente
since 2009 Head of QE LaB - Quality EnSecurity engineering for service-oriented architect
since 2011 Member of the Board of Tr A general obligation model and continuity: enhanc
2012 co-founder of QE LaB Business S Systems, views and models of UMLR Breu, R Grosu
The relevance of model-driven engineering thirty y
SECTET: an extensible framework for the realizatio
Ten principles for living models-a manifesto of cha
Using an Enterprise Architecture for IT Risk Manag
Enterprise Architecture Documentation: Current P
Security-critical system development with extende
Towards a precise semantics for object-oriented m
Key issues of a formally based process model for se
Model-driven security engineering for trust manag
Model driven security for Web services (MDS4WS)
Quantitative assessment of enterprise security syst
Model-based security testing: a taxonomy and syst
Model driven security for inter-organizational work
Exemplary and complete object interaction descrip
https://scholar.google.at/citations?user=wjWOdgU
PhD and habilitati associate professorSoftware Testing Ten principles for living models-a manifesto of cha
Michael.Felderer@uibk.ac.at
guest professor at Software Process A taxonomy of risk-based testingM Felderer, I Schie
Empirical SoftwareThe need for multivocal literature reviews in softw
Security Testing Naming the pain in requirements engineeringDM F
Software Quality Hybrid software and system development in practi
Model-based security testing: a taxonomy and syst
Security testing: A surveyM Felderer, M Büchler, M
A classification for model-based security testingM
Integrating risk-based testing in industrial test proc
Integrating manual and automatic risk assessment
Querying UML models using OCL and Prolog: A per
A multiple case study on risk-based testing in indus
Research challenges of industry 4.0 for quality man
Towards a model based security testing approach o
A survey on software testabilityV Garousi, M Felde
Anomaly detection in the cloud: Detecting security
Concepts for model-based requirements testing of
A systematic classification of security regression te
Using defect taxonomies to improve the maturity o
Towards adaptive test code generation for service
https://scholar.google.at/citations?user=4kwCpCcA
dieter.fensel@sti2.at
Habilitation in Applied Computer Science at the UniversityAof Semantically
Karlsruhe, Faculty
EnElwinofLuis
Economics.
Huaman Quispe, Inst
Dr. rer. pol. (Doctorate in Political Science) at the University
Semantic
of Karlsruhe,
Web Ser
Faculty of Economic
Oleksandra Science
Panasiuk, Institut fue
Semantic Web Serv Boran Balci, Institut fuer Informa
Semantic Web SerZaenal Akbar, Institut fuer Inform
Mediation06 2008 Elias Kärle, Institut fuer Informat
Semantically EnaUmutcan Simsek, Institut fuer Inf
Foreword12 2007Ioanis Stavrakantonakis, Institut f
Semantic Web SerAntonio J. Roa-Valverde, Semant
Semantic Web SerJacek Kopecky, Semantic Techno
Semantic Web SerElmar Peter Wach, Semantic Tech
Ontology DefinitiMick Kerrigan, Semantic Technol
Semantic AspectsReto Krummenacher, Semantic Te
Situation and PerIoan Toma, Semantic Technology
Representing GeoTobias Bürger, Semantic Technolo
Defining TourismDumitru Roman, Semantic Techn
Annotation basedFrancois Scharffe, Semantic Tech
semantify. it, a Katharina Siorpaes, Semantic Tec
Enabling Analysi Jos de Bruijn, Semantic Technolo
Complete Semanti Michael Stollberg, Semantic Tech
Domain Specific Sinuhé Arroyo, Semantic Technol
An approach to mElena Paslaru Bontas Simperl, Se
Linked Open VocaAnna V. Zhdanova, Semantic Tec
Towards a VocabuBorys Omelayenko: Scalable Info
Towards a VocabuMichel Klein: Knowledge In Tran
Linked Open VocaGeorg Goebel: A Model of an Aus
Optimizing the PuHeiner Stuckenschmidt: Ontology
An approach for Bernd Schnur: WOM2: Wissensb
An approach for Annette ten Teije: Automated Con
Semantic Web: Schema.org in tourism 10 2016 - Jo
Formalizing the Austrian Procedure Catalogue: A 4
Formalizing the Austrian Procedure Catalogue: A 4
Enabling Customers Engagement and Collaboration
Information Systems for Enhancing Social Experien
PSMs in a Global Networked Age 11 2009 - Cambri
Modeling Semantic Web Services with the Web Se
Toward a Service Web: Integrating the Semantic W
SESA: Emerging Technology for Service-Centric Env
Discovery in Grid and Web Services Environments:
Semantically-enabled Service Oriented Architectur
https://www.sti-innsbruck.at/results/publications?
anna.fensel@sti2.at Big Data Analysis04 2016 - Springer International P

Semantics for Energy Efficiency in Smart Home Env
Semantic Web in Ubiquitous Mobile Communicatio
Semantic Community Portals09 2007 - IGI Global
A Genealogy and Classification of Rights Expression
Enabling Analysis of User Engagements Across Mu
A European research roadmap for optimizing socie
Data aggregation, fusion and recommendations fo
Enabling Smart Data Services for Behavioural Chan
A Semantic Approach towards Implementing Energ
Towards a Vocabulary Terms Discovery Assistant 09
Towards a Vocabulary Terms Discovery Assistant 09
Linked Open Vocabulary Ranking and Terms Discov
Linked Open Vocabulary Recommendation based o
Bringing Online Visibility to Hotels with Schema.or
Why Are There More Hotels in Tyrol than in Austria
Schema.org Usage for Hotels: an Analysis Based on
Semantics 2017 Workshops: Proceedings of Works
On the Move to Meaningful Internet Systems: OTM
Proceedings of the 12th International Conference
Selecting Ontologies and Publishing Data of Electri
Personal Identification and Collaborations: Knowle
Providing Personalized Energy Management and A
Auf dem Weg zu semantischen APIs für Forschung
Contributing to Appliances’ Energy Efficiency with
Multi-platform mobile service creation: increasing
Energy consumption monitoring of Smart grid base
A Lightweight Convergent Personal Mobile Service
On the Application of Big Data in Future Large Scal
Structuring clinical workflows for diabetes care - A
Enabling Customers Engagement and Collaboration
End User Interfaces for Energy Efficient Semantical
A lightweight convergent personal mobile service d
SESAME-S: Semantic Smart Home System for Energ
Information Systems for Enhancing Social Experien
https://www.sti-innsbruck.at/results/publications?
guenther.specht@uibk.ac.at Professor at Department of Computer BS enjamin Murauer, Michael Tschuggnall and Günth
M Kestemont, M Tschuggnall, E Stamatatos, W Dae
Robert Binna, Eva Zangerle, Martin Pichl, Günther
Benjamin Murauer and Günther Specht: Detecting
Eva Zangerle, Michael Tschuggnall, Stefan Wurzing
Günther Specht: Die Forschungsgruppe Datenbank
Günther Specht and Rainer Breuss: Der freeBIM M
Eva Zangerle, Michael Tschuggnall, Stefan Wurzing
Martin Pichl, Eva Zangerle, Günther Specht and Ma
Doris Silbernagl, Nikolaus Krismer, Nikolaus Augste
Benjamin Murauer, Maximilian Mayerl, Michael Ts
Nikolaus Krismer, Doris Silbernagl, Günther Specht
Michael Tschuggnall, Efstathios Stamatatos, Ben Ve
Martin Pichl, Eva Zangerle and Günther Specht: Im
Benjamin Murauer, Eva Zangerle, and Günther Spe
Martin Pichl, Eva Zangerle and Günther Specht: Un
Efstathios Stamatatos, Michael Tschuggnall, Ben Ve
Paolo Rosso, Francisco Rangel, Martin Potthast, Efs
Michael Tschuggnall, Günther Specht and Christian
Eva Zangerle, Georg Schmidhammer and Günther
https://dbis-informatik.uibk.ac.at/specht?page=1
Reinforcement Learning of Theorem Proving.
cezary.kaliszyk@uibk.ac.at assoc. Prof., CL group, University of Innsbruck
NeurIPS
Hammer2018.for Coq: Automation for Dependent Type
and part time adjunct, MIM, UniversityJournal
Semantics Automated
of Warsaw
of Reasoning,
of Mizar as an 61(1-4).Logic.
Isabelle Object pp. 423‒
Journal
Aligningof Automated
Concepts Reasoning.
across Online Libraries.
Proof Assistant first, 2018
J. Symbolic Computation. Online first, 2018.
http://cl-informatik.uibk.ac.at/cek/
Cynthia Kop, Aart Middeldorp, and Thomas Sterna
aart.middeldorp@uibk.ac.at Professor Logical
Akihisa Methods in Computer
Yamada, Sarah Winkler,Science 13(1:6), pp.
Nao Hirokawa, and
Theory and Practice of Logic Programming
Bertram Felgenhauer, Aart Middeldorp, Harald Zan 16(2), p
ACM Transactions on Computational Logic
Harald Zankl, Sarah Winkler, and Aart Middeldorp_ 15(2:14
Journal of Symbolic
Harald Zankl, BertramComputation
Felgenhauer, 69,and
pp.Aart
129 Midd
– 158
Journal
FriedrichofNeurauter
Automated andReasoning 54(2), pp. 101 – 1
Aart Middeldorp_x000D_
Logical Methods
Sarah Winkler, in Computer
Haruhiko Sato, Science 10(3:22), pp
Aart Middeldorp, an
Journal of Automated Reasoning
Nao Hirokawa, Aart Middeldorp, and Harald50(3), pp. 317 –3
Zankl_
Journal of Automated
Nao Hirokawa and AartReasoning 50(3), pp. 279 – 3
Middeldorp_x000D_
Journal
Annals of ofMathematics
Automated Reasoning 47(4),
and Artificial pp. 481 –55
Intelligence
pp. 87 –Korp
Martin 108,and
2009Aart Middeldorp_x000D_
Information
Harald Zankl, NaoComputation
and Hirokawa, and 207(11), pp. 1259 –
Aart Middeldorp_
Journal of Automated
IEICI Transactions Reasoning 43(2),
on Information pp. 173 – 2
and Systems_x00
E92-D(2),
Nao Hirokawa pp. 220
and–Aart
234,Middeldorp_x000D_
2009
Information
Nao Hirokawa and
andComputation 205(4), pp. 474 – 51
Information and Computation 199(1,2), pp. 172 – 1
Irène Durand and Aart Middeldorp_x000D_
Information
Jürgen Giesl andand Computation 196(2), pp. 95 – 126
Journal of Functional
Alfons Geser, Programming
Aart Middeldorp, Enno14(4), pp. 379a
Ohlebusch,
Information
Alfons Geser,and AartComputation
Middeldorp,178(1), pp. 132 – 14
Enno Ohlebusch, a
Information and Computation 178(1),
Aart Middeldorp, Taro Suzuki, and Mohamed pp. 101Ham
– 13
Journal of Functional
Aart Middeldorp and and Logic
Hitoshi Programming 2002
Ohsaki_x000D_
Acta Informatica
and Aart 36(12), pp. 1007 – 1029, 2000
Middeldorp_x000D_
Theoretical
Aart MiddeldorpComputer ScienceOkui_x000D_
and Satoshi 236(1,2), pp. 209 –
Journal of Symbolic Computation
Aart Middeldorp and Hans Zantema_x000D_ 25(6), pp. 733 –
Theoretical Computer
Aart Middeldorp, Science
Satoshi Okui,175(1), pp. 127
and Tetsuo – 15
Ida_x00
Theoretical
Sergio AntoyComputer
and Aart Science 167(1,2), pp. 95 – 1
Middeldorp_x000D_
Theoretical
Aart MiddeldorpComputer Science
and Hans 165(1), pp. 75 – 95,
Zantema_x000D_
Bulletin of the Section of Logic
Applicable Algebra in Engineering, 24(1), pp. 31 – 36, 1
Communication
pp.
Aart115 – 128, 1995
Middeldorp_x000D_
Journal
Applicableof Symbolic
Algebra inComputation
Engineering,17, pp. 3 – 21, 19
Communication
pp.
Jan 213
Willem– 253, 1994
Klop, Aart Middeldorp, Yoshihito Toyam
Information Processing
Aart Middeldorp_x000D_ Letters 49, pp. 101 – 109, 1
Information and Computation 104(1), pp. 110 – 15
Journal
Jan Willemof Symbolic
Klop andComputation 15, pp. 331 – 348
Journal of Symbolic Computation 12, pp. 161 – 195
http://cl-informatik.uibk.ac.at/users/ami/research
Partly supported by P 25781-N15,_x000D_
georg.moser@uibk.ac.at
PhD in Computer ScAssociate ProfessorAutomated Reasonin
thePartly
final supported
version is available here.
by P 25781-N15,_x000D_
the final
Partly version isbyavailable
supported here.
P 25781-N15,_x000D_
thepages
final 241-256,
version is2015._x000D_
available here.
Partly
Logicalsupported
Methods in byComputer
P 25781-N15.
Science 9(4), pp. 1 –
Partly supported by I 603-N15.
Proceedings of the 21st International Conference o
Partly supported by P 20133-N18.
© Springer_x000D_
Partly supported
Proof Theory by P 20133-N18;
at Work: Complexity the final of
Analysis publica
Term
Georg Moser, Habilitation Thesis. University
Proceedings of the Annual Conference on Foundati of Inn
Partly supported by P 20133-N18.
© Springer_x000D_
Partly supported
© Oxford by PPress_x000D_
University 20133-N18; the final publica
Partly supported by I 603-N15; the final publication
© Elsevier_x000D_
Supported by HPMF-CT-2002-015777; the final pub
© Springer_x000D_
The final publication is available here.
© Springer_x000D_
Partly supported by HPMF-CT-2002-015777; the fin
A Formalization of Termination Techniques in Isa
rene._mylastname_@uibk.ac.at Associate Professornteractive theorem proving
January
October 2013.
2007.University
(IsaFoR /Available of Innsbruck,
CeTA, certification
as Austria.
Technicalproblem
Report form
AIB
A Verified Implementation of Algebraic Numbersfixe
Termination analysis In this
(tools revised
AProVE version
and some
TTT2, typos
and have
termination beenportalin
Term rewriting Journal of Automated Reasoning, online
(The final publication is available at_x000D_ first, 2018
SAT encodings Springer)confluence, and termination analysis
Reachability,
Information
A Frameworkand forComputation, 253(3):467-483,
Developing Stand-Alone 20
Certifier
Electronic Notes in Theoretical
(The final publication is availableComputer
at_x000D_ Science,
by www.springerlink.com)
permission of ACM for your personal use. Not
version
Automatedwas published
Termination in Proofs
ACM TOPLAS,
for Logic33(2):7,
Program 2
ACM Transactions on
Preliminary version_x000D_ Computational Logic 11(1):1-
(The
(The final publication
original publication is available at www.springerl
is available at _x000D_
www.springerlink.com)
(The original publication is available at _x000D_
In Proceedings of the 22nd International Confere
EPiC Series in Computing
In Proceedings of the 9th 57, pages 164Conferen
International – 180, 20
Lecture Notes inofComputer
In Proceedings the 7th ACM Science
SIGPLAN 10895, pages
Conferen
Inpages 2-13, 2018.
Proceedings of the 14th International Symposiu
Lecture
In Proceedings ofComputer
Notes in Science 10483,
the 26th International pages
Conferen
Lecture Notes in Computer Science
In Proceedings of the 6th ACM SIGPLAN Conferen 10395, pages
pages 17-29, 2017.
In Proceedings of the 25th EACSL Annual Confere
Leibniz International Proceedings
Interactive Theorem in Proving
Informatics(ITP 6'
In Proceedings of the 5th Lecture
ACMNotes
SIGPLAN in Computer
Conferen
pages 88-99, 2016.
In Proceedings of the 10th International Symposiu
Lecture NotesTheorem
Interactive in Artificial Intelligence
Proving 9322, pag
(ITP '15),_x000D
Lecture
Rewriting Notes in and
Techniques Computer Science(RTA
Applications 9236, pa
'15),_
Leibniz Notes
Lecture International Proceedings
in Computer Science, in 8471,
Informatics
pages 32
© Springer-Verlag.
In Proceedings of the 11th International Workshop
Electronic
Lecture Notes Proceedings
in Computer in Theoretical
Science, 8562,Computer
pagesSc 1
© Springer-Verlag.
Lecture Notes in Computer Science 8560 (Advance
© Springer-Verlag.
Lecture Notes in Computer Science 8370, pages 3
Springer-Verlag.
Springer-Verlag.
Rewriting Techniques and Applications (RTA '13),_x
Leibniz International
Lecture Notes in Computer Proceedings
Science in7406,
Informatics
pages 212
Springer-Verlag.
Leibniz
LectureInternational Proceedings
Notes in Artificial in Informatics
Intelligence 6989, page 15
Springer-Verlag.
Springer-Verlag.
In Proceedings of theProceedings
International in Workshop
Informaticson_ 10
Strategies in Rewriting, Proving, and
Lecture Notes in Computer Science 6247, pages 5Programming
Springer-Verlag.
Cambridge University Press._x000D_
Extended version appeared as Technical Report A
Theorem Proceedings
Proving in Higher in Informatics
Order Logics (TPHOLs6:'0
Springer-Verlag.
Springer-Verlag._x000D_
All proofs
Current are available
Trends in Theory in and
this Practice
extendedofversion.
Compute
Spindleruv Mlyn, Czech
Springer-Verlag._x000D_ Republic. Lecture Notes in
Extended
Rewriting version available
Techniques as Technical(RTA
and Applications Report AIB
'08), H
Springer-Verlag
Springer-Verlag_x000D_
Extended version available as Technical Report AIB
Elsevier. _x000D_
Original
pages publication
267-282, 2007.available
©_x000D_ at Science Direct.
Springer-Verlag
In Proceedings of the 21st Conference on Automa
Lectureand
Theory Notes in Artificial
Applications of Intelligence
Satisfiability4603, page
Testing (SA
Lecture Notes in Computer Science 4501,
Synthesis and Transformation (LOPSTR '06), Venice pages 34
Notes
PhnominPenh,
Computer Science
Cambodia, 4407,Notes
Lecture pagesin 177-193,
Artificial2
Springer-Verlag
Reasoning (IJCAR '06), Seattle, USA, Lecture_x000D
Notes in Artificial
Techniques Intelligence(RTA
and Applications 4130, pages
'06), 281-286
Seattle, USA
Notes in Computer Science
pages 216-231, 2005. ©_x000D_ 4098, pages 297-312, 2
Springer-Verlag
pages 301-331, 2005. ©_x000D_
Springer-Verlag
©_x000D_
Springer-Verlag
©_x000D_
Springer-Verlag
©Springer-Verlag_x000D_
Karsten.Boehm@fh-kufstein.ac.at
studied Computer Sc
04 / 2001-01 / 2003: Technical
IT-based Böhm, K .;atSalvatore,
project manager
knowledge TextTech P .: Support Management and
Information
01 / 2003-12 / 2005Tools to support i Böhm, K .; Huber, H .: Task and V
Since 2006: university teacher, researcBöhm, K .; Steinbacher, H.-P .: St
Böhm, K .; Huber, H .: Task and V
Böhm, K., Steinbacher, H.-P., Salv
Böhm, K .; Delp, M .: Information P
Delp, M .; Böhm, K .: Individual Travelers in Wolfga
Böhm, K .; Salvatore, P .: Supporting Knowledge Int
Böhm, K .; Huber, H .: Task and Value Oriented Sem
Böhm, K .; Steinbacher, H.-P .: Structured supporte
Böhm, K .; Huber, H .: Task and Value Oriented Sem
Böhm, K .: Coherence and Coupling of Conceptual
Böhm, K: Mobilize the fourth factor of production.
Härtwig, J .; Böhm, K .: A Process Framework for an
Böhm, K .; Delp, M., Engelbach, W .: Systematic Kn
Böhm, K .; Hollaus, B .: Support of the requirement
Engelbach, W .; Höhn, R .; Weichardt, F .; Böhm, K
As part of a symposium Mag. (FH) Sara Neubauer g
Prof. (FH) Manfred Reitsamer, who has been an ex
Under this motto, the 4th edition of the event seri
Michael.Kohlegger@fh-kufstein.ac.at Vice Director of Studies Bachelor Web Business & Technology, Master Da
Mario.Doeller@fh-kufstein.ac.at
PhD from the Univer
2001 -2004: Research Associate, Univer Hatem Mousselly-Sergieh, Mario Dö
2004 -2006: Research representative Hatem
October 1995 - Sept Mousselly
of the company Sergieh, Daniel
CenterPoint GmbHWatzinger, Bastia
(Villach, Austria
November 2004: Dis
2006 -2011: Temporary Academic Counci Hatem Mousselly Sergieh, Elöd Egye
January 2012: Habil2011 -2012: Substitute Professor of MeHatem Mousselly Sergieh, Elöd Egyed-Zsigmond, M
since October 2012: Professor (FH) fo Florian Stegmaier, Kai Schlegel, Sebastian Bayerl, M
since August 2012: Privatdozent at theHelene Schmolz,
University David Coquil und Mario Döller. In
of Passau
since April 2016: Rector (FH) of FH KufsHatem Mousselly Sergieh, Mario Döller, Elöd Egyed
Mario Döller, Florian Stegmaier, Simone Jans und H
Tilmann Rabl, Florian Stegmaier, Mario Döller und
Florian Stegmaier, Tobias Bürger, Mario Döller und
Mario Döller, David Coquil, Digital preservation: th
Mario Döller, Florian Stegmaier, Harald Kosch, Rub
Mario Döller, Günther Köckerandl, Simone Jans un
Hatem Mousselly-Sergieh, Elder Egyed-Zsigmond,
Mario Döller, Ruben Tous, Frederik Temmermans,
Kai Schlegel, Florian Stegmaier, Sebastian Bayerl, H
Florian Stegmaier, Werner Bailer, Tobias citizens, M
Frederik Temmermans, Mario Döller, Iris Vanhame
Marco Anisetti, Claudio A. Ardagna, Valerio Belland
Mario Döller, Ruben Tous, Matthias Gruhne, Kyoun
As part of a symposium Mag. (FH) Sara Neubauer g
Prof. (FH) Manfred Reitsamer, who has been an ex
Under this motto, the 4th edition of the event seri
Projects
CONCERT (A Context-Adaptive Content Ecosystem Under Uncertainty), funded by the Austrian Science Fund (FWF)
Karl Popper Kolleg (Doctoral School) NAV (Networked Autonomous Aerial Vehicles), topic “Optimized Data Transmission”
BRIDGE (Bridging Resources and Agencies in Large-Scale Emergency Management), funded by the EC in FP 7 as an Integrated P
SINUS (Self-organizing Intelligent Network of UAVs), funded by Lakeside Labs
ALICANTE (Media Ecosystem Deployment through Ubiquitous Content-Aware Network Environments), funded by the EC in FP7
cDrones (Cooperative Microdrones), funded by Lakeside Labs
P2P-Next (Next Generation Peer-to-Peer Content Delivery Platform), funded by the EC in FP7 as an Integrated Project
INTERMEDIA (Interactive Media with Personal Networked Devices), funded by the EC in FP6 as a Network of Excellence
SCALNET (Scalable Video Coding Impact on Networks), granted by CELTIC / SCALIPTV (Scalable Video-based Pr
ASSSV (Adaptive Streaming of Wavelet-based Secure Scalable Video), funded by the Austrian Science Fund (FWF)
ENTHRONE II (End-to-End QoS through Integrated Management of Content, Networks and Terminals), funded by the EC in FP6
DANAE (Dynamic and distributed Adaptation of scalable multimedia coNtent in a context-Aware Environment), funded by the E
ADMITS (Adaptation in Distributed Multimedia IT Systems)
MiNEMA (Middleware for Network Eccentric and Mobile Applications), funded by ESF
Contributions to MPEG standardization: MPEG-21 Digital Item Adaptation (Pt. 7) and Binary Format (Pt. 16)
SQUASH: Surgical Quality Assessment in Gynecologic Laparoscopy (2019-2023)

OVID: Relevance Detection in Ophthalmic Surgery Videos (2018-2021)
KISMET: Knowledge & Information Sharing in Medical Expert Teams (2015-2019)
EndoVIP-2: Endoscopic Video Processing 2 (2015-2018)
SQUASH-PREP: Surgical Quality Assessment in Gynecologic Laparoscopy (2016)
NGVB: Next-Generation Video Browsing (2012-2016)
CODE-MM: Community of Domain Experts in Medical Multimedia (2012-2015)
r A., Kletz S.,EndoVIP-1:
Primus M. Endoscopic Video
J., Schöffmann K.: Processing (2012-2015)
LSC '18 Proceedings of the 2018 ACM Workshop on The Lifelog Search Challenge New York, NY: A
k
/cris/search/index?category=publications&crisPerson=0_0f4dc44845ae29440145ae2ffe43471f_employee_Klaus%20Sch%C3%B6ffmann&c
Media Ecosystem Deployment through Ubiquitous Content-Aware Network Environments (FP7/ICT-248652 “ALICANTE”)
Mar 2010 – Present
ATHENA (2019-2021/27): Adaptive Streaming over HTTP and Emerging Networked Multimedia Services; https://athena.itec.aa
ICoSOLE (STREP, 10/2013 – 09/2016, with Bitmovin): Immersive Coverage of Spatially Outspread Live Events, http://icosole.e
SocialSensor (IP, 10/2011 – 10/2014): Framework for enabling real-time multimedia indexing and search in the Social Web, http
QUALINET (COST ICT Action IC1003; 11/2010 – 11/2014): European Network on Quality of Experience in Multimedia Systems
P2P-Next (IP; 01/2008 – 12/2011): Next Generation Peer-to-Peer Content Delivery Platform, http://www.p2pnext.eu/.
ENTHRONE II (IP; 09/2006 – 11/2008): “End-to-End QoS through Integrated Management of Content, Networks and Terminals
DANAE (STREP; 01/2004 – 06/2006): “Dynamic and distributed Adaptation of scalable multimedia coNtent in a context-Aware
PROMETHEUS (FFG-Basisprogramm, 04/2017 – 03/2019, with Bitmovin): Next Generation Video Streaming
AdvUHD-DASH (FFG-Basisprogramm, 08/2014 – 01/2016, with Bitmovin): Advanced Ultra High-Definition Dynamic Adaptive St
mmunication.blogspot.com/p/publications.html
Relevance Detection of Ophthalmic Surgery Videos (OVID)

HUBUSKA
Development of a software component for adaptive streaming of videos
Development of a software prototype for content-based search in video material for Distance Education
CORET
urt am Wörthersee: Alpen-Adria-University Klagenfurt, 05.2017, 200 pp.
published)
O .: In: Q. (authorship)
Tian, N. Sebe, G. Qi, B. Huet, R. Hong, X. Liu (ed.): MultiMedia Modeling - 22nd International Conference, MMM 2016, Miami, F
ed work
O .: In: L. Cappellato, N. Ferro, G. Jones, E. San Juan (ed.): CLEF2015 Working Notes Aachen: CEUR Workshop Proceedings (CEUR-WS.org),
ed work
/cris/search/index?category=publications
DigiTrans 4.0 (01.09.2016 - 30.11.2018)

Innovationslehrgang
InteGra 4.0 (01.10.2015zur -Gestaltung
30.09.2016)der Digitalen Transformation in der Produktentwicklung und Produktion (DigiTrans 4.0)
InteGra 4.0 -2015
ebInterface Horizontal and Vertical
(01.01.2015 Interface Integration 4.0
- 31.12.2017)
ebInterface 2015 - electronic
MetaMoV (01.04.2014 invoicing
- 31.10.2014)
Metainformation im modellbasierten
ebInterface 2013 (01.01.2013 Variantenmanagement
- 28.02.2014)
ebInterface 2013 - electronic
REA-ERP (01.11.2012 - 30.04.2013)invoicing
Feasibility Study: ERP
WIN (01.07.2012 System Based on the Resource-Event-Agent (REA) Ontology
- 30.06.2014)
Web of Needs Infrastructure
https://www.big.tuwien.ac.at/people/chuemer/?area=projects
SysSec (Network of Excellence for Networking Systems Security Research in Europe)

IoT6 - Universal Integration of the Internet of Things through IPv6-based Service Oriented Architecture enabling heterogeneou
Cyber-Physical Production Systems
Environmental Informatics
und Lösungen";
2005,
stem"; ISBN: 3-211-21136-5; 124 S.
München, 2000, ISBN: 3-89578-175-4; 319 S.
ng";
, ISBN: 3-211-82999-7; 270 S.
ac.at/publist.php?nojava=0&perstissid=119612&ext=1&lang=1
LogiCS doctoral program

HINT: Heterogeneous Information Integration
FAIR: Fixed Parameter Tractability in Artificial Intelligence and Reasoning
SEE: SPARQL EVALUATION AND EXTENSIONS
Sodi - Service-Oriented Data Integration
Mathematical
-Oriented Data Integration:Logic in Computer
Requirements, Science
State of the Art and Open Challenges";
Volume 41 (2012), Number 1; S. 11 - 19.
tion in the Context of Design Theory";
he British HCI
Computer Group,
Game 56 (2003).
Culture, http://www.eludamos.org/index.php/eludamos/issue/view/4/showToc (2008), Vol 2 Issue 1; 22 S.
Social Impact Games";
2015),
signing:43; 12 S.Playful Participation to Create Learning Games together with High School Students";
Using
ciplinary
ies Journal of Cultural
and Interaction, Participation,
2(4) (2018), 77; 13 S. 3 (2016), 1.
urther Engagement with Physical Activity";
nArchitectures, 36 (2018),Systems,
Advances in Intelligent S. 43 - 57.
7 (2014), 3&4; S. 493 - 506.
ombinatorics, 31 (2010), 2; S. 502 - 516.
Constraints Over Chains";
Systems, 42 (2008),
onfigurations 2; S.and
via UML 239Integer
- 255. Linear Programming";
sf for
Mass Customisation
Teaching (eingeladen),
Formal Software 3 (2010), 4; S. 351 - 367.
Verification";
mputing, 21 (2009),
class diagrams with3;multiplicity
S. 293 - 301.and uniqueness constraints";
Modeling, 2012
Propositional (2012), 1 S.
Models";
earch Repository, 1502.06761 (2015), abs/1502.06761; 28 S.
TOPIC
012 ACM International Conference on Support Group Work, GROUP '12 ";
ordination in ACM
dings of the International
the Context Conference
of Informal Care ", on Support Group Work ", Book Series Editor: H. Tellioglu; edited by: ACM; ACM, 2012, ISBN: 9
2014 Proceedings of the ACM GROUP ", Book Series Editor: H. Tellioglu, edited by: ACM; ACM, Institute for Design and Effect Research, Vien
s in the Sensitive Research setting of Informal Caregiving. A Case Study ";
active Media (2018),
lex Coordination Volumein17,
Processes IssueCare
Health 2, pp.
",
ofGIT
Information Systems, 11 (2000), 1.
Society for Information and Communication Technology (invited), Homo Digitalis (2018).
Research Group eCTRL of the Fondazione Bruno Kessler in Trento

Dietorecs
harmonize
EC3 e-commerce competence center
Vienna PhD School of Informatics
ogy and Tourism - A Challenging Relationship ";
York, 1999, ISBN: 3-211-83274-2; 323
zauer, W., Kryvinska, N. & Strauss, C. , 2012 , First International Workshop on Inter-Clouds and Collective Intelligence (iCCI-2012), in conjunc
Contribution
C. & Polaschek,to M.
conference proceedings
, 13 Dec 2011 , Proceedings - 2011 International Conference on Emerging Intelligent Data and Web Technologies, EIDW
Contribution to conference proceedings
C. & Polaschek, M. , 2011 , the First International Workshop on Frontiers in Service Transformation and Innovation (FSTI-2011), in conjuncti
Contribution
Polaschek, M.to conference
, Schikuta, E. &proceedings
Wanek, H. , 2008 , AACE World Conference on Educational Multimedia, Hypermedia & Telecommunications
, Kotsis, G., Polaschek, M. & Strauss, C. , 2006 , in: European Journal of Operational Research. 175 , 3 , p. 1798-1817 20 p.
cle
Polaschek, ML , Schikuta, E. & Vinek, G., 1991 , Computer Science for Environmental Protection. London, UK: Springer , pp. 108-117
, A., Exl, L., Kühnel, J., Mehofer, E., Sepehri-Amin, H., Ohkubo, T., Hono, K. & Schrefl, T., Sep 2018, in : Scripta Materialia. 154, S. 253-258
ift › Artikel
Hudec, M., 1 Feb 2016, 24th Euromicro International Conference on Parallel, Distributed and Network-based Processing.
ag1 inSepKonferenzband
2015, 27th International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD 2015.
agJanciak,
in Konferenzband
I. & Mehofer, E., 1 Feb 2014, in : Future Generation Computer Systems: the international journal of grid computing. 31, S. 12-27 1
ift › Artikel
M., Quinlan, D. & Martino, B. D., 2013, in : International Journal of Computational Science and Engineering. 8, 1, S. 1-77
ift › Artikel
er, E., Quinlan, D. & Schordan, M., 2012, in : International Journal of High Performance Computing Applications (S A H P C). 26, 3, S. 189-191
ift › Editorial
, 2012, Parallel, Distributed and Network-Based Processing (PDP), 2012 20th Euromicro International Conference on Computing & Processi
ag in Konferenzband
er, E., Quinlan, D. & Schordan, M., 2012, in : International Journal of High Performance Computing Applications (S A H P C).
ift
M., › Artikel
Quinlan, D. & Di Martino, B., 2011, 50 S.
ung › Sonstiges
at/portal/de/persons/eduard-mehofer(88a625c7-cda9-4d39-8301-9c3f45ddb497)/publications.html
us Levonyak, Wilfried Gansterer
erence
us on High
Levonyak, Performance
Wilfried Computing, Networking, Storage, and Analysis (2018, 30), 16.11.2018, Dallas, US (2018)
Gansterer
Workshop on Fault
ansterer, Elias Tolerance for HPC at eXtreme Scale (FTXS), 16 Nov 2018, Dallas (2018)
Wimmer
nal of High Performance Computing Applications, ISSN 10943420 SAGE Publishing (2018)
l E Prikopa, Wilfried Gansterer
Distributed
ied GanstererComputing, 104 pp. 179-190 ISSN 0743-7315 (2017)
ary Computation Conference 2016 (GECCO '16), July 20-24 2016, Denver, USA (2016)
ie.ac.at/fakultaet/leitung/dekaninnen/person/82687/
en Moller
mposium on Big Data
Torsten Moeller, Visual
Michael and Immersive
Sedlmair, R. MikeAnalytics
Kirby (BDVA), Oct, 17-19 2018, Konstanz, Germany (2018)
oVis // Computer
Torsten Graphics
Moller, Michael Forum: (Journal of the Eurographics Association), 37 (3). pp. 229-240 ISSN 0167-7055 Computer graphics forum
Sedlmair
f Transportation,
Shahrzad ISSN
Afroozeh, 2207-6433
Michael (2018)
Sedlmair, Torsten Moller
apers, 4-8 June, 2018, Brno,
n Kamalzadeh, Torsten Moller Czech Republic (2018)
17 CHI
reit, Conference
Thomas on Human
Torsney-Weir, Factors
Florian at Computing Systems,
Spechtenhauser, May 6-11,
Torsten Moller, 2017,
Harald Colorado Convention Center, Denver, CO (2017)
Piringer
isualization and Torsten
orenz Linhardt, Computer Graphics,
Moller, Harald23Piringer
(1). pp. 611-620 ISSN 1077-2626 (2017)
isualization and Computer Graphics, ISSN 1077-2626 (2017)
a Schindlerova, Claudia Plant
nnon
e Knowledge Discovery
Hinterhauser, and Data Mining (PAKDD) 2018, 14-17 April, Macau, China (2019)
Claudia Plant
ce on Extending
Müller, Database
Claudia Plant, Technology
Christian Böhm (EDBT) 2019, 26-29, March, Lisbon, Portugal (2019)
rence
Norbert Braendle, Claudia Plant Data Mining (PAKDD) 2019, 14-17 April, Macau, China (2019)
on Knowledge Discovery and
ference
audia on Big Knowledge 2018, 17-18 Nov 2018, Singapore (2018)
Plant
ference on Data Mining 2018 (ICDM), 17-20 Nov 2018, Singapore (2018)
audia Plant
e,ference
ClaudiaonPlant,
Big Data Analytics
Christian Böhmand Knowledge Discovery - DaWaK 2018, 03-06 Sep 2018, Regensburg, Germany (2018)
h ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2018, London, UK, August 19-23, 2018, 19 - 23 Aug
as Braud-Santoni
ud Ebrahimi
na Koenighofer
z.at/content/about_iaik/people/bloem_roderick/
a Kö, Christine Leitner, Alexander Prosser - "Technology-Enabled Innovation for Democracy, Government and Governance" (Springer - ISBN
ard Posch - "STORK - Technical Approach and Privacy book title: Digital Enlightenment Yearbook 2012"
vo Sumelong, Herbert Leitold - "Middleware Architecture for Cross-Border Identification and Authentication" - Journal of information assur
Teufl, Herbert Leitold - "Mobile qualifizierte Signaturen in Europa" - Datenschutz und Datensicherheit (Volume: )
ard Posch, Thomas Rössler - "Reconstruction of electronic signatures from eDocument printouts" - Computers & security (Volume: 29)
nische Aspekte des E-Voting" - Journal für Rechtspolitik (Volume: 12)
z.at/content/about_iaik/people/leitold_herbert/
wattendorfer - "A modular and flexible identity management architecture for national eID solutions"
wattendorfer, Armin Hutzler - "A browser-based JavaScript Solution for easy Smart Card-Access to European eIDs" (Note: to appear)
dular and Flexible Attribute Mapping Service to Meet National Requirements in Cross-Border eID Federations" - 13th International Conferen
mas Lenz, Konrad Lanz - "Trust-service Status List based Signature Verification"
ranacher, Thomas Zefferer - "Towards a Modular Architecture for Adaptable Signature-Verification Tools" - Proceedings of the 9th Internatio
n Golser, Thomas Lenz - "Towards Mobile Government: Verification of Electronic Signatures on Smartphones" - Technology-Enabled Innova
z.at/content/about_iaik/people/lenz_thomas/
hilling, Roderick Bloem, Stefan Mangard:
Verification
lasha of Error
Moonsamy, Masking
Thomas Robustness
Korak, in Arithmetically Encoded Programs. VMCAI 2019: 183-204
Stefan Mangard:
on of Side-Channel
roach. Attacks:
J. Cryptographic A Case Study
Engineering 8(2): for Mobile
109-124 Devices. IEEE Communications Surveys and Tutorials 20(1): 465-488 (2018)
(2018)
Maria Eichlseder, Thomas Korak, Stefan Mangard, Florian Mendel, Robert Primas:
tive FaultPascal
Werner, Inductions on Stefan
Nasahl, Symmetric Cryptography. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018(3): 547-572 (2018)
Mangard:
irection - Securing Memory Accesses in a Faulty World. ACSAC 2018: 595-604
e/pers/hd/m/Mangard:Stefan
Project: Research project

https://graz.pure.elsevier.com/en/projects/
is › Bachelor's Thesis
mistic Certified E-mail Protocol for the Current Internet E-mail Architecture" - IEEE Conference on Communications and Network Security (
Klaus Stranacher, Arne Tauber, Peter Reichstädter - "Cloud Computing in E-Government across Europe" - Technology-Enabled Innovation fo
Klaus Stranacher, Arne Tauber - "Towards a Federated Identity as a Service Model" - Technology-Enabled Innovation for Democracy, Govern
wattendorfer, Klaus Stranacher - "Elektronische Identität und Stellvertretung in Österreich" - D-A-CH Security 2013
wattendorfer, Arne Tauber - "A Secure and Confidential Javascript Crypto-Framework for Cloud Storage Applications" - IADIS International C
z.at/content/about_iaik/people/tauber_arne/
Engineering Sciences; Computer Sciences" at Graz University of Technology

Teufl, Thomas Zefferer - "WebCrySIL - Web Cryptographic Service Interoperability Layer" - 11th International Conference on Web Informatio
wards a New Generation of Mobile Government" - 13th International Conference on e-Society 2015
s Zefferer - "Paving the Way for Security in Cloud-Based Mobile Augmentation Systems" - 3rd IEEE International Conference on Mobile Clou
r Teufl - "Leveraging the Adoption of Mobile eID and e-Signature Solutions in Europe" - Electronic Government and the Information System
z.at/content/about_iaik/people/zefferer_thomas/
HBP Human Brain Project (EU Flagship project)

Brain-i-Nets Novel Brain-Inspired Learning Paradigms for Large-Scale Neuronal Networks (Project coordinator; funded by the E
er, R. Legenstein, and Wolfgang Maass. Emergence of complex computational structures from chaotic n
in and W. Maass. Branch-specific plasticity enables self-organization of nonlinear computation in single
/institutes/igi/team/prof-legenstein/publications/
Hajek, D. Salaj, R. Legenstein, and W. Maass. Biologically inspired alternatives to backpropagation through time for learning in recurrent neu
ginger, D. Kappel, J. Partzsch, F. Neumärker, S. Höppner, W. Maass, S. B. Furber, R. Legenstein, and C. G. Mayr. Memory-efficient deep learn
s, W. Maass, C. H. Papadimitriou, A. Saberi, and S. Vempala. Smoothed analysis of discrete tensor decomposition and assemblies of neuron
ubramoney,
ss, R. Legenstein,
C. H. Papadimitriou, andand
S. S.W. Maass. Long
Vempala. Long short-term
term memorymemory anddensest
and the learning-to-learn
K-subgraphinproblem.
networksInofProc.
spiking neurons. 32nd
of Innovations ConferenceC
in Theoretical
at/people/maass/publications.html
osekany, Alexandra; Rosschger, Christoph; Koppensteiner, Gottfried; Pucher, Robert (2018) Person-Centered Learning using
cher, Robert (2015) Elements of the Learning Management Systems - Application, Benefits and Desires , in: Digital Media
weg, Gerd; Mandl, Thomas; Salzbrunn, Benedikt (2015) Optimizing higher education for the professional student. The exa
er, Robert; Schmöllebeck, Fritz (2015) How to Bring Your Own Device (BYOD) Concepts can Increase Learning Efficiency
Mense, Alexander; Election, Harald; Pucher, Robert (2011) Reducing the drop-out of a technical-oriented course by introd
ar, Michael; Mandl, Thomas; Holweg, Gerd; Schmöllebeck, Fritz (2011) Improving Didactics in Computer Science - The Exam
ner, Martin (2011) Project Based Learning in Computer Science , in: Procedia - Social and Behavioral Sciences, Volume 29,
auermann, Stefan; Gerbovics, Ferenc; Frohner, Matthias; Election, Harald; Pucher, Robert (2009) Healthy Interoperability: A
osekany, Alexandra; Motschnig, Renate; Kirchweger, Theresa; Pucher, Robert (2018) Impact of Game-Based Student Respon
osekany, Alexandra; Pucher, Robert; Motschnig, Renate (2018) Introducing a Game-Based Student Response System into
er, Robert; Schmöllebeck, Fritz; Ettl, Marlies (2017) Secondary Education Meets Tertiary Education - A Concept How to Mo
otschnig, Renate; Pucher, Robert (2017) Peer Review As A Tool For Person-Centered Learning: Computer Science Educa
Agnes; Ricci, Laura (2016) A double degree in "Computer Science" and "Software Engineering", supported by virtual m
weg, Gerd; Mandl, Thomas; Salzbrunn, Benedikt (2015) Optimizing Higher Education for the Professional Student - The Ex
brunn, Benedict; Schmöllebeck, Fritz (2015) User Experience and Usability Engineering Education in Computer Science
weg, Gerd; Salzbrunn, Benedict; Kollmitzer, Christian (2015) Mobile learning in traditional face to face courses in computer
her, Robert; Gollner, Helmut (2014) How to Teach Teaching Materials Can Help Students to Increase the Efficiency of Lea
Dolezal, Dominik; Winter, Veronica; Pucher, Robert (2014) Usability - Software companies still need to learn how to satisf
4) Robots Helps Students to Shelter Human Perception , in: Proceedings of the 5th International Conference on Intelligent S
m-wien.at/personal/robert-pucher/
kany, Alexandra; Rosschger, Christoph; Koppensteiner, Gottfried; Pucher, Robert (2018) Person-Centered Learning using the Peer Review M
osekany, Alexandra; Pucher, Robert; Motschnig, Renate (2018) Introducing a Game-Based Student Response System into
otschnig, Renate; Pucher, Robert (2017) Peer Review As A Tool For Person-Centered Learning: Computer Science Educa
lezal, Dominik; Salzbrunn, Benedict; Pucher, Robert (2014) The Challenge of Educating UX Professionals - How To Tailor t
lzbrunn, Benedict; Dolezal, Dominik; Pucher, Robert (2014) Persona Characteristics - To What Extent are Templates Suitab
brunn, Benedict; Winter, Veronica; Dolezal, Dominik (2014) Software Usability for Programmers - Lessons Learned from o
meiner, Karl; Pucher, Robert; Schmöllebeck, Fritz (2014) Just-in-time Learning - Can Online Courses Significantly Support
Dolezal, Dominik; Pucher, Robert (2013) User Experience Database: Student-Generated Content in Higher Education , in
; Hlavacs, Helmut (2015) Gaming and Entertainment Technologies for Inclusion , in: Proceedings of the 3rd International W
; Peters, Konrad; Unterbrunner, Andreas; Martinek, Daniel; Hlavacs, Helmut (2015) Feasibility of Physiotherapy Exercise Ca
mann, Alexander (2003) Vienna Cubes-Robocup F 180 Small Size Legue, Team , in: ÖGAI Journal / Austrian Society for Artif
Judge, George; Hofmann, Alexander (2017) Robotics peer-to-peer teaching summer school project with international stud
uk, Raphael; Bader, Markus; Hofmann, Alexander (2017) Design of an Autonomous Race Car Driver Formula (FSD) , in: OA
; Rubenzer, Sabrina; Richter, Georg (2015) Development of a multi-grade curriculum: project "READY" , in: Proceedings o
Tesar, Michael; Hofmann, Alexander (2011) Kindergarten Children Programming Robots: A First Attempt , in: In Proc .: Ste
Tesar, Michael; Hofmann, Alexander; Pucher, Robert; Schmöllebeck, Fritz (2011) New Role Models for IT Students to Improv
mann, Alexander (2011) Teaching with Projects Increases the Intrinsic Motivation to Learn -The RoboCup Project , in: Pro
er, Robert; Hofmann, Alexander (2010) The QUADRO project. Reasons for dropout rates and possibilities for reduction ,
m-wien.at/personal/alexander-hofmann/
ar, Michael; Mandl, Thomas; Holweg, Gerd; Schmöllebeck, Fritz (2011) Improving Didactics in Computer Science - The Exam
Mandl, Thomas; Reichel, Martin; Mayr, Winfried; Hofer, Christian; Kern, Helmut; Moser, Ewald (2008) Effects of functional ele
yerspeer, Martin; Reichel, Martin; Kern, Helmut; Hofer, Christian; Mayr, Winfried; Moser, Ewald (2008) Functional electrical st
tinek, John; Bijak, Manfred; Lanmüller, Hermann; Mayr, Winfried; Pichler, Markus (2010) 10th International Workshop on Fun
ar, Michael; Mandl, Thomas; Holweg, Gerd; Schmöllebeck, Fritz (2010) GEMIS and QUADRO - Two Projects to Improve Dida
er, Susanne; Pucher, Robert (2010) Gender Mainstreaming in Informatics Related Studies. An Experience Report , in: Pro
dl, Thomas; Mayr, Winfried; Rattay, Frank; Reichel, Martin (2009) Coupling Effects in the Bidomain Model of Functional Ele
tinek, John; Mayr, Winfried; Rattay, Frank; Reichel, Martin (2009) Towards a numerical model of Functional Electrical Stim
inek, John; Mandl, Thomas; Mayr, Winfried; Rattay, Frank (2007) Development of modeling functional electrical stimulatio
nse, Alexander; Merchant, christian; Never, Alexander; Gollner, Helmut (2009) Knowledge Preservation and Knowledge Tran
ucher, Robert; Election, Harald; Gollner, Helmut; Schmöllebeck, Fritz (2008) Personal PBL Experiences with Theoretical Com
mann, Alexander; Mense, Alexander; Election, Harald; Never, Alexander; Brezowar, Gabriela; Schmöllebeck, Fritz (2008) Are H
cher, Robert; Mense, Alexander; Schmöllebeck, Fritz; Hofmann, Alexander; Never, Alexander; Eckkrammer, Florian; Gollner, He
lection, Harald; Pucher, Robert; Never, Alexander; Hofmann, Alexander; Schmöllebeck, Fritz (2006) Structural Changes in Eu
th, Peter; Hofmann, Alexander; Pucher, Robert; Mense, Alexander; Nimmervoll, Alexander (2004) The System Architecture of
Wahl, Harald; Pucher, Robert; Hofmann, Alexander; Nimmervoll, Alexander; Schweiger, Sven (2004) Development of a modula
nn, Alexander; Kraft, Thomas; Kleinrath, Paul; Pucher, Robert; Mense, Alexander; Nimmervoll, Alexander (2004) Practical Exp
se, Alexander; Election, Harald; Never, Alexander; Hofmann, Alexander; Hammerl, Barbara; Schmöllebeck, Fritz (2004) Intrins
tion, Harald; Mense, Alexander; Never, Alexander; Hofmann, Alexander; Schmöllebeck, Fritz (2003) Didactics for the knowled
mann, Alexander; Kopper, Martin; Mense, Alexander; Never, Alexander; Pucher, Robert (2003) WLAN Security in the Univers
lection, Harald; Hofmann, Alexander; Hofmann, Alexander; Never, Alexander; Pucher, Robert (2003) Illustration of serial inte
018) Outlook CalDav Synchronizer , Nextcloud Conference 2018
asmans, Luc (2017) Nextcloud Outlook Integration. Improve your productivity with Outlook Add-In, Calendar & Contacts
017) Outlook CalDav Synchronizier. The Missing Link in FOSS Exchange Server Replacement , FOSDEM 2017
017) CalDAV / CardDAV instead of ActiveSync for Outlook , Secure Linux Administration Conference (SLAC 2017)
er (2017) Open Source Exchange Replacement in Enterprise Environment , Linux Weeks 2017
nse, Alexander; Merchant, christian; Never, Alexander; Gollner, Helmut (2009) Knowledge Preservation and Knowledge Tran
mann, Alexander; Mense, Alexander; Election, Harald; Never, Alexander; Brezowar, Gabriela; Schmöllebeck, Fritz (2008) Are H
tion, Harald; Mense, Alexander; Never, Alexander; Hofmann, Alexander; Schmöllebeck, Fritz (2003) Didactics for the Knowle
mann, Alexander; Kopper, Martin; Mense, Alexander; Never, Alexander; Pucher, Robert (2003) WLAN Security in the Univers
lection, Harald; Hofmann, Alexander; Never, Alexander; Pucher, Robert (2003) Illustration of serial interfaces via WLAN tec
Judge, George; Hofmann, Alexander (2017) Robotics peer-to-peer teaching summer school project with international stud
; Rubenzer, Sabrina; Richter, Georg (2015) Development of a multi-grade curriculum: project "READY" , in: Proceedings o
Judge, George; Hofmann, Alexander (2017) Robotics peer-to-peer teaching summer school project with university studen
; Rubenzer, Sabrina; Richter, Georg (2015) Development of a multi-grade curriculum: project "READY" , International Con
alzbrunn, Benedict; Kubinger, Wilfried (2018) Recommendations for the Design of Human Machine Interfaces for Wildlife
nik; Seitner, Florian; Salzbrunn, Benedict; Gelautz, Margrit; Braun, Georg (2017) Intelligent Film Assistant for Personalized
brunn, Benedict; Schmöllebeck, Fritz (2015) User Experience and Usability Engineering Education in Computer Science
weg, Gerd; Salzbrunn, Benedict; Kollmitzer, Christian (2015) Mobile learning in traditional face to face courses in computer
lezal, Dominik; Salzbrunn, Benedict; Pucher, Robert (2014) The Challenge of Educating UX Professionals - How To Tailor t
lzbrunn, Benedict; Dolezal, Dominik; Pucher, Robert (2014) Persona Characteristics - To What Extent are Templates Suitab
brunn, Benedict; Winter, Veronica; Dolezal, Dominik (2014) Software Usability for Programmers - Lessons Learned from o
Dolezal, Dominik; Pucher, Robert (2013) User Experience Database: Student-Generated Content in Higher Education , in
brunn, Benedict; Stöckelmayr, Kerstin; Tesar, Michael (2011) Mobile learning apps and educational web-platforms for orga
Tesar, Michael; Stöckelmayr, Kerstin; Pucher, Robert (2011) Early Software Prototyping for Usability Testing Using Low C
; Tesar, Michael; Salzbrunn, Benedict; Pucher, Robert (2010) Critical Usability Evaluation of mobile device applications fo
er, Robert; Schmöllebeck, Fritz; Salzbrunn, Benedict; Feichtinger, Romana (2010) Collaborative research and learning with
ar, Michael; Schmöllebeck, Fritz; Feichtinger, Romana; Salzbrunn, Benedikt (2010) The QUADRO Project - Integrating E-Lear
m-wien.at/personal/benedikt-salzbrunn/
mming languages for high-performance computing, compiler construction, and software development tools.
ET Consulting - Immobilien.NET GmbH
3rd Hand (2014-2017)

PaCMan (EU FP7-ICT-STREP, 2014-2016)
IntellAct (EU FP7-ICT-STREP, 2011–2014)
[Abstract] [BibTeX]
[Link] [arXiv] [PDF] [Abstract] [BibTeX]
[BibTeX]
[Abstract] [BibTeX]
ntonio Rodríguez-Sánchez, Justus Piater, Learning Abstract Classes using Deep Learning. The First International Workshop on Computationa
[BibTeX]
[Abstract] [BibTeX]
[BibTeX]
[BibTeX]
[Abstract] [BibTeX]
ni, Mirela
onio Popa, Antonio Justus
Rodríguez-Sánchez, J. Rodríguez-Sánchez, Justus APiater,
Piater, Nicolai Petkov, Scale-Invariant,
computational modelUnsupervised Part Decomposition
of push-pull inhibition of 3D Objects. Parts and Att
of simple_x000D_
on to contour detection. Perception ECVP Abstract Supplement, p.¬†163, 2014 (European Conference on Visual Perception). Extended Abst
[BibTeX]
[home] [Link] [PDF] [Abstract] [BibTeX]
[Abstract] [BibTeX]
[BibTeX]
[BibTeX]
CyberRisk
TITANIUM
AppPETs
BITCRIME
ECRIME
VeriMetrix
ITBDIF
The Effect of Stock Spam on Financial Markets. In Workshop on the Economics of Information Security (WEIS). University of Cambridge, UK
y Markets – What is the Economic Value of a Zero-Day Exploit? In 22C3: Private Investigations. Chaos Computer Club, Berlin, Germany, 200
ance Revisited. In Workshop on the Economics of Information Security (WEIS). Harvard University, Cambridge, MA, 2005.
R. Meldepflichten für IT-Sicherheitsvorfälle: Ein Prinzipal-Agent-Ansatz. In O. Thomas and F. Teuteberg, eds., Tagungsband Wirtschaftsinform
S. Das IT-Sicherheitsgesetz. In J. Baetge and H.-J. Kirsch, eds., Mittelstand im Blick: Compliance und Risikomanagement. IDW, Düsseldorf, 20
T-Security-Audits nützlich? In Tagungsband Wirtschaftsinformatik. 1, 2011, pp. 385–394.
m Schadenversicherungsmodell: Implikationen der Marktstruktur. In H. Federrath, ed., Sicherheit 2005 – Sicherheit, Schutz und Zuverlässigk
o Clarke: Empirical Research is Useful, also in the Age of Surveillance Risks. Journal of Information Technology, 34, 1 (2019), 93–95.
R. Pricing Anonymity. In S. Meiklejohn and K. Sako, eds., Financial Cryptography and Data Security. 2018.
R. Join Me on a Market for Anonymity. In Workshop on the Economics of Information Security (WEIS). University of California at Berkeley,
H., Laube, S., and Böhme, R. Users Protect Their Privacy If They Can: Determinants of Webcam Covering Behavior. In Proceedings of the 1st
isti, A., Böhme, R., and Hui, K.-L. The Challenges of Personal Data Markets and Privacy. Electronic Markets, 25, 2 (2015), 161–167. [Publishe
Too Much Choice: End-User Privacy Decisions in the Context of Choice Proliferation. In Symposium on Usable Privacy and Security (SOUPS
R. Improving Informed Consent for Consumers in E-Commerce – An Interdisciplinary Perspective. In Privacy Law Scholars Conference (PLSC
, S. Collective Exposure: Peer Effects in Voluntary Disclosure of Personal Data. In G. Danezis, ed., Financial Cryptography and Data Security.
, S. Privacy in Online Social Lending. In AAAI Spring Symposium on Intelligent Privacy Management. AAAI Press, Palo Alto, 2010, pp. 23–28.
, S. Trained to Accept? A Field Experiment on Consent Dialogs. In Conference on Human Factors in Computing Systems (ACM CHI). New Yor
e, R. Valuating Privacy with Option Pricing Theory. In T. Moore, D.J. Pym and C. Ioannidis, eds., Economics of Information Security and Priva
., and Köpsell, S. Data Retention and Anonymity Services. In V. Matyáš, S. Fischer-Hübner, D. Cvrček and P. Švenda, eds., The Future of Iden
nn, A. Privacy-DRM: Data Protection by Copy Protection? 2009. Mimeo. [PDF]
hme, R. Privacy-Enhanced Event Scheduling. In Conference on Information Privacy, Security, Risk and Trust (PASSAT ’09). 3, IEEE Computer S
or Diversity: On the Social Implications of Transparency in Personal Data Processing. In M.E. Johnson, ed., Managing Information Risk and t
S. On the Viability of Privacy-Enhancing Technologies in a Self-regulated Business-to-consumer Market: Will Privacy Remain a Luxury Good?
S. Pricing Strategies in Electronic Marketplaces with Privacy-Enhancing Technologies. Wirtschaftsinformatik, 49, 1 (2007), 16–25.
nezis, G., Köpsell, S., and Pfitzmann, A. Mix Cascades versus Peer-to-Peer: Is One Concept Superior? In D. Martin and A. Serjantov, eds., Pri
. Die Privatsphäre des Verbrauchers – ein Luxusgut? In C. Bala and K. Müler, eds., Der gläserne Verbraucher – Wird Datenschutz zum Verbra
e, R. Die totale Transparenz. Facebook, Cookies, RFID etc. In M. Dabrowski, J. Wolf and K. Abmeier, eds., Ethische Herausforderungen im We
, S. Social Lending aus der Perspektive des Datenschutzes. In F.C. Freiling, ed., Sicherheit 2010 – Sicherheit, Schutz und Zuverlässigkeit. Lect
nn, A. Digital Rights Management zum Schutz personenbezogener Daten? Datenschutz und Datensicherheit, 32, 5 (2008), 342–346.
nn, A. Datenspuren beim Forschungskontakt: Wie die Vorratsdatenspeicherung empirische Sozialforschung verändern könnte. Forschung &
r, M. Media Forensics. In S. Katzenbeisser and F. Petitcolas, eds., Information Hiding. Artech House, 2016, pp. 231–259. [PDF]
e, R. Towards a Theory of JPEG Block Convergence. In IEEE International Conference on Image Processing (ICIP). Athens, Greece, 2018, pp. 5
e, R. Information-theoretic Bounds of Resampling Forensics: New Evidence for Traces Beyond Cyclostationarity. In Proceedings of the 5th A
P., Böhme, R., Boato, G., and Pèrez-Gonzàlez, F. Forensics of High Quality and Nearly Identical JPEG Image Recompression. In ACM Informati
me, R. Detecting Copy–Move Forgeries in Scanned Text Documents. In Proceedings of IS&T Electronic Imaging: Media Watermarking, Secur
P., and Böhme, R. Telltale Watermarks for Counting JPEG Compressions. In Proceedings of IS&T Electronic Imaging: Media Watermarking, S
P., and Böhme, R. Forensics of High-Quality JPEG Images with Color Subsampling. In IEEE International Workshop on Information Forensics
. Block Convergence in Repeated Transform Coding: JPEG-100 Forensics, Carbon Dating, and Tamper Detection. In IEEE International Confer
r, M. Counter-Forensics: Attacking Image Forensics. In H.T. Sencar and N.D. Memon, eds., Digital Image Forensics: There is More to a Pictur
. Countering Counter-Forensics: The Case of JPEG Compression. In T. Filler, T. Pevný, S. Craver and A. Ker, eds., Information Hiding (12th Inte
nd Böhme, R. An ML Perspective on Feature-Based Forensic Camera Model Identification. In DAGM Workshop on Pattern Recognition for IT
The Dresden Image Database for Benchmarking Digital Image Forensics. Journal of Digital Forensic Practice, 3, (2010), 150–159.
., Gloe, T., and Kirchner, M. Multimedia Forensics Is Not Computer Forensics. In Z.J.M.H. Geradts, K. Franke and C.J. Veenman, eds., Interna
me, R. Synthesis of Color Filter Array Pattern in Digital Images. In E.J. Delp, J. Dittmann, N.D. Memon and P.W. Wong, eds., Proceedings of SPI
me, R. Hiding Traces of Resampling in Digital Images. IEEE Transactions on Information Forensics and Security, 3, 4 (2008), 582–592.
Winkler, A., and Böhme, R. Can We Trust Digital Image Forensics? In ACM Multimedia. ACM, New York, NY, USA, 2007, pp. 78–86.
me, R. Tamper Hiding: Defeating Image Forensics. In T. Furon, F. Cayre, G. Doërr and P. Bas, eds., Information Hiding. Lecture Notes in Compu
d, A. Feature-based Encoder Classification of Compressed Audio Streams. Multimedia Systems Journal, 11, 2 (2005), 108–120.
., Gloe, T., and Kirchner, M. Multimedia-Forensik als Teildisziplin der digitalen Forensik. In S. Fischer at al., ed., Informatik 2009 – Im Fokus d
tatistical Steganalysis. Springer, Berlin Heidelberg, 2010.
e, R. Game Theory and Adaptive Steganography. IEEE Transactions on Information Forensics and Security, 11, 4 (2016), 760–773. [PDF] [Pub
, Pasquini, C., and Böhme, R. Detecting Adversarial Examples – A Lesson from Multimedia Security. In Proceedings of the 26th European Sig
C., and Böhme, R. On the Statistical Properties of Syndrome Trellis Coding. In C. Krätzer, Y.-Q. Shi, J. Dittmann and H.-J. Kim, eds., Digital For
P., Laszka, A., Grossklags, J., and Böhme, R. Adaptive Steganography and Steganalysis with Fixed-Size Embedding. Transactions on Data Hidin
me, R. “Steganalysis in Technicolor” – Boosting WS Detection of Stego Images from CFA-Interpolated Covers. In IEEE International Conferenc
P., and Böhme, R. Predictable Rain? Steganalysis of Public-Key Steganography using Wet Paper Codes. In ACM Information Hiding and Multi
R., et al. Moving Steganography and Steganalysis from the Laboratory into the Real World. In ACM Information Hiding and Multimedia Sec
P., Laszka, A., Grossklags, J., and Böhme, R. Bitspotting: Detecting Optimal Adaptive Steganography. In Y.-Q. Shi, H.-J. Kim and F. Pérez-Gonzá
Johnson, B., Grossklags, J., and Böhme, R. A Game-Theoretic Analysis of Content-adaptive Steganography with Independent Embedding. In
nd Böhme, R. Weighted Stego-Image Steganalysis for Naive Content-Adaptive Embedding. In IEEE International Workshop on Information F
e, R. A Game-Theoretic Approach to Content-Adaptive Steganography. In M. Kirchner and D. Ghosal, eds., Information Hiding (14th Internati
P., and Böhme, R. Where to Hide the Bits? In J. Grossklags and J. Walrand, eds., Decision and Game Theory for Security. Lecture Notes in Co
ological Approach to Steganography. In S. Katzenbeisser and A.-R. Sadeghi, eds., Information Hiding (11th International Conference). Lectur
tatistical Steganalysis using Models of Heterogeneous Cover Signals. 2008.
Revisiting Weighted Stego-Image Steganalysis. In E.J. Delp, P.W. Wong, J. Dittmann and N.D. Memon, eds., Proceedings of SPIE-IS&T Electro
tego-Image Steganalysis for JPEG Covers. In Information Hiding (9th International Workshop). Lecture Notes in Computer Science 5284, Spr
C. On the security of ‘A Steganographic Scheme for Secure Communications Based on the Chaos and Euler Theorem.’ IEEE Transactions on M
A Two-Factor Error Model for Quantitative Steganalysis. In E.J. Delp and P.W. Wong, eds., Proceedings of SPIE-IS&T Electronic Imaging: Secu
of Steganalytic Methods Using Multiple Regression Models. In M. Barni, Herrera-Joancomarttı́ Jordi, S. Katzenbeisser and F. Pérez-González
d, A. Breaking Cauchy Model-Based JPEG Steganography with First Order Statistics. In P. Samarati, P.Y.A. Ryan, D. Gollmann and R. Molva, ed
d, A. Exploiting Preserved Statistics for Steganalysis. In J. Fridrich, ed., Information Hiding (6th International Workshop). Lecture Notes in Co
d, A. Statistical Characterisation of MP3 Encoders for Steganalysis. In ACM Multimedia and Security Workshop (MMSEC). ACM Press, New Y
C., and Böhme, R. Verbesserung der Syndrome-Trellis-Kodierung zur Erhöhung der Unvorhersagbarkeit von Einbettpositionen in steganogr
P., and Böhme, R. Decoy Password Vaults: At Least As Hard As Steganography? In Proceedings of the 32nd International Conference on ICT S
. Effects of Information Security Risk Visualization on Managerial Decision Making. In Proceedings of the 2nd European Workshop on Usab
Roots: Information Sharing Economics and What We Can Learn for Security (Keynote Abstract). In ACM Conference on Computer and Com
me, R., Acquisti, A., and Hui, K.-L. Personal Data Markets (Guest Editorial). Electronic Markets, 25, 2 (2015), 91–93. [Publisher]
Böhme, R. Consumer Participation in Online Contracts – Exploring Cross-Out Clauses. In H. Federrath, S. Katzenbeisser, V. Lotz, M. Waidner
chneider, R., and Telang, R. Report on Software Liability. ENISA Working Group on Economics of IT Security (WG-EOS), 2011.
ote on Progress Indicators in Online Surveys. 2010. [PDF]
, R. The Role of Soft Information in Trust Building: Evidence from Online Social Lending. In A. Acquisti, S.W. Smith and A.-R. Sadeghi, eds., In
G. A Closer Look at Attack Clustering. In Workshop on the Economics of Securing the Information Infrastructure (WESII). Washington, DC, 2
and Andrees, M. Sachverständigengutachten zur Anhörung des 1. Untersuchungsausschusses des Deutschen Bundestages der 18. Wahlper
Heide, T., Holler, J., Rauer, H.P., and Böhme, R. Geld stinkt, Bitcoin auch. Eine Ökobilanz der Bitcoin Block Chain. In U. Goltz et al., ed., Inform
t: Umdenken nach Stuxnet? Wirtschaftsdienst, 90, 10 (2010), 642.
, R. Effekte von Informationsstand, Wissen und Einstellungsstärke von Befragten auf die Antwortstabilität in Online-Befragungen mit Selbstr
effekte bei Online-Befragungen. 2003.
onomics of Information Security and Privacy. Springer, Berlin Heidelberg, 2013.
to, T., eds. Financial Cryptography and Data Security – 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26–30, 2015,
., Moore, T., and Smith, M., eds. Financial Cryptography and Data Security – FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, B
and Safavi-Naini, R., eds. Information Hiding. 12th International Conference, IH 2010, Calgary, Canada, June 28–30, 2010. Revised Selected
Computer Science, University of Innsbruck
y, Oshawa, Canada (2006-2009).

nvestigaciones Científicas (CSIC), Madrid, Spain (2000-2002).
s (Madrid), Spain (1998-2000)
n of the unified modeling languageR Breu, U Hinkel, C Hofmann, C Klein, B Paech, B Rumpe, V ThurnerEuropean Conference on Object-Orie
ptive workflow management through conversational case-based reasoningB Weber, W Wild, R BreuEuropean Conference on Case-Based R
techniques in object oriented programming environmentsR BreuSpringer Science & Business Media, 19911331991
or service-oriented architecturesM Hafner, R BreuSpringer Science & Business Media, 20081252008
odel and continuity: enhanced policy enforcement engine for usage controlB Katt, X Zhang, R Breu, M Hafner, JP SeifertProceedings of the
odels of UMLR Breu, R Grosu, E Huber, B Rumpe, W SchwerinThe Unified Modeling Language, 93-108, 1998851998
el-driven engineering thirty years from nowG Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...International Conference on M
framework for the realization of secure inter-organizational workflowsM Hafner, R Breu, B Agreiter, A NowakInternet Research 16 (5), 491-5
g models-a manifesto of change-driven software engineeringR Breu2010 International Conference on Complex, Intelligent and Software Int
chitecture for IT Risk Management.F Innerhofer-Oberperfler, R BreuISSA, 1-12, 2006642006
e Documentation: Current Practices and Future Directions.S Roth, M Hauder, M Farwick, R Breu, F MatthesWirtschaftsinformatik 58, 20136
m development with extended use casesG Popp, J Jurjens, G Wimmel, R BreuTenth Asia-Pacific Software Engineering Conference, 2003., 478
antics for object-oriented modeling techniquesR Breu, R Grosu, F Huber, B Rumpe, W SchwerinEuropean Conference on Object-Oriented P
y based process model for security engineeringR Breu, K Burger, M Hafner, J Jürjens, G Popp, G Wimmel, V LotzProceedings of the 16th Inte
engineering for trust management in SECTET.M Alam, R Breu, M HafnerJSW 2 (1), 47-59, 2007502007
for Web services (MDS4WS)MM Alam, R Breu, M Breu8th International Multitopic Conference, 2004. Proceedings of INMIC 2004 …, 20044
nt of enterprise security systemR Breu, F Innerhofer-Oberperfler, A Yautsiukhin2008 Third International Conference on Availability, Reliabili
testing: a taxonomy and systematic classificationM Felderer, P Zech, R Breu, M Büchler, A PretschnerSoftware Testing, Verification and Relia
for inter-organizational workflows in e-governmentR Breu, M Hafner, B Weber, A NovakE-Government: Towards Electronic Democracy, 122-
te object interaction descriptionsR Breu, R Grosu, C Hofmann, F Huber, I Krüger, B Rumpe, M Schmidt, ...Computer Standards & Interfaces
at/citations?user=wjWOdgUAAAAJ&hl=en&oi=ao
g models-a manifesto of change-driven software engineeringR Breu2010 International Conference on Complex, Intelligent and Software Int
ed testingM Felderer, I SchieferdeckerInternational Journal on Software Tools for Technology Transfer 16 (5), 559-568, 2014662014
al literature reviews in software engineering: complementing systematic literature reviews with grey literatureV Garousi, M Felderer, MV M
quirements engineeringDM Fernández, S Wagner, M Kalinowski, M Felderer, P Mafra, A Vetrò, ...Empirical software engineering 22 (5), 2298
ystem development in practice: waterfall, scrum, and beyondM Kuhrmann, P Diebold, J Münch, P Tell, V Garousi, M Felderer, ...Proceedings
testing: a taxonomy and systematic classificationM Felderer, P Zech, R Breu, M Büchler, A PretschnerSoftware Testing, Verification and Relia
veyM Felderer, M Büchler, M Johns, AD Brucker, R Breu, A PretschnerAdvances in Computers 101, 1-51, 2016412016
del-based security testingM Felderer, B Agreiter, P Zech, R BreuAdvances in System Testing and Validation Lifecycle (VALID 2011), 109-114, 2
testing in industrial test processesM Felderer, R RamlerSoftware Quality Journal 22 (3), 543-575, 2014342014
d automatic risk assessment for risk-based testingM Felderer, C Haisjackl, R Breu, J MotzInternational Conference on Software Quality, 159-
using OCL and Prolog: A performance studyJ Chimiak_Opoka, M Felderer, C Lenz, C Lange2008 IEEE International Conference on Software
on risk-based testing in industryM Felderer, R RamlerInternational Journal on Software Tools for Technology Transfer 16 (5), 609-625, 20143
industry 4.0 for quality managementH Foidl, M FeldererInternational Conference on Enterprise Resource Planning Systems, 121-137, 2015
d security testing approach of cloud computing environmentsP Zech, M Felderer, R Breu2012 IEEE Sixth International Conference on Softwa
estabilityV Garousi, M Felderer, FN KılıçaslanInformation and Software Technology, 2018252018
he cloud: Detecting security incidents via machine learningM Gander, M Felderer, B Katt, A Tolbaru, R Breu, A MoschittiInternational Works
ased requirements testing of service oriented systemsM Felderer, R Breu, J Chimiak-Opoka, M Breu, F SchuppProceedings of the IASTED Inte
tion of security regression testing approachesM Felderer, E FourneretInternational Journal on Software Tools for Technology Transfer 17 (3)
es to improve the maturity of the system test process: results from an industrial case studyM Felderer, A BeerInternational Conference on S
code generation for service oriented systemsM Felderer, P Zech, F Fiedler, J Chimiak-Opoka, R Breu2009 Ninth International Conference on
at/citations?user=4kwCpCcAAAAJ&hl=en&oi=ao
n Luis Huaman Quispe, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
sandra Panasiuk, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
n Balci, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
al Akbar, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
Kärle, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
can Simsek, Institut fuer Informatik, University of Innsbruck, Austria, ongoing.
s Stavrakantonakis, Institut fuer Informatik, University of Innsbruck, Austria, 2017.
nio J. Roa-Valverde, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2015.
Kopecky, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2013.
r Peter Wach, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2013.
Kerrigan, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2012.
Krummenacher, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2010.
Toma, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2010.
s Bürger, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2009.
tru Roman, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2009.
ois Scharffe, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2009.
arina Siorpaes, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2009.
e Bruijn, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2008.
ael Stollberg, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2008.
é Arroyo, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2007.
Paslaru Bontas Simperl, Semantic Technology Institute (STI) Innsbruck, Free University of Berlin, Germany, 2007.
V. Zhdanova, Semantic Technology Institute (STI) Innsbruck, University of Innsbruck, Austria, 2006.
s Omelayenko: Scalable Information Integration for B2B Electronic Commerce, Vrije Universiteit Amsterdam, 2005.
el Klein: Knowledge In Transit, Vrije Universiteit Amsterdam, 2004.
g Goebel: A Model of an Austrian Consumer Health Information System, Leopold-Franzens-University of Innsbruck, Austria, 2002.
er Stuckenschmidt: Ontology-based Information Sharing in Weakly Structured Environments, Vrije Universiteit Amsterdam, 2002.
d Schnur: WOM2: Wissensbasierte objektorientierte Modellierungsmethodik - Ein fachliches Framework des Knowledge Engineering fuer d
tte ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, University of Amsterdam, 1997.
a.org in tourism 10 2016 - Journal of Tourismus Wissen - quarterly
an Procedure Catalogue: A 4-step methodological analysis approach 04 2016 - Journal of Biomedical Informatics
an Procedure Catalogue: A 4-step methodological analysis approach 12 2015 - Journal of Biomedical Informatics
ngagement and Collaboration for Small and Medium-sized Enterprises in Ubiquitous Multi-channel Ecosystems 05 2014 - Computers in Indu
or Enhancing Social Experience in a Conference Context: A Sensor based Approach 11 2012 - Programming and Computer Software
orked Age 11 2009 - Cambridge University Press
eb Services with the Web Service Modeling Toolkit 09 2009 - Journal of Network and Systems Management
Integrating the Semantic Web and Service Orientation 01 2008 - IEEE
ology for Service-Centric Environments 11 2007 - IEEE
Web Services Environments: A Survey and Evaluation 08 2007 - Journal of Multiagent and Grid Systems
Service Oriented Architecture: Concepts, Technology and Application 06 2007 - Service Oriented Computing and Applications
uck.at/results/publications?keys=Dieter+Fensel&type%5B%5D=sti_book&type%5B%5D=sti_bookchapter&type%5B%5D=sti_conference_p
16 - Springer International Publishing

fficiency in Smart Home Environments08 2011 - Taylor and Francis
uitous Mobile Communications08 2008 - IGI Global
Portals09 2007 - IGI Global
ification of Rights Expression Languages – Preliminary Results 02 2018 - n/a
ser Engagements Across Multiple Online Communication Channels 11 2017 - Springer
oadmap for optimizing societal impact of big data on environment and energy efficiency 06 2017 - n/a
on and recommendations for strengthening citizens energy-aware behavioural profiles 06 2017 - n/a
ervices for Behavioural Change 05 2017 - CEUR-WS
towards Implementing Energy Efficient Lifestyles through Behavioural Change 09 2016 - ACM New York, NY, USA
Terms Discovery Assistant 09 2016 - ACM New York, NY, USA
Terms Discovery Assistant 09 2016 - ACM New York, NY, USA
ry Ranking and Terms Discovery 09 2016 - ACM New York, NY, USA
ry Recommendation based on Ranking and Linked Open Data 03 2016 - Springer
ty to Hotels with Schema.org and Multi-channel Communication 01 2016 - Springer
Hotels in Tyrol than in Austria? Analyzing Schema.org Usage in the Hotel Domain 01 2016 - Springer
Hotels: an Analysis Based on the Web Data Commons Data Set. 09 2015 - n/a
hops: Proceedings of Workshops September 2017 - 13th International Conference on Semantic Systems (SEMANTiCS 2017)
ngful Internet Systems: OTM 2016 Workshops 10 2016 - Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 201
h International Conference on Semantic Systems 09 2016 - SEMANTiCS 2016 12th International Conference on Semantic Systems
nd Publishing Data of Electrical Appliances: A Refrigerator Example 10 2014 - OTM 2014 Workshops
and Collaborations: Knowledge Mediation and Extraction 10 2008 - CEUR Workshop Proceedings
Energy Management and Awareness Services for Energy Efficiency in Smart Buildings 07 2017 - Sensors
ntischen APIs für Forschungsdatendienste 02 2017 - www.tde-journal.org
nces’ Energy Efficiency with Internet of Things, Smart Data and User Engagement 11 2016 - Future Generation Computer Systems
service creation: increasing brand touch-points for hotels 04 2016 - Journal of Mobile Multimedia
monitoring of Smart grid based on semantic stream data analysis. 03 2015 - Scientific and Technical Journal of Information Technologies, M
ent Personal Mobile Service Delivery Approach Based on Phone Book 01 2015 - International Journal of Communication Systems
Big Data in Future Large Scale Intelligent Smart City Installations 06 2014 - International Journal of Pervasive Computing and Communicatio
rkflows for diabetes care - An overview of the OntoHealth approach 05 2014 - Applied Clinical Informatics Journal (ACI)
ngagement and Collaboration for Small and Medium-sized Enterprises in Ubiquitous Multi-channel Ecosystems 05 2014 - Computers in Indu
r Energy Efficient Semantically-Enabled Smart Homes 01 2014 - Energy Efficiency
nt personal mobile service delivery approach based on phone book 09 2013 - International Journal of Communication Systems
mart Home System for Energy Efficiency 01 2013 - Informatik-Spektrum
or Enhancing Social Experience in a Conference Context: A Sensor based Approach 11 2012 - Programming and Computer Software
uck.at/results/publications?keys=Anna+Fensel&type%5B%5D=sti_book&type%5B%5D=sti_bookchapter&type%5B%5D=sti_conference_pa
chael Tschuggnall and Günther Specht: Dynamic Parameter Search for Cross-Domain Authorship Attribution. In Working Notes of CLEF. 201
uggnall, E Stamatatos, W Daelemans, G Specht, B Stein and M Potthast: Overview of the author identification task at PAN-2018: cross-doma
gerle, Martin Pichl, Günther Specht and Viktor Leis: HOT: A Height Optimized Trie Index for Main-Memory Database Systems. In Proceeding
d Günther Specht: Detecting Music Genre Using Extreme Gradient Boosting. In Companion of the The Web Conference 2018 on The Web C
Tschuggnall, Stefan Wurzinger and Günther Specht: ALF-200k: Towards Extensive Multimodal Analyses of Music Tracks and Playlists. In Adv
orschungsgruppe Datenbanken und Informationssysteme an der Universität Innsbruck. In Datenbank-Spektrum, vol. 18, no. 1, pages 51-56.
ainer Breuss: Der freeBIM Merkmalserver. In Beton-Kalender, vol. 1, pages 363-366. 2018
Tschuggnall, Stefan Wurzinger and Günther Specht: Analyzing Coherent Characteristics in Music Playlists. In Proceedings of the 4th Digital H
erle, Günther Specht and Markus Schedl: Mining Culture-Specific Music Listening Behavior from Social Media Data. In Proceedings of the IE
aus Krismer, Nikolaus Augsten and Günther Specht: Recommending OSM Tags To Improve Metadata Quality. In Proceedings of the 1st ACM
aximilian Mayerl, Michael Tschuggnall, Eva Zangerle, Martin Pichl and Günther Specht: Hierarchical Multilabel Classification and Voting for G
s Silbernagl, Günther Specht and Johann Gamper: Computing Isochrones in Multimodal Spatial Networks using Tile Regions. In Proceedings
fstathios Stamatatos, Ben Verhoeven, Walter Daelemans, Günther Specht, Benno Stein, and Martin Potthast: Overview of the Author Identi
erle and Günther Specht: Improving Context-Aware Music Recommender Systems: Beyond the Pre-filtering Approach. In Proceedings of the
a Zangerle, and Günther Specht: A Peer-Based Approach on Analyzing Hacked Twitter Accounts. In Proceedings of the 50th Hawaii Internati
erle and Günther Specht: Understanding User-curated Playlists on Spotify: A Machine Learning Approach. In International Journal of Multim
Michael Tschuggnall, Ben Verhoeven, Walter Daelemans, Günther Specht, Benno Stein, and Martin Potthast: Clustering by Authorship With
Rangel, Martin Potthast, Efstathios Stamatatos, Michael Tschuggnall and Benno Stein: Overview of PAN'16 - New Challenges for Authorship
Günther Specht and Christian Riepl: Algorithmisch unterstützte Literarkritik: Eine grammatikalische Analyse zur Bestimmung von Schreibstile
hmidhammer and Günther Specht: Analysing the Usage of Wikipedia on Twitter: Understanding Inter-Language Links. In Proc. of 49th Haw
.uibk.ac.at/specht?page=1
g of Theorem Proving.
mation for Dependent Type Theory.
Reasoning, 61(1-4).Logic.
an Isabelle Object pp. 423‒453, 2018.
Reasoning. Online Libraries.
ss Proof Assistant first, 2018.
on. Online first, 2018.
bk.ac.at/cek/
FORTissimo: Automating the First-Order Theory of Rewriting
FWF
Fromstand-alone
Confluence project P 30301,
to Unique Normal2017 – 2020
Forms: Certification and Complexity
FWF stand-alone project P 27528, 2015 – 2018
Constrained Rewriting and SMT: Emerging Trends in Rewriting
FWF international
Confluence: projectCertification,
Automation, I 963, 2012 –Extensions
2015
FWF stand-alone
Termination Tools:project P 22467,
Verification and2010 – 2014
Optimization
FWF stand-alone project P 18763, 2006 – 2010
d Aart Middeldorp_x000D_
mputer
o Sato, Science 10(3:22), pp.
Aart Middeldorp, and1Masahito
– 28, 2014Kurihara_x000D_
Reasoning 50(3), pp. 317 – 354,
ddeldorp, and Harald Zankl_x000D_ 2013
Reasoning 50(3), pp. 279 – 315, 2013
t Middeldorp_x000D_
sReasoning 47(4),
and Artificial pp. 481 –56(1),_x000D_
Intelligence 501, 2011
Middeldorp_x000D_
utationand
kawa, 207(11), pp. 1259 – 1283, 2009
Reasoning 43(2),
nformation pp. 173 – 201, 2009
and Systems_x000D_
4, 2009
t Middeldorp_x000D_
tutation 205(4), pp. 474 – 511, 2007
Middeldorp_x000D_
utation 199(1,2), pp. 172 – 199, 2005
Middeldorp_x000D_
utation 196(2), pp. 95 – 126, 2005
Middeldorp_x000D_
rogramming
deldorp, Enno14(4), pp. 379and
Ohlebusch, – 427,
Hans2004
Zantema_x000D_
utation 178(1), pp. 132 – 148, 2002
deldorp, Enno Ohlebusch, and Hans Zantema_x000D_
utation 178(1),
Suzuki, and pp. 101Hamada_x000D_
Mohamed – 131, 2002
nd Logic
Hitoshi Programming 2002(3), 2002
Ohsaki_x000D_
), pp. 1007 – 1029, 2000
x000D_
Science 236(1,2), pp. 209 – 232, 2000
atoshi Okui_x000D_
mputation 25(6), pp. 733 – 757, 1998
Hans Zantema_x000D_
Science
shi Okui,175(1), pp. 127
and Tetsuo – 158, 1997
Ida_x000D_
Science 167(1,2), pp. 95 – 130, 1996
Middeldorp_x000D_
Science
Hans 165(1), pp. 75 – 95, 1996
Zantema_x000D_
of Logic
Engineering,24(1), pp. 31 – 36, 1995
Communication and Computing 6,_x000D_
D_
Engineering,17,
mputation pp. 3 – 21, 1994
Communication and Computing 5,_x000D_
Middeldorp, Yoshihito Toyama, and Roel de Vrijer_x000D_
gD_Letters 49, pp. 101 – 109, 1994
utation
D_ 104(1), pp. 110 – 158, 1993
mputation
art 15, pp. 331 – 348, 1993
Middeldorp_x000D_
mputation 12, pp. 161 – 195, 1991
bk.ac.at/users/ami/research/publications/index.php
_x000D_
Joint Project ANR-FWF; project number I2671-N35; duration 3 years.
_x000D_
DARPA/AFRL
_x000D_ funded; duration 4 years.
FWF
Joint stand-alone project,
Project, bilateral project
research number
project P25781-N15; duration 3 years.
between_x000D_
ANR at
others and FWF;
Paris 7, project
France; number I608-N18;
project number FRduration 3 years.
10/2009;_x000D_
January 2009 number
FWF project, – December 2010
P20133;_x000D_
October 2007 – August 2011
HPMF-CT-2002-015777 under the supervision of A.~Weiermann._x000D_
June 2002 – May
Research grant 2004 by the Austrian Ministry of Science in _x000D_
donated
honour
nual Conference of Kurt Gödel.ofFebruary
on Foundations Software1999 – January
Technology and2000
Theoretical Computer Science, pages 304-315, 2008._x000D_
20133-N18.
20133-N18;
ess_x000D_the final publication is available here.
03-N15; the final publication is available here.
T-2002-015777; the final publication is available here.
available here.
PMF-CT-2002-015777; the final publication is available here.
able as TechnicalFWF Report

projectsAIB-2007-17, RWTH Aachen University, Germany._x000D_
n some
tion typos have
of Algebraic been fixed.
Numbers in Isabelle/HOL_x000D_
Reasoning, online
s available at_x000D_ first, 2018.
ce, and termination analysis with state-compatible automata_x000D_
utation,
loping 253(3):467-483,
Stand-Alone 2017.
Certifiers_x000D_
eoretical
s available Computer
at_x000D_ Science, 312:51-67, 2015.
Mcom)for your personal use. Not for redistribution. The definitive_x000D_
d in ACM TOPLAS,
tion Proofs for Logic33(2):7,
Programs 2011,by http://doi.acm.org/10.1145/1890028.1890030.
Term Rewriting_x000D_
Computational
00D_ Logic 11(1):1-52, 2009.
ons available at www.springerlink.com)
com)
on is available at _x000D_
e) 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR '18)_x000D_
eting
9th 57, pages 164Conference
International – 180, 2018.on Interactive Theorem Proving (ITP '18), _x000D_
mputer
e 7th ACM Science
SIGPLAN10895, pages 160-177,
Conference 2018. Programs and Proofs (CPP '18), _x000D_
on Certified
14th International Symposium on Frontiers of Combining Systems (FroCoS '17),_x000D_
puter Science 10483,
26th International pages 3-21,
Conference on 2017.
Automated Deduction (CADE '17), _x000D_
puter Science 10395, pages
6th ACM SIGPLAN Conference on Certified454-471, 2017. Programs and Proofs (CPP '17), _x000D_
25th EACSL Annual Conference on Computer Science Logic (CSL '16),_x000D_
Proceedings
ctive Theorem in Proving
Informatics(ITP 62, pages 8:1-8:16, 2016.
'16),_x000D_
Lecture
5th ACMNotes
SIGPLANin Computer
Conference Science 9807, pages
on Certified 391-408,
Programs 2016. (CPP '16), _x000D_
and Proofs
10th International Symposium on Frontiers of Combining Systems (FroCoS '15),_x000D_
tificial Intelligence
em Proving 9322, pages 239-255, 2015.
(ITP '15),_x000D_
Computer
and Science(RTA
Applications 9236, pages 421-437, 2015.
'15),_x000D_
Proceedings
puter Science, in 8471,
Informatics
pages 36, pages 2014,_x000D_
216-232, 23-39, 2015.
11th International Workshop on User Interfaces for Theorem Provers (UITP '14),_x000D_
sputer
in Theoretical
pagesScience
184-191,167:61-72, 2014.
2014,_x000D_
uter Science 8560 (Advanced Research in Computing and Software Science), pages 441-455, 2014,_x000D_
puter Science 8370, pages 347-359, 2014, ©_x000D_
puter Science 7998, pages 245-260, 2013, ©_x000D_
and Applications (RTA '13),_x000D_
Proceedings
puter Science in7406,
Informatics
pages 21:287-302,
266-282, 2012, 2013.
©_x000D_
Proceedings in Informatics
ficial Intelligence 6989, pages 15:339-354, 2012. ©_x000D_
243-258, 2011.
puter Science 6898, pages 152-167, 2011. © _x000D_
Proceedings
International in Workshop
Informaticson_x000D_
10:329-344, 2011.
,puter
Proving, and Programming,
Science 6247, pages 514-528, Electronic Proceedings
2010. ©_x000D_ in Theoretical Computer Science 44:51-65, 2010.
Press._x000D_
eared as Technical Report AIB-2010-10, RWTH Aachen, Germany.
Proceedings in Informatics
gher Order Logics (TPHOLs6:325-340, 2010.
'09), Lecture Notes in Computer Science 5674, pages 452-468, 2009. ©_x000D_
D_
in and
ory this Practice
extendedofversion.
Computer Science (SOFSEM '09),_x000D_
h
D_ Republic. Lecture Notes in Computer Science 5404, pages 533-545, 2009. © Springer-Verlag
ableApplications
and as Technical(RTA
Report AIB-2008-13,
'08), Hagenberg,RWTH Aachen,
Austria, LectureGermany.
Notes in Computer Science 5117, pages 366-380, 2008. ©_x000D_
D_
able as Technical Report AIB-2008-03, RWTH Aachen, Germany.
vailable
21st Conference on Automated Deduction (CADE '07), Bremen, Germany,_x000D_
ficial
ns of Intelligence
Satisfiability4603, pages
Testing (SAT443-459, 2007.
'07), Lisbon, ©Springer-Verlag
Portugal,_x000D_
uter Science 4501, pages 340-354, 2007. ©Springer-Verlag
mation (LOPSTR '06), Venice, Italy, Lecture_x000D_
ence 4407,Notes
ia, Lecture pagesin 177-193,
Artificial2006. ©Springer-Verlag
Intelligence 4246, pages 30-44, 2006. ©_x000D_
Seattle, USA, Lecture_x000D_
igence(RTA
ations 4130, pages
'06), 281-286,
Seattle, USA, 2006. ©Springer-Verlag
Lecture_x000D_
ence 4098,
©_x000D_ pages 297-312, 2006. ©Springer-Verlag
©_x000D_
0D_
0D_ as Technical Report AIB-2003-04, RWTH Aachen, Germany.
able
able as Technical Report AIB-2003-02, RWTH Aachen, Germany.
EU project AMI-SME (2006-2007)

EU project ALADDIN (2006-2007)
EU project KNOW-IT (2006-2009)
EU project TECH-IT-EASY (2009-2011)
TWF Project Laboratory for Information Logistics (since 2007)
TWF project KNOW-IT (since 2007)
ndividual Travelers in Wolfgangsee. In: Clarke, A .; Altenhofen C .; Frings S. (ed.) "At Home in the Destination - The Aladdin Platform". Fraunh
.: Supporting Knowledge Intensive Research and Systematic Knowledge Organization in Weakly Structured Business Processes. In: Ensign, K
Task and Value Oriented Semantics for IT-based Knowledge Management Systems. Industrial Workshop contribution at the International Co
, H.-P .: Structured supported by information technology and methodology for innovation processes to advise SMEs, filed for 2. Research Fo
Task and Value Oriented Semantics to Improve Content and Information Management in the Enterprise. Submission to the subcommittee E
and Coupling of Conceptual Structures in IT-based Knowledge Management Systems. In: Proceedings of the International Conference on Kn
fourth factor of production. In: "Knowledge is market. A Practical Guide to Knowledge Management ", USU AG, 2006, ISBN: 3981007115
A Process Framework for an Interoperable Semantic Enterprise Environment. (Extended version) Electronic Journal of Knowledge Manage
ngelbach, W .: Systematic Knowledge Organization for Marketing Research with Assisted Search Employing Domain Models and Integrated D
Support of the requirement engineering process in software development through the use of semantic technologies. In: Ensign et. al. (Ed.
R .; Weichardt, F .; Böhm, K .: Ontology supported search engine and knowledge organization, prototyped for international niche market in
m Mag. (FH) Sara Neubauer gave an insight into the quality management at the Kufstein University of Applied Sciences. It showed how the
tsamer, who has been an external and very popular lecturer at the FH Kufstein Tirol for more than 4 years, has been awarded the title Visiti
4th edition of the event series "Smart Products & Systems" (SPS) was held on 15.3.2019 at the University of Applied Sciences Kufstein Tirol
SPHERA: Spatial planning and health systems: enhancing territorial governance in Alpine Space, EU EFRE Alpine Space Prog
Interoperable query formats and distributed query execution for multimedia search, Siemens AG/BMBF-Verbundprojekt in Deut
Multimedia search in distributed heterogeneous data repositories using interoperable query formats, Siemens AG, 2012- 2013,
Analysis and Metadata Extraction of Video and Image Data from Intestinal Endoscopy, UPC-Barcelona Tech, Hospital Barcelon
CODE - Commercially empowered Linked Open Data Ecosystems in Research, FP7-ICT-2011-SME-DCL EU-Calls, 2012-2014
ieh, Elöd Egyed-Zsigmond, Mario Döller David Coquil, Jean-Marie Pinon und Harald Kosch. Improving SURF Image Matching Using Supervis
Schlegel, Sebastian Bayerl, Mario Döller, und Harald Kosch. Optimization of Federated Multimedia Queries in the AIR Middleware Framewo
Coquil und Mario Döller. In-Depth Analysis of Anaphora Resolution Requirements. In Proceedings of the 9th International Workshop on Te
ieh, Mario Döller, Elöd Egyed-Zsigmond, Gabriele Gianini, Harald Kosch und Jean-Marie Pinon. Geo-based Automatic Image Annotation. In
tegmaier, Simone Jans und Harald Kosch. TempoM2: A Multi Feature Access Method for Temporal Video Search. In Proceedings of the 18th
tegmaier, Mario Döller und The Tong Vang. A Protocol for Disaster Data Evacuation, In Proceedings of the ACM SIGCOM, pages 448-449, To
as Bürger, Mario Döller und Harald Kosch, Knowledge based Multimodal Result Fusion for Distributed and Heterogeneous Multimedia Envi
quil, Digital preservation: the multimedia standards way, In Proceedings of the 1st International Digital Preservation Interoperability Frame
tegmaier, Harald Kosch, Ruben Tous und Jaime Delgado, Standardized Interoperable Image Retrieval, In Proceedings of the ACM Symposium
Köckerandl, Simone Jans und Lyes Limam, MoidEx: Location-based mTourism system on mobile devices, In Proceedings of International Co
ieh, Elder Egyed-Zsigmond, Gabriele Gianini, Mario Döller, Jean-Marie Pinon, Harald Kosch. Tag Relatedness in Image Folkonomic. Docume
ous, Frederik Temmermans, Kyoungro Yoon, Je-Ho Park, Youngseop Kim, Florian Stegmaier und Jaime Delgado. JPEG’s JPSearch Standard: H
egmaier, Sebastian Bayerl, Harald Kosch, und Mario Döller Exploring different optimization techniques for an external multimedia meta-sea
ner Bailer, Tobias citizens, Mari Carmen Suarez-Figueroa, Erik Mannens, Jean-Pierre Evain, Martin Hoefernig, Pierre-Antoine Champin, Mar
, Mario Döller, Iris Vanhamel, Bart Jansen, Adrian Munteanu und Peter Schelkens, JPSearch: an Answer to the Lack of Standardization in Mo
o A. Ardagna, Valerio Bellandi, Ernesto Damiani, Mario Döller, Florian Stegmaier, Tilmann Rabl, Harald Kosch, und Lionel Brunie, Landmark a
ous, Matthias Gruhne, Kyoungro Yoon, Masanori Sano und Ian S Burnett, The MPEG Query Format: On the way to unify the access to Multim
m Mag. (FH) Sara Neubauer gave an insight into the quality management at the Kufstein University of Applied Sciences. It showed how the
tsamer, who has been an external and very popular lecturer at the FH Kufstein Tirol for more than 4 years, has been awarded the title Visiti
4th edition of the event series "Smart Products & Systems" (SPS) was held on 15.3.2019 at the University of Applied Sciences Kufstein Tirol
ence Fund (FWF)
zed Data Transmission”
EC in FP 7 as an Integrated Project
nts), funded by the EC in FP7 as an Integrated Project
Integrated Project
Network of Excellence
(Scalable Video-based Provisioning of TV and VoD Services over the Internet), funded by the Austrian Research Promotion Ag
nce Fund (FWF)
als), funded by the EC in FP6 as an Integrated Project
nvironment), funded by the EC in FP6 as a STREP
ch Challenge New York, NY: ACM Digital Library, 06.2018,
us%20Sch%C3%B6ffmann&clear=true
T-248652 “ALICANTE”)
rvices; https://athena.itec.aau.at/
d Live Events, http://icosole.eu/.
search in the Social Web, http://www.socialsensor.eu/.
ience in Multimedia Systems and Services
/www.p2pnext.eu/.
ent, Networks and Terminals“
coNtent in a context-Aware Environment“
finition Dynamic Adaptive Streaming over HTTP

rence, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings (LNCS, Vol. 9517). Cham: Springer International Publishing, 01.2016, pp
Proceedings (CEUR-WS.org), 09.2015,
roduktion (DigiTrans 4.0)
cture enabling heterogeneous components interoperability

2 Issue 1; 22 S.
by: ACM; ACM, 2012, ISBN: 978-1-4503-1486-2.

sign and Effect Research, Vienna, 2014, ISSN : 1021-7363, 51 S.
gence (iCCI-2012), in conjunction with the 26th IEEE International Conference on Advanced Information Networking and Applications (AIN
and Web Technologies, EIDWT 2011. pp. 153-158 6 pp. 6076436
ation (FSTI-2011), in conjunction with the Second International Conference on Emerging Intelligent Data and Web Technologies (EIDWT 201
edia & Telecommunications (ED-MEDIA'08). AACE , S. 2230-2237 9 p.
8-1817 20 p.
Springer , pp. 108-117
Materialia. 154, S. 253-258

Processing.
AC-PAD 2015.
rid computing. 31, S. 12-27 16 S.
s (S A H P C). 26, 3, S. 189-191

nce on Computing & Processing (Hardware/Software). IEEE Computer Society, S. 376-383 8 S.
s (S A H P C).
55 Computer graphics forum (2018)
nver, CO (2017)
ust 19-23, 2018, 19 - 23 Aug 2018, London, United Kingdom (2018)
Governance" (Springer - ISBN: 978-3-642-40159-6)
- Journal of information assurance and security [Elektronische Ressource] (Volume: 8)
& security (Volume: 29)
Ds" (Note: to appear)

- 13th International Conference on e-Society 2015
ceedings of the 9th International Conference on Web Information Systems and Technologies
- Technology-Enabled Innovation for Democracy, Government and Governance
: 465-488 (2018)
tions and Network Security (Note: to appear)
nology-Enabled Innovation for Democracy, Government and Governance
vation for Democracy, Government and Governance
ations" - IADIS International Conference WWW/INTERNET
onference on Web Information Systems and Technologies
al Conference on Mobile Cloud Computing, Services, and Engineering (IEEE Mobile Cloud 2015)
t and the Information Systems Perspective
coordinator; funded by the EU, FET-Open)

uctures from chaotic neural networks through reward-modulated Hebbian learning. Cerebral Cortex
computation in single neurons. The Journal of Neuroscience, 31(30):10787-10802, 2011. (PDF). (Comm
e for learning in recurrent neural nets. arxiv.org/abs/1901.09049, January 2019. (PDF).

Memory-efficient deep learning on a spinnaker 2 prototype. Frontiers in Neuroscience, 2018. (PDF).
on and assemblies of neurons. 32nd Conference on Neural Information Processing Systems (NIPS 2018), Montreal, Canada, 2018. (PDF).
ng neurons. 32nd
f Innovations ConferenceComputer
in Theoretical on NeuralScience
Information
(ITCS),Processing Systems (NIPS 2018), Montreal, Canada, 2018. (PDF).
2018. (PDF).
Centered Learning using the Peer Review Methodology - An Evaluation and a Concept for Student-Centered Classroom
Desires , in: Digital Media in Work and Learning Environments: Contributions to the Usability Day XIII
ssional student. The example of Computer Science education at the University of Applied Sciences Vienna , in: Digital
ease Learning Efficiency and Decrease Costs - a Case Study , in: Proceedings of the 8th International Conference on Educ
oriented course by introducing problem-based learning - a first concept , in: Journal of Systemics, Cybernetics and Inform
mputer Science - The Example of GEMIS and the QUADRO Projects , in: International Journal of Education and Information
oral Sciences, Volume 29, 2011, Pages 1561-1566, ISSN 1877-0428,
ealthy Interoperability: A Standard Based Framework for Integrating Personal Monitoring and Personal Health Device D
me-Based Student Response System on Factors of Learning in a Person-Centered Flipped Classroom on C Programmin
t Response System into a Flipped, Person-Centered Classroom on Object-Oriented Design , in: Advances in Web-Based
on - A Concept How to Motivate Young People for Computer Science , in: Proceedings of the 7th International Conference o
Computer Science Education At Secondary School Level , in: International Conference on Interactive Collaborative Learning
g", supported by virtual mobility , Education, Research and Innovation Conference, pp. 5633-5639
essional Student - The Example of Computer Science Education at the University of Applied Sciences Technikum Wien
on in Computer Science , in: Proceedings of the 8th annual International Conference on Education, Research and Innovation
ace courses in computer science education , in: Proceedings of the 10th Annual International Technology, Education and D
ase the Efficiency of Learning , in: Proceedings of the 7th International GUIDE Conference - Cultural Identity in the Midst of G
eed to learn how to satisfy their users , in: Proceedings of the International Technology, Education and Development Confere
Conference on Intelligent Systems, Modeling and Simulation
ning using the Peer Review Methodology - An Evaluation and a Concept for Student-Centered Classrooms , in: International Journal of Engin
t Response System into a Flipped, Person-Centered Classroom on Object-Oriented Design , in: Advances in Web-Based
Computer Science Education At Secondary School Level , in: International Conference on Interactive Collaborative Learning
ssionals - How To Tailor to Corporate Needs , in: Proceedings of the 7th International Conference on Education, Research a
ent are Templates Suitable for Students , in: Proceedings of the Forum Media Technology (FMT 2014)
Lessons Learned from one Decade of Teaching , in: Proceedings of the International Conference on Education and New Le
ses Significantly Support Face to Face Teaching? , in: Proceedings of the International Conference on E-Learning in the Wo
nt in Higher Education , in: Proceedings of the 6th International Conference on Education, Research and Innovation (ICERI 20
s of the 3rd International Workshop on Virtual and Augmented Assistive Technology (VAAT) 2015
hysiotherapy Exercise Capturing using a Low-Cost Motion Capture System , in: Proceedings of 9th International Conferen
l / Austrian Society for Artificial Intelligence
ect with international students, summer interns and middle school students , in: International Conference on Robotics and
ver Formula (FSD) , in: OAGM-ARW Workshop 2017, pp. 57-62
EADY" , in: Proceedings of the 6th International Conference on Robotics in Education (RIE) 2015
Attempt , in: In Proc .: Stelzer, R, Jafarmadar, K (Eds) .: RiE 2011 - 2nd International Conference on Robotics in Education, 20
for IT Students to Improve their Motivation to Learn, in: New Role Models for IT Students to Improve Their Motivation to Le
RoboCup Project , in: Proceedings of the 10th WSEAS International Conference on Computational Intelligence, Man-Machine
ssibilities for reduction , in: In: Apostolopoulos N., Mustard U., Rebensburg K., Schwill A., Wulschke F. (ed.); Basic questions
mputer Science - The Example of GEMIS and the QUADRO Projects , in: International Journal of Education and Information
) Effects of functional electrical stimulation in denervated thigh muscles of paraplegic patients mapped with T2 imagin
) Functional electrical stimulation of long-term denervated human skeletal muscle: estimating activation using T2-para
ational Workshop on Functional Electrostimulation and 15th IFESS Annual Conference , in: Proceedings / Center for Me
Projects to Improve Didactics in Computer Science , in: Proceedings of the IEEEAM International Conference on Applied C
xperience Report , in: Proceedings of the 17th EDiNEB International Conference / June 9th-11th 2010 / Thames Valley Univers
n Model of Functional Electrical Stimulation , in: Proceedings of the 21st European Modeling and Simulation Symposium
unctional Electrical Stimulation of denervated, degenerated human skeletal muscle , in: Proceedings of the 21st Europea
onal electrical stimulation in denervated muscle , in: Proceedings of the 9th Vienna international workshop on functional ele
tion and Knowledge Transfer in Higher Education , in: Abstracts of the ICERI / International Conference of Education, Rese
nces with Theoretical Computer Science Lectures , in: Proceedings of the International Conference PBL2008 ABP / Colima
lebeck, Fritz (2008) Are Human Factors the More Important Factors for the Success of Project Based Learning? , in: Pro
mmer, Florian; Gollner, Helmut (2008) Do Competitions Between Teams in Self-Directed Learning Increase the Performan
Structural Changes in European Higher Education Cause Changes in Teaching Methods , in: Proceedings of the Internat
e System Architecture of the Vienna Cube Project at the Technikum Wien , in: Proceedings of the ICAM4 Fourth Internatio
Development of a modular software framework for establishing and running a Business Web (b-web), in: Book of Abstra
nder (2004) Practical Experience of a Self Organizing Multidisciplinary PBL Project, in: Proceedings of the International C
ebeck, Fritz (2004) Intrinsic Motivation of Students at PBL Courses , in: Proceedings of the International Conference PBL2
Didactics for the knowledge age , in: Contributions of the Information Conference Microelectronics 2003 / series of publicatio
N Security in the University Environment , in: Contributions of the Information Conference Microelectronics 2003 / Series of
Illustration of serial interfaces over WLAN technology for the connection of laboratory automats to a laboratory inform
d-In, Calendar & Contacts , Nextcloud conference 2017

, FOSDEM 2017
nce (SLAC 2017)
tion and Knowledge Transfer to Higher Education , International Conference on Education, Research and Innovation (ICER
öllebeck, Fritz (2008) Are Human Factors the More Important Factors for the Success of Project Based Learning? , Intern
Didactics for the Knowledge Age , Information Conference Microelectronics, Vienna
N Security in the University Environment , Information Conference Microelectronics, Vienna
interfaces via WLAN technology for the connection of laboratory automats to a laboratory information system , inform
ect with international students, summer interns and middle school students , in: International Conference on Robotics and
EADY" , in: Proceedings of the 6th International Conference on Robotics in Education (RIE) 2015
ect with university students, summer interns and middle school students , International Conference on Robotics and Edu
EADY" , International Conference on Robotics and Education (RIE 2017)
ne Interfaces for Wildlife Recognition during the Spring Maiden , in: Proceedings of the 21st Work Scientific Colloquium, pp
sistant for Personalized Video Creation on Mobile Devices , in: Proceedings of the 15th International Conference on Advan
on in Computer Science , in: Proceedings of the 8th annual International Conference on Education, Research and Innovation
ace courses in computer science education , in: Proceedings of the 10th Annual International Technology, Education and D
ssionals - How To Tailor to Corporate Needs , in: Proceedings of the 7th International Conference on Education, Research a
ent are Templates Suitable for Students , in: Proceedings of the Forum Media Technology (FMT 2014)
Lessons Learned from one Decade of Teaching , in: Proceedings of the International Conference on Education and New Le
nt in Higher Education , in: Proceedings of the 6th International Conference on Education, Research and Innovation (ICERI 20
al web-platforms for organizational aspects of teaching , in: International Conference on Education and New Learning Tech
ility Testing Using Low Cost Tools for Teaching Purposes , in: Proceedings of the International Technology, Education and D
le device applications for m-learning purposes , in: Proceedings of the International Technology, Education and Developme
search and learning with the Web 2.0 to reduce the dropout rate , in: Schewa Mandel, Manuel Rutishauser, Eva Seiler Sch
oject - Integrating E-Learning Elements with Social Networks to Simplify the Daily Life of IT-Students , in: Proceedings
Workshop on Computational Models of the Visual Cortex, 2015. [Link] [arXiv] [PDF] [Abstract] [BibTeX]
n_x000D_
of 3D Objects. Parts and Attributes, 2014 (Workshop at ECCV). Extended Abstract. [Link] [PDF] [BibTeX]
al Perception). Extended Abstract. [Link] [Abstract] [BibTeX]
. University of Cambridge, UK, 2006.

er Club, Berlin, Germany, 2005.
agungsband Wirtschaftsinformatik. 2015, pp. 1146–1162.

agement. IDW, Düsseldorf, 2014, pp. 17–36.
heit, Schutz und Zuverlässigkeit. Lecture Notes in Informatics 62, Gesellschaft für Informatik, Bonn, 2005, pp. 27–40.
34, 1 (2019), 93–95.
sity of California at Berkeley, 2016. [Publisher]

ior. In Proceedings of the 1st European Workshop on Usable Security (EuroUSEC). Internet Society, Darmstadt, Germany, 2016. [PDF]
2 (2015), 161–167. [Publisher]
Privacy and Security (SOUPS). USENIX Association, 2014, pp. 69–87. [Publisher]
aw Scholars Conference (PLSC). Washington, DC, 2014.
ptography and Data Security. Lecture Notes in Computer Science 7035, Springer, Berlin Heidelberg, 2011, pp. 1–15.
s, Palo Alto, 2010, pp. 23–28.
Systems (ACM CHI). New York, 2010, pp. 2403–2406.
nformation Security and Privacy. Springer, New York, 2010, pp. 187–209.
nda, eds., The Future of Identity in the Information Society. Springer, New York, 2009, pp. 92–106.
SSAT ’09). 3, IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 52–59.
naging Information Risk and the Economics of Security. Springer, New York, 2009, pp. 291–312.
vacy Remain a Luxury Good? In Workshop on the Economics of Information Security (WEIS). Carnegie Mellon University, Pittsburgh, PA, 20
9, 1 (2007), 16–25.
tin and A. Serjantov, eds., Privacy Enhancing Technologies (PET 2004). Lecture Notes in Computer Science 3424, Springer, Berlin Heidelberg
Wird Datenschutz zum Verbraucherschutz? Verbraucherzentrale NRW, Düsseldorf, 2014, pp. 42–56.
he Herausforderungen im Web 2.0. Schöningh, Paderborn, 2014, pp. 11–31.
hutz und Zuverlässigkeit. Lecture Notes in Informatics 170, Köllen, Bonn, 2010, pp. 317–328.
32, 5 (2008), 342–346.
rändern könnte. Forschung & Lehre, 14, 10 (2007), 610–611.
231–259. [PDF]
). Athens, Greece, 2018, pp. 550–554. [PDF] [Publisher]
y. In Proceedings of the 5th ACM Workshop on Information Hiding and Multimedia Security. ACM, New York, 2017, pp. 3–14. [PDF]
mpression. In ACM Information Hiding and Multimedia Security Workshop. Vigo, Galicia, Spain, 2016, pp. 11–21. [Publisher]
: Media Watermarking, Security, and Forensics 2016. San Francisco, CA, 2016. [PDF]
ging: Media Watermarking, Security, and Forensics 2016. San Francisco, CA, 2016. [PDF]
op on Information Forensics and Security (IEEE WIFS). Rome, Italy, 2015. [PDF]
n. In IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). Vancouver, Canada, 2013, pp. 3028–3032. [PDF]
ics: There is More to a Picture Than Meets the Eye. Springer, New York, 2012, pp. 327–366. [PDF]
nformation Hiding (12th International Conference). Lecture Notes in Computer Science 6985, Springer, Berlin Heidelberg, 2011, pp. 285–29
on Pattern Recognition for IT Security. Darmstadt, Germany, 2010.
, (2010), 150–159.
d C.J. Veenman, eds., International Workshop on Computational Forensics (IWCF). Lecture Notes in Computer Science 5718, Springer, Berli
Wong, eds., Proceedings of SPIE-IS&T Electronic Imaging: Media Forensics and Security XI. 7254, San Jose, CA, 2009, pp. 725421.
, 4 (2008), 582–592.
A, 2007, pp. 78–86.
ding. Lecture Notes in Computer Science 4567, Springer, Berlin Heidelberg, 2007, pp. 326–341.
2005), 108–120.
Informatik 2009 – Im Fokus das Leben. Lecture Notes in Informatics 154, Gesellschaft für Informatik, Bonn, 2009, pp. 1537–1551.
(2016), 760–773. [PDF] [Publisher]

ings of the 26th European Signal Processing Conference (EUSIPCO). EURASIP, Rome, Italy, 2018. [PDF]
and H.-J. Kim, eds., Digital Forensics and Watermarking, 16th International Workshop, IWDW 2017. Lecture Notes in Computer Science 104
ng. Transactions on Data Hiding and Multimedia Security, 10, (2015), 69–91. [Publisher]
IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). Florence, Italy, 2014, pp. 3982–3986. [PDF]
Information Hiding and Multimedia Security Workshop. Salzburg, Austria, 2014, pp. 97–108.
n Hiding and Multimedia Security Workshop. Montpellier, France, 2013, pp. 45–58.
H.-J. Kim and F. Pérez-González, eds., Digital Forensics and Watermarking, 12th International Workshop, IWDW 2013. Lecture Notes in Com
h Independent Embedding. In 21st European Signal Processing Conference (EUSIPCO). IEEE, Marrakech, Morocco, 2013, pp. 1–5.
l Workshop on Information Forensics and Security (IEEE WIFS). Tenerife, Spain, 2012, pp. 193–198.
mation Hiding (14th International Conference). Lecture Notes in Computer Science 7692, Springer, Berlin Heidelberg, 2012, pp. 125–141.
Security. Lecture Notes in Computer Science 7638, Springer, Berlin Heidelberg, 2012, pp. 1–17.
national Conference). Lecture Notes in Computer Science 5806, Springer, Berlin Heidelberg, 2009, pp. 15–30.
ceedings of SPIE-IS&T Electronic Imaging: Security, Forensics, Steganography and Watermarking of Multimedia Contents X. 6819, San Jose,
Computer Science 5284, Springer, Berlin Heidelberg, 2008, pp. 178–194.
orem.’ IEEE Transactions on Multimedia, 9, 6 (2007), 1325–1329.
S&T Electronic Imaging: Security, Steganography and Watermarking of Multimedia Contents VIII. 6072, San Jose, CA, 2006, pp. 59–74.
beisser and F. Pérez-González, eds., Information Hiding (7th International Workshop). Lecture Notes in Computer Science 3727, Springer, Be
D. Gollmann and R. Molva, eds., Computer Security (ESORICS). Lecture Notes in Computer Science 3193, Springer, Berlin Heidelberg, 2004,
orkshop). Lecture Notes in Computer Science 3200, Springer, Berlin Heidelberg, 2004, pp. 82–96.
(MMSEC). ACM Press, New York, 2004, pp. 25–34.
nbettpositionen in steganographischen Systemen. In H. Langweg and M. Meier, eds., Sicherheit 2018 – Sicherheit, Schutz und Zuverlässigke
rnational Conference on ICT Systems Security and Privacy Protection (IFIP SEC). 2017, pp. 327–340. [PDF]
European Workshop on Usable Security (EuroUSEC). Internet Society, Paris, France, 2017. [PDF]
rence on Computer and Communication Security (ACM CCS), 3rd Workshop on Information Sharing and Collaborative Security. ACM, Vienn
93. [Publisher]
nbeisser, V. Lotz, M. Waidner and E. Weippl, eds., Sicherheit 2014 – Sicherheit, Schutz und Zuverlässigkeit. Lecture Notes in Informatics, Ge
G-EOS), 2011.
ith and A.-R. Sadeghi, eds., International Conference on Trust and Trustworthy Computing (TRUST). Lecture Notes in Computer Science 610
re (WESII). Washington, DC, 2006.
Bundestages der 18. Wahlperiode (NSA-Untersuchungsausschuss). Beweisbeschluss SV-19a vom 15. Dezember 2016, Deutscher Bundestag
. In U. Goltz et al., ed., Informatik 2012. Lecture Notes in Informatics 208, Gesellschaft für Informatik, Bonn, 2012, pp. 39–50.
nline-Befragungen mit Selbstrekrutierung. ZUMA-Nachrichten, 59, (2006), 42–71.
to Rico, January 26–30, 2015, Revised Selected Papers. Lecture Notes in Computer Science 8438, Springer, Berlin Heidelberg, 2015.
WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8438, Springer, Berlin H
8–30, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6387, Springer, Berlin Heidelberg, 2010.
an Conference on Object-Oriented Programming, 344-366, 19972271997

Conference on Case-Based Reasoning, 434-448, 20041492004
JP SeifertProceedings of the 13th ACM symposium on Access control models and …, 2008872008
nternational Conference on Model Driven Engineering Languages and Systems …, 2014702014

ternet Research 16 (5), 491-506, 2006682006
, Intelligent and Software Intensive …, 2010672010
tschaftsinformatik 58, 2013602013

ering Conference, 2003., 478-487, 2003592003
erence on Object-Oriented Programming, 205-210, 1997591997
zProceedings of the 16th International Conference on Software & Systems …, 2003552003
ings of INMIC 2004 …, 2004492004
rence on Availability, Reliability and …, 2008482008
Testing, Verification and Reliability 26 (2), 119-148, 2016472016
ds Electronic Democracy, 122-133, 2005472005
puter Standards & Interfaces 19 (7), 335-345, 1998421998
, Intelligent and Software Intensive …, 2010672010

59-568, 2014662014
V Garousi, M Felderer, MV MäntyläProceedings of the 20th international conference on evaluation and …, 2016642016
ware engineering 22 (5), 2298-2338, 201754*2017
si, M Felderer, ...Proceedings of the 2017 International Conference on Software and System …, 2017482017
Testing, Verification and Reliability 26 (2), 119-148, 2016472016
ycle (VALID 2011), 109-114, 2011382011
ce on Software Quality, 159-180, 2012342012

nal Conference on Software Testing Verification and …, 2008342008
ansfer 16 (5), 609-625, 2014302014
nning Systems, 121-137, 2015262015
ational Conference on Software Security and …, 2012262012
MoschittiInternational Workshop on Eternal Systems, 103-116, 2012242012

roceedings of the IASTED International Conference 642, 018, 2009242009
or Technology Transfer 17 (3), 305-319, 2015232015
nternational Conference on Software Quality, 125-146, 2013232013
International Conference on Quality Software, 155-160, 200923*2009
bruck, Austria, 2002.
t Amsterdam, 2002.
Knowledge Engineering fuer die Assekuranz, University of Karlsruhe, Karlsruhe, 1999.
05 2014 - Computers in Industry

d Computer Software
nd Applications
e%5B%5D=sti_conference_paper&type%5B%5D=sti_deliverable&type%5B%5D=sti_article_publication&type%5B%5D=sti_proceeding&typ
ANTiCS 2017)
CSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers
n Semantic Systems
Computer Systems
Information Technologies, Mechanics and Optics

munication Systems
omputing and Communications
05 2014 - Computers in Industry
unication Systems
d Computer Software
e%5B%5D=sti_conference_paper&type%5B%5D=sti_deliverable&type%5B%5D=sti_article_publication&type%5B%5D=sti_proceeding&typ
n Working Notes of CLEF. 2018

ask at PAN-2018: cross-domain authorship attribution and style change detection. In Working Notes Papers of the CLEF. 2018
base Systems. In Proceedings of the 2018 International Conference on Management of Data (SIGMOD 2018), pages 521-534. ACM, 2018
nference 2018 on The Web Conference 2018, pages 1923-1927. International World Wide Web Conferences Steering Committee, 2018.
ic Tracks and Playlists. In Advances in Information Retrieval - 39th European Conference on IR Research (ECIR 2018), pages 584-590. Spring
m, vol. 18, no. 1, pages 51-56. 2018
oceedings of the 4th Digital Humanities Austria Conference (dha 2017), Innsbruck, Austria 2017.
Data. In Proceedings of the IEEE International Symposium on Multimedia (ISM 2017), Taichung, Taiwan, December 11-13, 2017, pages 208-
Proceedings of the 1st ACM SIGSPATIAL Workshop on Recommendations for Location-based Services and Social Networks, pages 6:1-6:10
Classification and Voting for Genre Classification. In CEURS Working Notes Proceedings of the MediaEval 2017 Workshop. CEUR-WS.org, 20
g Tile Regions. In Proceedings of the 29th International Conference on Scientific and Statistical Database Management (SSDBM 2017), page
Overview of the Author Identification Task at PAN-2017: Style Breach Detection and Author Clustering. In CEUR Workshop Proceedings, CLE
proach. In Proceedings of the 2017 ACM International Conference on Multimedia Retrieval (ICMR 2017), pages 201-208. ACM, 2017
s of the 50th Hawaii International Conference on System Sciences (HICSS 2017), Big Island, Hawaii, USA, January 4-7, 2017, pages 1841-185
ternational Journal of Multimedia Data Engineering and Management (IJMDEM), vol. 8, no. 4. 2017
Clustering by Authorship Within and Across Documents. In Working Notes Papers of the CLEF 2016 Evaluation Labs, CEUR Workshop Procee
ew Challenges for Authorship Analysis: Cross-genre Profiling, Clustering, Diarization, and Obfuscation. In Norbert Fuhr et al, editors, Experi
Bestimmung von Schreibstilen. In In Memoriam Wolfgang Richter, Hrsg.: H. Rechenmacher, pages 415-428. EOS-Verlag, 2016.
ge Links. In Proc. of 49th Hawaii International Conference on System Sciences (HICSS 2016), Kauai, Hawaii, USA, January 5-8, 2016, pages 19
008._x000D_
. ©_x000D_
The Aladdin Platform". Fraunhofer IRB Verlag, Stuttgart, 2007, ISBN-13: 978-3-8167-7316-0.
siness Processes. In: Ensign, K.-P .; Härtwig, J .; Kiehne, O .; Weisbecker A. (ed.): Technologies and tools for a role- and task-based knowledg
bution at the International Conference on Knowledge Management (ICKM-07), Vienna 2007
SMEs, filed for 2. Research Forum Austrian technical colleges (FFH-2008), Salzburg, Austria (currently for review)
ssion to the subcommittee ECMS at the Multikonferenz Wirtschaftsinformatik (MKWI-2008), Munich, Germany (currently for review)
ternational Conference on Knowledge Management, Graz, 2006.
G, 2006, ISBN: 3981007115
urnal of Knowledge Management (EJKM), Volume 4 Issue 1, January 2006, ISSN 1479-4411
main Models and Integrated Document Storage. In: Proc. of the 7th European Conference on Knowledge Management (ECKM-05), Budapes
ologies. In: Ensign et. al. (Ed.), Integration of Business Information Systems, Leipzig contributions to computer science: Volume IV, Leipzig, 2
international niche market information. In: Proceedings of the International Conference on Knowledge Management (I-KNOW-06), Graz, 20
Sciences. It showed how the courses are regularly revised.
been awarded the title Visiting Professor.
pplied Sciences Kufstein Tirol, organized by the Master Program Smart Products & Solutions.
EU EFRE Alpine Space Programme, 2013 – 2014, 600.000 Euro

MBF-Verbundprojekt in Deutschland “THESEUS”, 2008-2013, 214.000 Euro
s, Siemens AG, 2012- 2013, 40.000 Euro
lona Tech, Hospital Barcelona, 2010
ME-DCL EU-Calls, 2012-2014, 600.000.- Euro
age Matching Using Supervised Learning. In Proceedings of the 8th International Conference on Signal Image Technology & Internet Based
he AIR Middleware Framework. In Proceedings of the First International Workshop on Multimedia Databases and Data Engineering in conju
nternational Workshop on Text-based Information Retrieval in conjunction with DEXA 2012, Wien, Österreich, 2012
omatic Image Annotation. In Proceedings of the ACM International Conference on Multimedia Retrieval, pages: 46:1-46:8, Hong Kong, Chin
h. In Proceedings of the 18th International Conference on Multimedia Modelling. January 4-6, Klagenfurt, Austria, 2012.
M SIGCOM, pages 448-449, Toronto Canada, ACM, 2011.
erogeneous Multimedia Environments: Concept and Ideas, In Proceedings of the 8th International Workshop on Adaptive Multimedia Retr
vation Interoperability Framework Symposium, Dresden, Germany, ACM, 2010
edings of the ACM Symposium on Applied Computing (SAC), Track on Advances in Spatial and Image-based Information Systems (ASIIS), pag
ceedings of International Conference on Multimedia Computing and Systems, Springer-Verlag.
Image Folkonomic. Document Numérique, Nr. 1/2014, 2014
JPEG’s JPSearch Standard: Harmonizing Image Management and Search. IEEE MultiMedia, 20(4):38-48, 2013.
xternal multimedia meta-search engine, In International Journal of Multimedia Data Engineering and Management, Vol. 3(4), 2012, pp. 31
Pierre-Antoine Champin, Mario Doller and Harald Kosch. Unified Access to Media Metadata on the Web: Towards Interoperability Using a C
Lack of Standardization in Mobile Image Retrieval, IEEE Signal Processing: Image Communication, 28(4): 386–401 2012.
nd Lionel Brunie, Landmark assisted Location and Tracking in Outdoor Mobile Network, Multimedia Tools and Applications, 59(1):89-111, S
to unify the access to Multimedia Retrieval Systems, IEEE Multimedia 15(4):82-95, 2008.
Sciences. It showed how the courses are regularly revised.
been awarded the title Visiting Professor.
pplied Sciences Kufstein Tirol, organized by the Master Program Smart Products & Solutions.
strian Research Promotion Agency (FFG) as a BRIDGE project
rnational Publishing, 01.2016, pp. 162-173.
etworking and Applications (AINA-2012). IEEE Computer Society Press , p. 1221-1226 6 p. (Computer Society Digital Library)
d Web Technologies (EIDWT 2011). Unknown publisher , pp. 153-158 6 p. (Computer Society Digital Library)
ning. Cerebral Cortex, 24:677-690, 2014. (PDF). (Supplementary material PDF)
02, 2011. (PDF). (Commentary by R. P. Costa and P. J. Sjöström in Frontiers in Synaptic Neuroscience P
Montreal, Canada, 2018. (PDF).
Student-Centered Classrooms , in: International Journal of Engineering Pedagogy 8 (1) 2018/1, pp. 127-147
Sciences Vienna , in: Digital Universities. International Best Practices and Applications
rnational Conference on Education and New Learning Technologies (EDULEARN) 2016
mics, Cybernetics and Informatics, Volume 9, Number 2, 2011, pp. 51-55
of Education and Information Technologies 1/5
nd Personal Health Device Data into Medical Information Systems , in: The Journal on Information Technology in Healthca
Classroom on C Programming , in: Proceedings of EdMedia: World Conference on Educational Media and Technology, pp. 11
, in: Advances in Web-Based Learning, 17th International Conference on Web-based Learning (ICWL 2018 )
7th International Conference on the Future of Education
eractive Collaborative Learning (ICL 2017), pp. 468-478
d Sciences Technikum Wien , in: Proceedings of the 10th International Conference on Optimizing Higher Education for the Pr
on, Research and Innovation (ICERI) 2015
Technology, Education and Development Conference (INTED) 2016
ultural Identity in the Midst of Global Modernization
ion and Development Conference (INTED 2014)
in: International Journal of Engineering Pedagogy 8 (1) 2018/1, pp. 127-147

, in: Advances in Web-Based Learning, 17th International Conference on Web-based Learning (ICWL 2018 )
eractive Collaborative Learning (ICL 2017), pp. 468-478
ce on Education, Research and Innovation (ICERI 2014)
nce on Education and New Learning Technologies (EDULEARN 2014)

ence on E-Learning in the Workplace (ICELW 2014)
arch and Innovation (ICERI 2013)
of 9th International Conference on Computer Games and Allied Technologies (CGAT 2016)
Conference on Robotics and Education (RIE 2017)
on Robotics in Education, 2011, Vienna, September, 15th - 16th, 2011, p. 185 - 192, ISBN: 978-3-200-02273-7 InProceedings
mprove Their Motivation to Learn
nal Intelligence, Man-Machine Systems and Cybernetics (CIMMACS '11),
chke F. (ed.); Basic questions of multimedia teaching and learning, e-cooperation and e-practice; Waxmann Verlag, Münster, 20
of Education and Information Technologies 1/5
ents mapped with T2 imaging , in: MAGMA 21/3, pp. 219-226
ing activation using T2-parameter magnetic resonance imaging methods , in: Artif Organs, pp. 604-608
: Proceedings / Center for Medical Physics and Biomedical Engineering, Medical University of Vienna / Vienna Medical School
onal Conference on Applied Computer Science (ACS), Malta, pp. 563-568
2010 / Thames Valley University London (UK) / ISBN: 978-90-813727-3-2
and Simulation Symposium
oceedings of the 21st European Modeling and Simulation Symposium
nal workshop on functional electrostimulation, pp. 159-162
onference of Education, Research and Innovation / International Association of Technology, Education and Development (IATE
ence PBL2008 ABP / Colima (Mexic
ect Based Learning? , in: Proceedings of the International Conference PBL2008 ABP, Colima (Mexico)
ning Increase the Performance of Students? , in: Proceedings of the 15th Annual EDINEB International Conference "Advanc
n: Proceedings of the International Conference PBL2006 ABP, Lima (Peru)
of the ICAM4 Fourth International Conference on Applied Mathematics, Creative Mathematics, Baia Mare (Romania) /, pp. 121-
eb (b-web), in: Book of Abstracts / ICAM4 Fourth International Conference on Applied Mathematics
ceedings of the International Conference PBL2004 Pleasure by Learning, Cancun (Mexico)
ternational Conference PBL2004 Pleasure by Learning, Cancun (Mexico)
nics 2003 / series of publications of the ÖVE No. 33, pp. 461-467
roelectronics 2003 / Series of the ÖVE No. 33 /, pp. 315-320
omats to a laboratory information system , in: Contributions of the information conference microelectronics 2003 / series of
esearch and Innovation (ICERI) / 2009 / 16th-18th November / Madrid (Spain)

ect Based Learning? , International Conference PBL2008 ABP / January 30 - February 1 2008 / Colima (Mexico)
information system , information conference microelectronics, Vienna
Conference on Robotics and Education (RIE 2017)
ference on Robotics and Education (RIE 2017)
Work Scientific Colloquium, pp. 222-232
national Conference on Advances in Mobile Computing & Multimedia (ACM 2017), pp. 210-215
on, Research and Innovation (ICERI) 2015
Technology, Education and Development Conference (INTED) 2016
ce on Education, Research and Innovation (ICERI 2014)
nce on Education and New Learning Technologies (EDULEARN 2014)

arch and Innovation (ICERI 2013)
cation and New Learning Technologies (EDULEARN)
Technology, Education and Development Conference (INTED),
gy, Education and Development Conference (INTED) 2010, Valencia, Spain. March 8th - 10th 2010
l Rutishauser, Eva Seiler Schiedt (ed.): Digital media for teaching and research
T-Students , in: Proceedings of the International Workshop GUIDE 2010
adt, Germany, 2016. [PDF]
lon University, Pittsburgh, PA, 2007.
3424, Springer, Berlin Heidelberg, 2005, pp. 243–255.

k, 2017, pp. 3–14. [PDF]
11–21. [Publisher]
a, 2013, pp. 3028–3032. [PDF]
lin Heidelberg, 2011, pp. 285–298.
uter Science 5718, Springer, Berlin Heidelberg, 2009, pp. 90–103.

A, 2009, pp. 725421.
, 2009, pp. 1537–1551.
Notes in Computer Science 10431, Springer, Cham, 2017, pp. 331–346.
pp. 3982–3986. [PDF]
WDW 2013. Lecture Notes in Computer Science 8389, Springer, Berlin Heidelberg, 2014, pp. 3–18.
orocco, 2013, pp. 1–5.
Heidelberg, 2012, pp. 125–141.
edia Contents X. 6819, San Jose, CA, 2008.
Jose, CA, 2006, pp. 59–74.

mputer Science 3727, Springer, Berlin Heidelberg, 2005, pp. 278–295.
pringer, Berlin Heidelberg, 2004, pp. 125–140.
herheit, Schutz und Zuverlässigkeit. Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2018, pp. 83–94.
llaborative Security. ACM, Viennea, Austria, 2016, pp. 1–2. [Publisher]
Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2014.
Notes in Computer Science 6101, Springer, Berlin Heidelberg, 2010, pp. 381–395.
mber 2016, Deutscher Bundestag, Berlin, 2017.

n, 2012, pp. 39–50.
Berlin Heidelberg, 2015.

r Science 8438, Springer, Berlin Heidelberg, 2014.
2016642016
ype%5B%5D=sti_proceeding&type%5B%5D=sti_technical_report&items_per_page=10
pe%5B%5D=sti_proceeding&type%5B%5D=sti_technical_report&items_per_page=10
s of the CLEF. 2018

8), pages 521-534. ACM, 2018
s Steering Committee, 2018.
IR 2018), pages 584-590. Springer, 2018
cember 11-13, 2017, pages 208-215. IEEE Computer Society, 2017

Social Networks, pages 6:1-6:10. ACM, 2017
017 Workshop. CEUR-WS.org, 2017
anagement (SSDBM 2017), pages 33. 2017
EUR Workshop Proceedings, CLEF 2017 Working Notes, Dublin, Ireland, September 11-14, 2017.
ages 201-208. ACM, 2017
nuary 4-7, 2017, pages 1841-1850. IEEE, 2017.
on Labs, CEUR Workshop Proceedings, September 2016. CLEF and CEUR-WS.org. ISSN 1613-0073.
orbert Fuhr et al, editors, Experimental IR Meets Multilinguality, Multimodality, and Interaction. 7th International Conference of the CLEF In
. EOS-Verlag, 2016.
USA, January 5-8, 2016, pages 1920-1929. IEEE, Jan. 2016.
a role- and task-based knowledge management. Leipzig Contributions to Computer Science, Volume V. Verlag der Universität Leipzig, 2007
many (currently for review)
anagement (ECKM-05), Budapest: Corvinus University of Budapest, 2006.

ter science: Volume IV, Leipzig, 2006, ISBN-13: 978-3-934178-66-3
nagement (I-KNOW-06), Graz, 2006.
ge Technology & Internet Based Systems (SITIS 2012), Naples, Italy, IEEE, pages: 230-237, 2012.
es and Data Engineering in conjunction with VLDB 2012, Istanbul, Turkey, 2012
ages: 46:1-46:8, Hong Kong, China, ACM, 2012

Austria, 2012.
op on Adaptive Multimedia Retrieval, August 17-18, pages 61-73, Linz, Austria, LNCS 6817, Springer, 2011.
Information Systems (ASIIS), pages 881-887, Sierre, Switzerland, 2010.
agement, Vol. 3(4), 2012, pp. 31-51

wards Interoperability Using a Core Vocabulary. IEEE MultiMedia, 20 (2): 22-29, 2012
6–401 2012.
and Applications, 59(1):89-111, Springer, 2012.
ty Digital Library)
ynaptic Neuroscience PDF)
pp. 127-147
mation Technology in Healthcare / 2009 / Vol 7 (4) / 1479-649X / pp .214-221

Media and Technology, pp. 1143-1153
CWL 2018 )
g Higher Education for the Professional Student (GUIDE) 2015

CWL 2018 )
3-200-02273-7 InProceedings (paper / paper of a conference, etc.) Tesar, Michael 2011 Kindergarten Children Programming Ro
Waxmann Verlag, Münster, 2010;
pp. 604-608
nna / Vienna Medical School / ISBN 3-900928-09-5 / 388 S.
ation and Development (IATED) / Chova, Belengure, Torres / 2009 / 16th-18th November / Despositó Legal / Madrid (Spain)
rnational Conference "Advances in Business Education and Training" / June 11-13 2008 / Malaga (Spain)
a Mare (Romania) /, pp. 121-126
roelectronics 2003 / series of publications of the ÖVE No. 33, pp. 297-302
Colima (Mexico)

ational Conference of the CLEF Initiative (CLEF 16), Berlin Heidelberg New York, September 2016. Springer. ISBN 978-3-319-44564-9.
lag der Universität Leipzig, 2007. ISBN: 978-3-934178-76-2
en Children Programming Robots: A First Attempt RiE 2011, 2nd International Conference
sitó Legal / Madrid (Spain)

ISBN 978-3-319-44564-9.
Column 1
E-mailseclab-informatik@uibk.ac.at
Phone+43 512 507-53354
Fax+43 512 507-53018
AddressTechnikerstraße 21A, 6020 Innsbruck, Austria
OfficeICT 3S11
Office hoursMon09 AM – 01 PMTue09 AM – 01 PMWed09 AM – 01 PMThu09 AM – 01 PMFri09 AM – 01 PM
since 11/2017_x000D_
Secretary of the Security and Privacy Lab, Department of Computer Science, University of Innsbruck
2016 – 2017_x000D_
Librarian, University of Applied Sciences, Kufstein, Austria
2009 – 2016_x000D_
Librarian, University of Innsbruck
Ten principles for living models-a manifesto of change-driven software engineeringR Breu2010 International Conference on Co
A taxonomy of risk-based testingM Felderer, I SchieferdeckerInternational Journal on Software Tools for Technology Transfer 16
The need for multivocal literature reviews in software engineering: complementing systematic literature reviews with grey liter
Naming the pain in requirements engineeringDM Fernández, S Wagner, M Kalinowski, M Felderer, P Mafra, A Vetrò, ...Empirica
Hybrid software and system development in practice: waterfall, scrum, and beyondM Kuhrmann, P Diebold, J Münch, P Tell, V G
Model-based security testing: a taxonomy and systematic classificationM Felderer, P Zech, R Breu, M Büchler, A PretschnerSoft
Security testing: A surveyM Felderer, M Büchler, M Johns, AD Brucker, R Breu, A PretschnerAdvances in Computers 101, 1-51, 2
A classification for model-based security testingM Felderer, B Agreiter, P Zech, R BreuAdvances in System Testing and Validation
Integrating risk-based testing in industrial test processesM Felderer, R RamlerSoftware Quality Journal 22 (3), 543-575, 201434
Integrating manual and automatic risk assessment for risk-based testingM Felderer, C Haisjackl, R Breu, J MotzInternational Con
Querying UML models using OCL and Prolog: A performance studyJ Chimiak_Opoka, M Felderer, C Lenz, C Lange2008 IEEE Inte
A multiple case study on risk-based testing in industryM Felderer, R RamlerInternational Journal on Software Tools for Technolo
Research challenges of industry 4.0 for quality managementH Foidl, M FeldererInternational Conference on Enterprise Resourc
Towards a model based security testing approach of cloud computing environmentsP Zech, M Felderer, R Breu2012 IEEE Sixth I
A survey on software testabilityV Garousi, M Felderer, FN KılıçaslanInformation and Software Technology, 2018252018
Anomaly detection in the cloud: Detecting security incidents via machine learningM Gander, M Felderer, B Katt, A Tolbaru, R Br
Concepts for model-based requirements testing of service oriented systemsM Felderer, R Breu, J Chimiak-Opoka, M Breu, F Sch
A systematic classification of security regression testing approachesM Felderer, E FourneretInternational Journal on Software To
Using defect taxonomies to improve the maturity of the system test process: results from an industrial case studyM Felderer, A
Towards adaptive test code generation for service oriented systemsM Felderer, P Zech, F Fiedler, J Chimiak-Opoka, R Breu2009
A Formalization of Termination Techniques in Isabelle/HOL_x000D_
January
October2013.
2007.University
Available as of Innsbruck,
Technical ReportAustria.
AIB-2007-17, RWTH Aachen University, Germany._x000D_
A Verified Implementation of Algebraic Numbersfixed.
In this revised version some typos have been in Isabelle/HOL_x000D_
Journal
(The finalof Automated
publication is Reasoning, online first, 2018.
available at_x000D_
Springer)confluence, and termination analysis with state-compatible automata_x000D_
Reachability,
Information
A Frameworkand forComputation, 253(3):467-483,
Developing Stand-Alone 2017.
Certifiers_x000D_
Electronic Notes in Theoretical
(The final publication is available Computer
at_x000D_ Science, 312:51-67, 2015.
by permission of ACM for your personal use. Not for redistribution. The definitive_x000D_
version
Automatedwas published
Termination in Proofs
ACM TOPLAS,
for Logic33(2):7,
Programs2011,by http://doi.acm.org/10.1145/1890028.1890030.
Term Rewriting_x000D_
ACM Transactions
Preliminary version_x000D_on Computational Logic 11(1):1-52, 2009.
(The
(The final publication
original publication is available at www.springerlink.com)
(The original publication is available at _x000D_
and Reasoning (LPAR '18)_x000D_
EPiC Series in Computing
In Proceedings of the 9th 57, pages 164Conference
International – 180, 2018.on Interactive Theorem Proving (ITP '18), _x000D_
Lecture Notes in Computer Science 10895, pages 160-177, 2018.
_x000D_
pages 2-13, 2018.
'17),_x000D_
Lecture Notes inofComputer
In Proceedings Science 10483,
the 26th International pages 3-21,
Conference on 2017.
Automated Deduction (CADE '17), _x000D_
Lecture Notes in Computer Science 10395, pages
In Proceedings of the 6th ACM SIGPLAN Conference on Certified 454-471, 2017. Programs and Proofs (CPP '17), _x000D_
pages 17-29, 2017.
In Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (CSL '16),_x000D_
Leibniz International Proceedings
Interactive Theorem in Proving
Informatics
(ITP 62, pages 8:1-8:16, 2016.
'16),_x000D_
In Proceedings of the 5th Lecture
ACMNotesSIGPLANin Computer
Conference Science 9807, pages
on Certified 391-408,
Programs 2016. (CPP '16), _x000D_
and Proofs
pages 88-99, 2016.
'15),_x000D_
Lecture NotesTheorem
Interactive in Artificial Intelligence
Proving 9322, pages 239-255, 2015.
(ITP '15),_x000D_
Lecture Notes in Computer
Rewriting Techniques and Applications (RTA Science 9236, pages 421-437, 2015.
'15),_x000D_
Leibniz Notes
Lecture International Proceedings
in Computer Science, in 8471,
Informatics
pages 36, pages 2014,_x000D_
216-232, 23-39, 2015.
© Springer-Verlag.
'14),_x000D_
Electronic
Lecture Notes Proceedings
in Computer in Theoretical
pagesScience
184-191,167:61-72, 2014.
2014,_x000D_
© Springer-Verlag.
441-455, 2014,_x000D_
© Springer-Verlag.
Lecture Notes in Computer Science 8370, pages 347-359, 2014, ©_x000D_
Springer-Verlag.
Lecture Notes in Computer Science 7998, pages 245-260, 2013, ©_x000D_
Springer-Verlag.
Rewriting Techniques and Applications (RTA '13),_x000D_
Leibniz
LectureInternational
Notes in ComputerProceedings
Science in7406,
Informatics
pages 21:287-302,
266-282, 2012, 2013.
©_x000D_
Springer-Verlag.
Leibniz
LectureInternational Proceedings
Notes in Artificial in Informatics
Intelligence 6989, pages15:339-354, 2012. ©_x000D_
243-258, 2011.
Springer-Verlag.
Lecture Notes in Computer Science 6898, pages 152-167, 2011. © _x000D_
Springer-Verlag.
Strategies in Rewriting, Proceedings
Proving, and in Programming,
Informatics 10:329-344,
Electronic2011.
Proceedings in Theoretical Computer
Science 44:51-65, 2010.
Lecture Notes in Computer Science 6247, pages 514-528, 2010. ©_x000D_
Springer-Verlag.
Cambridge University Press._x000D_
ExtendedTechniques
Rewriting version appeared as Technical
and Applications Report
(RTA AIB-2010-10, RWTH Aachen, Germany.
'10),_x000D_
452-468, 2009. ©_x000D_ Proceedings in Informatics 6:325-340, 2010.
Springer-Verlag.
All proofs are
Spindleruv available
Mlyn, Czechin this extended
Republic. Lecture version.
Notes in Computer Science 5404, pages 533-545, 2009. ©
Springer-Verlag
Extended
5117, pages version
366-380,available
2008.as©_x000D_
Technical Report AIB-2008-13, RWTH Aachen, Germany.
Springer-Verlag
Springer-Verlag_x000D_
Extended version available as Technical Report AIB-2008-03, RWTH Aachen, Germany.
Elsevier. _x000D_
Original
pages publication
267-282, 2007.available
Springer-Verlag
In Proceedings of the 21st Conference on Automated Deduction (CADE '07), Bremen, Germany,_x000D_
Lectureand
Theory Notes in Artificial
Applications of Intelligence
Satisfiability4603, pages
Testing (SAT443-459, 2007.
'07), Lisbon, ©Springer-Verlag
Portugal,_x000D_
Lecture
SynthesisNotes in Computer Science
and Transformation (LOPSTR 4501, pages
'06), 340-354,
Venice, 2007. ©Springer-Verlag
Italy, Lecture_x000D_
Notes
PhnominPenh,
Computer Science
Cambodia, 4407,Notes
Lecture pagesin 177-193,
Artificial2006. ©Springer-Verlag
Intelligence 4246, pages 30-44, 2006. ©_x000D_
Springer-Verlag
Reasoning (IJCAR '06), Seattle, USA, Lecture_x000D_
Notes in Artificial
Techniques Intelligence(RTA
and Applications 4130, pages
'06), 281-286,
Seattle, USA, 2006. ©Springer-Verlag
Lecture_x000D_
Notes in Computer
pages 216-231, Science
2005. 4098, pages 297-312, 2006. ©Springer-Verlag
©_x000D_
Springer-Verlag
pages 301-331, 2005. ©_x000D_
Springer-Verlag
©_x000D_
Springer-Verlag
©_x000D_
Springer-Verlag
My PGP key
Column 1
Me about myself, education and training
Prof. (FH) PD Dr. med. habil. Dr. Mario Döller received his PhD from the University of Klagenfurt (Austria) in 2004 and complete
Education and higher education
October 1995 - September 2001: Study of Applied Computer Science at the University of Klagenfurt, Austria
November 2004: Dissertation Topic: The MPEG-7 Multimedia Database System (MPEG-7 MMDB) "at the University of Klagenfu
January 2012: Habilitation in the Department of Computer Science at the University of Passau
Professional background
2001 -2004: Research Associate, University of Klagenfurt
2004 -2006: Research representative of the company CenterPoint GmbH (Villach, Austria) 2006 -2011: Temporary Academic Co
2011 -2012: Substitute Professor of Media Informatics, University of Passau
since October 2012: Professor (FH) for Web Business & Technology FH Kufstein Tyrol, Austria
since August 2012: Privatdozent at the University of Passau
since April 2016: Rector (FH) of FH Kufstein Tirol, Austria
Prizes, scholarships and awards
Selection of third-party funded projects / research projects
Extract Publications
Hatem Mousselly-Sergieh, Mario Döller, Elöd Egyed-Zsigmond, Gabriele Gianini, Harald Kosch, and Jean-Marie Pinon. Tag Relat
Hatem Mousselly Sergieh, Daniel Watzinger, Bastian Huber, Mario Döller, Elöd Egyed-Zsigmond, Harald Kosch. Folkioneer: Effic
Hatem Mousselly Sergieh, Elöd Egyed-Zsigmond, Mario Döller, Gabriele Gianini, Harald Kosch, Jean-Marie Pinon. Tag Similarity
Hatem Mousselly Sergieh, Elöd Egyed-Zsigmond, Mario Döller David Coquil, Jean-Marie Pinon und Harald Kosch. Improving SU
Florian Stegmaier, Kai Schlegel, Sebastian Bayerl, Mario Döller, und Harald Kosch. Optimization of Federated Multimedia Querie
Helene Schmolz, David Coquil und Mario Döller. In-Depth Analysis of Anaphora Resolution Requirements. In Proceedings of the
Hatem Mousselly Sergieh, Mario Döller, Elöd Egyed-Zsigmond, Gabriele Gianini, Harald Kosch und Jean-Marie Pinon. Geo-base
Mario Döller, Florian Stegmaier, Simone Jans und Harald Kosch. TempoM2: A Multi Feature Access Method for Temporal Video
Tilmann Rabl, Florian Stegmaier, Mario Döller und The Tong Vang. A Protocol for Disaster Data Evacuation, In Proceedings of th
Florian Stegmaier, Tobias Bürger, Mario Döller und Harald Kosch, Knowledge based Multimodal Result Fusion for Distributed an
Mario Döller, David Coquil, Digital preservation: the multimedia standards way, In Proceedings of the 1st International Digital P
Mario Döller, Florian Stegmaier, Harald Kosch, Ruben Tous und Jaime Delgado, Standardized Interoperable Image Retrieval, In P
Mario Döller, Günther Köckerandl, Simone Jans und Lyes Limam, MoidEx: Location-based mTourism system on mobile devices,
Hatem Mousselly-Sergieh, Elder Egyed-Zsigmond, Gabriele Gianini, Mario Döller, Jean-Marie Pinon, Harald Kosch. Tag Relatedn
Mario Döller, Ruben Tous, Frederik Temmermans, Kyoungro Yoon, Je-Ho Park, Youngseop Kim, Florian Stegmaier und Jaime Del
Kai Schlegel, Florian Stegmaier, Sebastian Bayerl, Harald Kosch, und Mario Döller Exploring different optimization techniques fo
Florian Stegmaier, Werner Bailer, Tobias citizens, Mari Carmen Suarez-Figueroa, Erik Mannens, Jean-Pierre Evain, Martin Hoefe
Frederik Temmermans, Mario Döller, Iris Vanhamel, Bart Jansen, Adrian Munteanu und Peter Schelkens, JPSearch: an Answer t
Marco Anisetti, Claudio A. Ardagna, Valerio Bellandi, Ernesto Damiani, Mario Döller, Florian Stegmaier, Tilmann Rabl, Harald Ko
Mario Döller, Ruben Tous, Matthias Gruhne, Kyoungro Yoon, Masanori Sano und Ian S Burnett, The MPEG Query Format: On th
As part of a symposium Mag. (FH) Sara Neubauer gave an insight into the quality management at the Kufstein University of App
Prof. (FH) Manfred Reitsamer, who has been an external and very popular lecturer at the FH Kufstein Tirol for more than 4 year
Under this motto, the 4th edition of the event series "Smart Products & Systems" (SPS) was held on 15.3.2019 at the University
9 AM – 01 PM
Column 1
Ruth Brief
Ruth Brief
Ruth Brief
1983-1988 study computer science University of Passau

1988-1990 research associate at the University of Passau
07.06.1991 Doctorate in computer science (Dr.rer.nat.) With distinction (summa cum
07.07.1999 Habilitation in computer science, Technical University of Munich
1991-2002 research associate TU Munich (part time)
1995-1999 Habilitation fellowship of the Deutsche Forschungsgemeinschaft
1999-2002 freelance consultant for software engineering
International Conference on Complex, Intelligent and Software
since 2002Intensive
Professor
…, at
2010672010
the University of Innsbruck, Department of Computer Scienc
Tools for Technology Transfer 16 (5), 559-568, 201466 2003 co-founder of arctis Softwaretechnologie GmbH
literature reviews with grey literatureV Garousi, M Felderer,
2004-2007
MV MäntyläProceedings
and since 2013 head ofof
the
the
20th
Institute
international
of Computer
conference
Science
on evaluation an
rer, P Mafra, A Vetrò, ...Empirical software engineerin since 2009 Head of QE LaB - Quality Engineering Laura Bassi Center of Expertise
n, P Diebold, J Münch, P Tell, V Garousi, M Felderer, ...Proceedings
since 2011 Member
of the 2017
of the
International
Board of Trustees
Conference
FWF on Software and System …, 20174
eu, M Büchler, A PretschnerSoftware Testing, Verificat 2012 co-founder of QE LaB Business Services GmbH
ances in Computers 101, 1-51, 2016412016 curriculum vitae
in System Testing and Validation Lifecycle (VALID 20 07.07.1999 Habilitation in Computer Science, Technical University Munich
Journal 22 (3), 543-575, 2014342014 1991-2002 PostDoc at Technische Universität München (part time)
R Breu, J MotzInternational Conference on Software 1995-1999 Scholarship (Habilitationsstipendium) German Research Foundation
r, C Lenz, C Lange2008 IEEE International Conference on FFGSoftware
Talents Testing
Internship
Verification
2016 on and
Software
…, 2008342008
Quality
al on Software Tools for Technology Transfer 16 (5), IT Prize of the City of Innsbruck 2016
onference on Enterprise Resource Planning Systems, Defense Christian sillabae
Felderer, R Breu2012 IEEE Sixth International Conference SEAA
on Software
2016 Security and …, 2012262012
echnology, 2018252018 QE Links
M Felderer, B Katt, A Tolbaru, R Breu, A MoschittiInternational Workshop on Eternal Systems, 103-116, 2012242012
J Chimiak-Opoka, M Breu, F SchuppProceedings of the IASTED International Conference 642, 018, 2009242009
ernational Journal on Software Tools for Technology Transfer 17 (3), 305-319, 2015232015
dustrial case studyM Felderer, A BeerInternational Conference on Software Quality, 125-146, 2013232013
r, J Chimiak-Opoka, R Breu2009 Ninth International Conference on Quality Software, 155-160, 200923*2009
t (Austria) in 2004 and completed his habilitation in computer science at the University of Passau (Germany) in 2012. Dr. med. Döller is a pr
nfurt, Austria
B) "at the University of Klagenfurt
6 -2011: Temporary Academic Council at the University of Passau
and Jean-Marie Pinon. Tag Relatedness using Laplacian Score Feature Selection & Adapted Jensen-Shannon Divergence, In Proceedings of t
d, Harald Kosch. Folkioneer: Efficient Browsing of Community Geotagged Images on a Worldwide Scale, In Proceedings of the 20th Internati
Jean-Marie Pinon. Tag Similarity in Folksonomies, In Proceedings of the International Conference INFORSID, Paris, France, pages: 319-334, 2
und Harald Kosch. Improving SURF Image Matching Using Supervised Learning. In Proceedings of the 8th International Conference on Signa
of Federated Multimedia Queries in the AIR Middleware Framework. In Proceedings of the First International Workshop on Multimedia Da
uirements. In Proceedings of the 9th International Workshop on Text-based Information Retrieval in conjunction with DEXA 2012, Wien, Ös
nd Jean-Marie Pinon. Geo-based Automatic Image Annotation. In Proceedings of the ACM International Conference on Multimedia Retriev
ess Method for Temporal Video Search. In Proceedings of the 18th International Conference on Multimedia Modelling. January 4-6, Klagen
Evacuation, In Proceedings of the ACM SIGCOM, pages 448-449, Toronto Canada, ACM, 2011.
Result Fusion for Distributed and Heterogeneous Multimedia Environments: Concept and Ideas, In Proceedings of the 8th International W
of the 1st International Digital Preservation Interoperability Framework Symposium, Dresden, Germany, ACM, 2010
eroperable Image Retrieval, In Proceedings of the ACM Symposium on Applied Computing (SAC), Track on Advances in Spatial and Image-b
rism system on mobile devices, In Proceedings of International Conference on Multimedia Computing and Systems, Springer-Verlag.
non, Harald Kosch. Tag Relatedness in Image Folkonomic. Document Numérique, Nr. 1/2014, 2014
Florian Stegmaier und Jaime Delgado. JPEG’s JPSearch Standard: Harmonizing Image Management and Search. IEEE MultiMedia, 20(4):38-4
erent optimization techniques for an external multimedia meta-search engine, In International Journal of Multimedia Data Engineering and
Jean-Pierre Evain, Martin Hoefernig, Pierre-Antoine Champin, Mario Doller and Harald Kosch. Unified Access to Media Metadata on the W
chelkens, JPSearch: an Answer to the Lack of Standardization in Mobile Image Retrieval, IEEE Signal Processing: Image Communication, 28(
gmaier, Tilmann Rabl, Harald Kosch, und Lionel Brunie, Landmark assisted Location and Tracking in Outdoor Mobile Network, Multimedia T
The MPEG Query Format: On the way to unify the access to Multimedia Retrieval Systems, IEEE Multimedia 15(4):82-95, 2008.
at the Kufstein University of Applied Sciences. It showed how the courses are regularly revised.
ufstein Tirol for more than 4 years, has been awarded the title Visiting Professor.
d on 15.3.2019 at the University of Applied Sciences Kufstein Tirol, organized by the Master Program Smart Products & Solutions.
.) With distinction (summa cum laude) University of Passau
al University of Munich
orschungsgemeinschaft
Department of Computer Science, Head of the Research Group Quality Engineering
omputer Science
ra Bassi Center of Expertise
cal University Munich

en (part time)
man Research Foundation
) in 2012. Dr. med. Döller is a professor for multimedia and web-based information systems at the University of Applied Sciences Kufstein T
Divergence, In Proceedings of the 20th International Conference on Multimedia Modelling, pages: 159-171, Dublin Ireland, 2014
roceedings of the 20th International Conference on Multimedia Modelling, Dublin Ireland, 2014
Paris, France, pages: 319-334, 2013.
ernational Conference on Signal Image Technology & Internet Based Systems (SITIS 2012), Naples, Italy, IEEE, pages: 230-237, 2012.
al Workshop on Multimedia Databases and Data Engineering in conjunction with VLDB 2012, Istanbul, Turkey, 2012
ction with DEXA 2012, Wien, Österreich, 2012
nference on Multimedia Retrieval, pages: 46:1-46:8, Hong Kong, China, ACM, 2012
Modelling. January 4-6, Klagenfurt, Austria, 2012.
dings of the 8th International Workshop on Adaptive Multimedia Retrieval, August 17-18, pages 61-73, Linz, Austria, LNCS 6817, Springer, 2
Advances in Spatial and Image-based Information Systems (ASIIS), pages 881-887, Sierre, Switzerland, 2010.
Systems, Springer-Verlag.
ch. IEEE MultiMedia, 20(4):38-48, 2013.

ultimedia Data Engineering and Management, Vol. 3(4), 2012, pp. 31-51
s to Media Metadata on the Web: Towards Interoperability Using a Core Vocabulary. IEEE MultiMedia, 20 (2): 22-29, 2012
ng: Image Communication, 28(4): 386–401 2012.
Mobile Network, Multimedia Tools and Applications, 59(1):89-111, Springer, 2012.
15(4):82-95, 2008.
Products & Solutions.

ty of Applied Sciences Kufstein Tirol and a lecturer at the University of Passau. He is an active member of the standards committees MPEG (
1, Dublin Ireland, 2014

EE, pages: 230-237, 2012.
, Austria, LNCS 6817, Springer, 2011.
2): 22-29, 2012

he standards committees MPEG (ua, Session Chair of the MPEG Query Format Standards), and JPEG (JPSearch), as well as a founding memb
rch), as well as a founding member of the "Multimedia Applications" standardization group in Austria. In addition, Dr. Döller external exper
ddition, Dr. Döller external expert (invited expert) of the Media Annotation Working Group of the W3C. Dr. Döller is on the program committ
Döller is on the program committee of numerous journals and conferences and was on the organizing committee of EuroPar 2002, MUE 20
mittee of EuroPar 2002, MUE 2010 and SMTP 2010 conference. In addition, Dr.
Chen Joshua Wei Shen
Chimiak-Opoka Joanna
Dvorsky Richard
Ekici Burak
Fahringer Thomas
Faragardi Hamid Reza
Felderer Michael
Felgenhauer Bertram
Fensel Anna
Fensel Dieter
Fröwis Michael
Furtmüller Elfriede
Georgiev Venislav
Gerrier Thiebault
Gritzer Roland
Gschwandtner Philipp
Ha Van Quang
Haller Simon
Hamze Noura
Harders Matthias
Haslbeck Maximilian
Hils Maximilian
Hirsch Alexander
Hollenstein Jakob
Hoschenko Ksenia
Hou Ping
Huaman Quispe Elwin
Huber Michael
Häusle Philipp
Ingenhaeff falconer Martina
Jordan Herbert
Juen Birgit
Jungmann Andrea
Kaliszyk Cezary
Kammerlander Martin
Keulen Bart
Kirlidog Melih
Knoflach-Schrott Manuel
Cabbage Christina
Kärle Elias
Köhler Olaf
Mathà Roland
Middeldorp Aart
Miyamoto Kenji
Moser Georg
Munteanu Mircea
Murauer Benjamin
Nagashima Yutaka
Nowakovsky Emmanuel
Panasiuk Oleksandra
Parsert Julian
Pasquini Cecila
Payr Jenifer
Pekaric Irdin
Pham Thanh Phuong
Piater Justus
Prodan Radu
Pushkin Boris
Renaudo Erwan
Resch Manuela
Riek Markus
Ristov Sashko
Ritter Marcel
Rodriguez-Sanchez Antonio Jose
Santoso Ario
Sappl Johannes
Sauer wine Clemens
Schaper Michael
Scheiring Anna Maria
Sianov Anatolii
Simsek Umutcan
Sommer Dennis
Specht Günther
Sternagel Christian
Pride Nicolas
Strasser Gabriele [Maternity Leave]
TVH Prathamesh
Thaler Sylvia
Thiemann René
Thoman Peter
Tschuggnall Michael
van Oostrom Vincent
Vidovic Cornelia
Vötter Michael
Wahler Alexander
Walthonii Markus
Weber Barbara
Hamlet Matthias
Winder Benjamin
Winkler Sarah
Zangerl Peter
Zangerle Eva
Zaremba Ilona
Zech Philip
Zhang Xiang
Zorrilla Medrano Fernando
Zuenko Evgeny

File 2

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

File 2

Diunggah oleh

Hak Cipta:

Format Tersedia

University Name

Alpen-Adria-Universität/ University URL Location Professopr NameProfessor's Profil

Christian Timmer https://campus.aau.at/visitenkarte?atoke

Mario Tashwer https://campus.aau.at/visitenkarte?atoke

Webster Vienna Private Unihttp://www.webster.ac.at/

John Aleshunas https://www.fhv.at/en/contacts/detail-en

Brenda Boyce https://www.fhv.at/en/contacts/detail-en

Claude Chaudet https://www.fhv.at/en/contacts/detail-en

James Curtis https://www.fhv.at/en/contacts/detail-en

Lasanthi Gamage https://www.fhv.at/en/contacts/detail-en

Larry Granda https://www.fhv.at/en/contacts/detail-en

Douglas Kelly https://www.fhv.at/en/contacts/detail-en

Reshmi Mitra https://www.fhv.at/en/contacts/detail-en

Ali Ovlia https://www.fhv.at/en/contacts/detail-en

Quinn Shao https://www.fhv.at/en/contacts/detail-en

Martha Smith https://www.fhv.at/en/contacts/detail-en

Xiaoyuan Suo https://www.fhv.at/en/contacts/detail-en

Jiangping Wang https://www.fhv.at/en/contacts/detail-en

Technische Universität Wi https://www.tuwien.ac.at/en/

Salzer Gernot https://tiss.tuwien.ac.at/adressbuch/adr

Tellioglu Hilda https://tiss.tuwien.ac.at/adressbuch/adr

Eduard Mehofer https://ufind.univie.ac.at/en/person.htm

Torsten Moller https://informatik.univie.ac.at/fakultaet/

Claudia Plant https://informatik.univie.ac.at/fakultaet/

Herbert Leitold https://www.iaik.tugraz.at/content/abou

Thomas Lenz https://www.iaik.tugraz.at/content/abou

Stefan Mangard https://www.iaik.tugraz.at/content/abou

Stefan More https://www.iaik.tugraz.at/content/abou

Thomas Zefferer https://www.iaik.tugraz.at/content/abou

Graz University of Technol https://www.tugraz.at/en/home/

Wolfgang Maass https://igi-web.t

University of Applied Sci http://www.technikum-wien.at/

Dominik Dolezal https://www.technikum-wien.at/persona

Alexander Hofma https://www.technikum-wien.at/persona

Mario Pany https://www.technikum-wien.at/persona

Benedikt Salzbru https://www.technikum-wien.at/persona

Arthur Zaczek https://www.technikum-wien.at/persona

University of Leoben http://www.unileoben.ac.at/index.php?id=2765&L=1

Peter Auer https://napps1.unileoben.ac.at/napps/pu

Andrea Eichelber https://napps1.unileoben.ac.at/napps/pu

Pratik Gajane https://napps1.unileoben.ac.at/napps/pu

Michael Lackner https://napps1.unileoben.ac.at/napps/pu

Ronald Ortner https://napps1.unileoben.ac.at/napps/pu

University of Innsbruck http://www.uibk.ac.at/ Innsbruck, Austri Antonio Rodríguehttps://iis.uibk.ac.at/people/antonio

Ruth Breu https://q-e.at/ruth-breu/

Cezary Kaliszyk http://cl-informatik.uibk.ac.at/members/

Georg Moser http://cl-informatik.uibk.ac.at/members/

Dr. Michael Kohlehttps://www.fh-kufstein.ac.at/eng/Study

Taschwer M., Primus M. J., Schöffmann K., Marque

abaziflo@webster.edu IT Department Coordinator/Adjunct Professor

Thomas.Lenz@iaik.tugraz.at Thomas Lenz, Bernd Zwattendorfer - "A modular a

robert.legenstein@igi.tugraz.at Graz University of Technology

sabrina.rubenzer@technikum-wien.at Rubenzer, Sabrina; Judge, George; Hofmann,

markus.schordan@technikum-wien.atComputer Scientistprogram analysis and verification, programming languages for high-pe

martin.antenreiter@unileoben.ac.at Chair of Information Technology

peter.auer@unileoben.ac.at Chair of Information Technology

andrea.eichelberger@unileoben.ac.atChair of Information Technology

pratik.gajane@unileoben.ac.at Chair of Information Technology

michael.lackner@unileoben.ac.at Chair of Information Technology

ronald.ortner@unileoben.ac.at Chair of Information Technology

2008_x000D_ since 03/2015_x000D_

anna.fensel@sti2.at Big Data Analysis04 2016 - Springer International P

SQUASH: Surgical Quality Assessment in Gynecologic Laparoscopy (2019-2023)