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.
538 Publications
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 11684
Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11806
Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” 22nd International Colloquium on Automata, Languages and Programming, vol. 944, Springer Nature, 1995, pp. 280–291, doi:10.1007/3-540-60084-1_81.
View
| DOI
1995 | Book Chapter | IST-REx-ID: 3454
Monyer, Hannah, and Peter M. Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 357–73, doi:10.1007/978-1-4419-1229-9_16.
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 3455
Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 231–43, doi:10.1007/978-1-4419-1229-9_10.
View
| DOI
| Download None (ext.)