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.




5735 Publications

2013 | Published | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria. https://doi.org/10.15479/AT:IST-2013-146-v1-1
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2906 | OA
Kerber, M., & Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611972931.6
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2909 | OA
Barton, N. H., Etheridge, A., & Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/2013/01/P01002
[Submitted Version] View | Files available | DOI
 
2013 | Published | Book Chapter | IST-REx-ID: 2413
Valderrama, M., Botella Soler, V., & Le Van Quyen, M. (2013). Neuronal oscillations scale up and scale down the brain dynamics . In M. Meyer & Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley. https://doi.org/10.1002/9783527671632.ch08
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2861
Botella Soler, V., Oteo, J., Ros, J., & Glendinning, P. (2013). Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8113/46/12/125101
View | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer. https://doi.org/10.1007/978-3-642-40184-8_35
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee, K., & Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer. https://doi.org/10.1145/2461328.2461370
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik, M., & Řehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6_12
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2013). Looking at mean-payoff and total-payoff through windows. Presented at the ATVA: Automated Technology for Verification and Analysis, Hanoi, Vietnam: Springer. https://doi.org/10.1007/978-3-319-02444-8_10
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2913 | OA
Tkačik, G., Granot Atedgi, E., Segev, R., & Schneidman, E. (2013). Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.058104
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2812 | OA
Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2013). Homological reconstruction and simplification in R3. In Proceedings of the 29th annual symposium on Computational Geometry (pp. 117–125). Rio de Janeiro, Brazil: ACM. https://doi.org/10.1145/2462356.2462373
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2013 | Published | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version] View | Files available | DOI
 
2012 | Published | Book Chapter | IST-REx-ID: 10896
zur Nedden, S., Doney, A. S., & Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino & D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York: Springer. https://doi.org/10.1007/978-1-4614-3903-5_6
View | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version] View | DOI | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
Liang, H., Hippenmeyer, S., & Ghashghaei, H. (2012). A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open. The Company of Biologists. https://doi.org/10.1242/bio.20122287
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, I., De Matos Simoes, R., Kupczok, A., Gube, M., Kothe, E., Voigt, K., & Von Haeseler, A. (2012). A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msr285
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 2902 | OA
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Russian Academy of Sciences.
[Published Version] View | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed