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.

2535 Publications


2012 | Journal Article | IST-REx-ID: 3247
Vilaça, Sibelle, Rodrigo A Fernandes Redondo, Lívia Lins, and Fabrício Santos. “Remaining Genetic Diversity in Brazilian Merganser (Mergus Octosetaceus).” Conservation Genetics 13, no. 1 (2012): 293–98. https://doi.org/10.1007/s10592-011-0262-5.
View | DOI
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed