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.

8579 Publications


2019 | Journal Article | IST-REx-ID: 7225 | OA
J. Merrin, “Frontiers in microfluidics, a teaching resource review,” Bioengineering, vol. 6, no. 4. MDPI, 2019.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7228
N. Koval, D.-A. Alistarh, and R. Elizarov, “Scalable FIFO channels for programming via communicating sequential processes,” in 25th Anniversary of Euro-Par, Göttingen, Germany, 2019, vol. 11725, pp. 317–333.
View | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 7216
G. F. Osang, J. Cook, A. Fabrikant, and M. Gruteser, “LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale,” in 2019 IEEE Intelligent Transportation Systems Conference, Auckland, New Zealand, 2019.
View | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7226 | OA
V. Jaksic and R. Seiringer, “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018,” Journal of Mathematical Physics, vol. 60, no. 12. AIP, 2019.
View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 7231 | OA
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications