Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

104 Publications


2017 | Thesis | IST-REx-ID: 819   OA
Pull C. 2017. Disease defence in garden ants, IST Austria, 122p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821   OA
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications, IST Austria, 418p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
Rybar M. 2017. (The exact security of) Message authentication codes, IST Austria, 86p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level, IST Austria, 126p.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed
https://research-explorer.app.ist.ac.at/record?cql=type%3Ddissertation&limit=5&start=40&style=ista
research-explorer.app.ist.ac.at
crawl=CC-MAIN-2019-51
34759
application/http; msgtype=response
sha1:QMQF7NR6VUYFHJS6J7IPFT3FDN7R7HCG
<urn:uuid:004c4d1b-7e7e-47e9-aa10-9906a803fe19>
2019-12-11T18:05:02Z
193.170.152.112
text/html
sha1:UZG7MPSR7J7SC6CQUOPJP7X7SGWEWINK
<urn:uuid:cf2a22dd-5137-44ca-9796-03cb516ea44a>
https://research-explorer.app.ist.ac.at/record?cql=type%3Ddissertation&limit=5&start=40&style=ista
response
<urn:uuid:92cd6431-970b-474f-a0f7-11787776c3fa>
isPartOf: CC-MAIN-2019-51
publisher: Common Crawl
description: Wide crawl of the web for December 2019
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-73.ec2.internal
software: Apache Nutch 1.16 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.1-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/