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.

5867 Publications


1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. Automatic Symbolic Verification of Embedded Systems. IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. Parametric Real-Time Reasoning. ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. Computing Accumulated Delays in Real-Time Systems. Vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” Letters in Mathematical Physics, vol. 29, no. 3, Springer, 1993, pp. 219–40, doi:10.1007/BF00761110.
View | DOI
 

Search

Filter Publications