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

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




2685 Publications

2012 | Journal Article | IST-REx-ID: 3331   OA
Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.” Journal of Symbolic Computation 47, no. 3 (2012): 239–58. https://doi.org/10.1016/j.jsc.2011.11.001.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3115
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” Discrete & Computational Geometry 48, no. 4 (2012): 964–89. https://doi.org/10.1007/s00454-012-9441-5.
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3836
Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming 77, no. 2 (2012): 96–112. https://doi.org/10.1016/j.scico.2010.06.004.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 494
Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL) 13, no. 4 (2012). https://doi.org/10.1145/2362355.2362357.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, Thomas A. “Quantitative Reactive Models.” In Conference Proceedings MODELS 2012, 7590:1–2. Springer, 2012. https://doi.org/10.1007/978-3-642-33666-9_1.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed