Please note that ISTA 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.

256 Publications


2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
 

2023 | Research Data | IST-REx-ID: 14614 | OA [Published Version] View | Files available | DOI
 
 

Filters and Search Terms

type=(research_data OR research_data_reference)

Search

Filter Publications