Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Other report
2017

Cloud technology options towards Free Flow of Data

DPSP WG Jun 2017 110 p.

Research output: Book/ReportOther report

Open Access
File
Data privacy
Security of data
2016

IAIK ECCelerate SDK 4.0

Hanser, C. & Ramacher, S. 13 Oct 2016 .

Research output: Book/ReportOther report

MATTHEW D2.2 Report on Privacy Algorithms and their Implementation

Hanser, C. & Deutschmann, M. 2016 .49 p.

Research output: Book/ReportOther report

MATTHEW D7.3 Final report on Dissemination and Exploitation

Hanser, C., Bock, H., Dietrich, C., Deutschmann, M., Havlik, J., Moschitz, S., Manzi, G. & Paillier, P. 2016 (Submitted) .

Research output: Book/ReportOther report

MATTHEW D7.7 Final Project Report

Hanser, C., Bock, H., Dietrich, C., Manzi, G., Paillier, P., Deutschmann, M. & Havlik, J. 2016 (Submitted) .

Research output: Book/ReportOther report

PRISMACLOUD D5.8 Overview of Verifiable Computing Techniques Providing Private and Public Verification

Buchmann, J., Demirel, D., Derler, D., Schabhüser, L. & Slamanig, D. 1 Feb 2016 .

Research output: Book/ReportOther report

Open Access
File
2015

Bounded Determinization of Timed Automata with Silent Transitions

Rosenmann, A., Lorber, F. L., Nickovic, D. & Aichernig, B. 2015 .

Research output: Book/ReportOther report

Open Access
File

Demiurge 1.2.0: A SAT-Based Synthesis Tool

Könighofer, R. & Seidl, M. 2015 .

Research output: Book/ReportOther report

Open Access
File

MATTHEW D7.2 Updated Plan and Initial Report on Dissemination and Exploitation

Bock, H., Deutschmann, M., Dietrich, C., Hanser, C., Havlik, J., Moschitz, S. & Wenger, E. 2015 .

Research output: Book/ReportOther report

Modelle und deren Anwendung in der Biomedizin

Baumgartner, C. 2015 Graz: Verlag der Technischen Universität Graz. (Research)

Research output: Book/ReportOther report

PRISMACLOUD D4.4: Overview of Functional and Malleable Signature Schemes

Demirel, D., Derler, D., Hanser, C., Pöhls, H., Slamanig, D. & Traverso, G. 2015 .

Research output: Book/ReportOther report

Open Access
File

The History of Mobile Augmented Reality

Arth, C., Grasset, R., Gruber, L., Langlotz, T., Mulloni, A. & Wagner, D. 2015 Institut für Computer Graphik und Wissensvisualisierung, Technische Universität Graz.

Research output: Book/ReportOther report

2014

A Framework for Facilitating Self-Regulation in Responsive Open Learning Environments

Nussbaumer, A., Kravcik, M., Renzel, D., Klamma, R., Berthold, M. & Albert, D. 2014 .

Research output: Book/ReportOther report

An iteratively reweighted Algorithm for Non-smooth Non-convex Optimization in Computer Vision

Ochs, P., Brox, T., Dosovitskiy, A. & Pock, T. 2014 .

Research output: Book/ReportOther report

Demiurge: A SAT-Based Synthesis Tool

Könighofer, R. & Seidl, M. 2014 .

Research output: Book/ReportOther report

Open Access
File

FutureID, WP 33: eSign Services, D33.2 - Interface and Module Specification and Documentation

Horsch, M., El Yousfi, M., Rath, C., Derler, D., Wich, T., Gruner, F. & Gast, A. 2014 .

Research output: Book/ReportOther report

FutureID, WP 33: eSign Services, D33.3 - Implementation of the Framework

Derler, D., Rath, C., Liebeskind, T. & Ruff, C. 2014 .

Research output: Book/ReportOther report

FutureID, WP 33: eSign Services, D33.4 - Test Report

Derler, D., Rath, C., Liebeskind, T., Toom, M. & Özmü, E. 2014 .

Research output: Book/ReportOther report

FutureID, WP 35: Trustworthy Client Platform, D35.2 - Interface and Module Specification and Documentation

Kamm, F-M., Eichholz, J., Summerer, A., Rios, J., Busold, C., Rath, C., Pirker, M. & Lipp, P. 2014 .

Research output: Book/ReportOther report

FutureID, WP 43: Trust Services, D43.3 - Interface and Module Specification

Özmü, E., Derler, D., Rath, C. & Ituarte, N. 2014 .

Research output: Book/ReportOther report

FutureID, WP 43: Trust Services, D43.4 - Reference Implementation

Rath, C., Derler, D. & Özmü, E. 2014 .

Research output: Book/ReportOther report

iPiasco: Inertial Proximal Algorithm for strongly convex Optimization

Ochs, P., Brox, T. & Pock, T. 2014 .

Research output: Book/ReportOther report

Require, Test and Trace IT

Lorber, F. L., Aichernig, B., Tiran, S. & Nickovic, D. 2014 .

Research output: Book/ReportOther report

Open Access
File

Structure-Preserving Signatures on Equivalence Classes and Constant-Size Anonymous Credentials

Fuchsbauer, G., Hanser, C. & Slamanig, D. 16 Nov 2014 IACR .

Research output: Book/ReportOther report

2013

(Kopie von) FutureID, WP 35: Trustworthy Client Platform, D35.1 - Requirements Report

Kamm, F-M., Houdeau, D., Lipp, P., Rath, C., Wagner, C., Sepehrdad, P. & Neven, G. 2013 .

Research output: Book/ReportOther report

Fast Refinement Checking for Test Case Generation

Aichernig, B., Jöbstl, E. & Kegele, M. 2013 .

Research output: Book/ReportOther report

Open Access
File

FutureID, WP 32: eID - Services, D32.4 - Implementation of Basic and Generic Modules

Horsch, M., Derler, D., Rath, C., de la Piedra, A., Gast, A., Gruner, F., Wich, T. & Kamm, F-M. 2013 .

Research output: Book/ReportOther report

FutureID, WP 33: eSign Services, D33.1 - Requirements Report

Lipp, P., Rath, C., Horsch, M., Uukkivi, K., Murumets, J., Ruff, C., Kubieziel, J. & Gutwirth, A. 2013 .

Research output: Book/ReportOther report

FutureID, WP 35: Trustworthy Client Platform, D35.1 - Requirements Report

Kamm, F-M., Houdeau, D., Lipp, P., Rath, C., Wagner, C., Sepehrdad, P. & Neven, G. 2013 .

Research output: Book/ReportOther report

Model-based Mutation Testing with Timed Automata

Aichernig, B., Lorber, F. L. & Nickovic, D. 2013 .

Research output: Book/ReportOther report

Open Access
File

STANCE D5.2.1 Description of the Embedded TPM use case

Tögl, R., Winter, J., Pirker, M., Gissing, M., Weiser, S., Junk, M. & Schmölzer, D. 2013 .

Research output: Book/ReportOther report

2012

Augmented Reality Browser Survey

Grubert, J., Langlotz, T. & Grasset, R. 2012 .

Research output: Book/ReportOther report

Evaluierung mobiler Signaturlösungen auf Smartphones

Zefferer, T. & Teufl, P. 2012 .

Research output: Book/ReportOther report

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S. 2012 .

Research output: Book/ReportOther report

Open Access
File

Spectrum Enhanced Dynamic Slicing for Fault Localization

Hofer, B. G. & Wotawa, F. 2012 .

Research output: Book/ReportOther report

Open Access
File

SPOCS D2.5 Final Report Work Package 2, eDocuments

Stranacher, K. 2012 .

Research output: Book/ReportOther report

SPOCS D2.8 Extended eDocument Common Software Modules

Stranacher, K., Boncea, R., Buso, N. & Petkus, P. 2012 .

Research output: Book/ReportOther report

The Argos Manual

Tiran, S. 2012 .

Research output: Book/ReportOther report

Open Access
File
2011

acTvSM Deliverable 4.2: Revised API Design

Tögl, R. & Reimair, F. 2011 .

Research output: Book/ReportOther report

acTvSM Deliverable 4.3: Verification Report

Tögl, R. 2011 .

Research output: Book/ReportOther report

acTvSM Deliverable 5.1: TvSM Prototype

Reimair, F. & Tögl, R. 2011 .

Research output: Book/ReportOther report

acTvSM Deliverable 6.1: Business Model and Product Roadmap

Tögl, R., Pirker, M., Bloem, R. P., Lindsberger, G. & Posch, S. 2011 .

Research output: Book/ReportOther report

Open Access
File

Definition of the Diagnostic Model

Drechsler, R., Fey, G., Finder, A., Sülflow, A., Könighofer, R., Hofferek, G., Ingelsson, U., Arbel, E., Raik, J., Scholefield, S. & Jutman, A. 2011 .

Research output: Book/ReportOther report

Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms

Podesser, S. 2011 .(CMS 2011)

Research output: Book/ReportOther report

JSR 321 Trusted Computing API for Java - Community Process Specification - Final Release

Tögl, R. 2011 San Francisco: .

Research output: Book/ReportOther report