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.
12274 Publications
2015 |
Published |
Journal Article |
IST-REx-ID: 18371
On convex relaxation of graph isomorphism
Y. Aflalo, A.M. Bronstein, R. Kimmel, Proceedings of the National Academy of Sciences 112 (2015) 2942–2947.
View
| DOI
| PubMed | Europe PMC
Y. Aflalo, A.M. Bronstein, R. Kimmel, Proceedings of the National Academy of Sciences 112 (2015) 2942–2947.
2015 |
Published |
Conference Paper |
IST-REx-ID: 1838 |
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
2015 |
Published |
Conference Paper |
IST-REx-ID: 18380
Inverting RANSAC: Global model detection via inlier rate estimation
R. Litman, S. Korman, A.M. Bronstein, S. Avidan, in:, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), IEEE, 2015.
View
| DOI
R. Litman, S. Korman, A.M. Bronstein, S. Avidan, in:, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), IEEE, 2015.
2015 |
Published |
Conference Paper |
IST-REx-ID: 18387
Sparse null space basis pursuit and analysis dictionary learning for high-dimensional data analysis
X. Bian, H. Krim, A.M. Bronstein, L. Dai, in:, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2015.
View
| DOI
X. Bian, H. Krim, A.M. Bronstein, L. Dai, in:, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2015.
2015 |
Published |
Conference Paper |
IST-REx-ID: 1839 |
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
2015 |
Published |
Journal Article |
IST-REx-ID: 1840 |
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
2015 |
Published |
Conference Paper |
IST-REx-ID: 18400
Real-time compressed imaging of scattering volumes
O. Menashe, A.M. Bronstein, in:, 2014 IEEE International Conference on Image Processing (ICIP), IEEE, 2015.
View
| DOI
O. Menashe, A.M. Bronstein, in:, 2014 IEEE International Conference on Image Processing (ICIP), IEEE, 2015.
2015 |
Published |
Conference Paper |
IST-REx-ID: 18401
Intel realsense = Real low cost gaze
M. Draelos, Q. Qiu, A.M. Bronstein, G. Sapiro, in:, 2015 IEEE International Conference on Image Processing (ICIP), IEEE, 2015.
View
| DOI
M. Draelos, Q. Qiu, A.M. Bronstein, G. Sapiro, in:, 2015 IEEE International Conference on Image Processing (ICIP), IEEE, 2015.
2015 |
Published |
Journal Article |
IST-REx-ID: 1841 |
A new look at reweighted message passing
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.
2015 |
Published |
Journal Article |
IST-REx-ID: 18415 |
Learning efficient sparse and low rank models
P. Sprechmann, A.M. Bronstein, G. Sapiro, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 1821–1833.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
P. Sprechmann, A.M. Bronstein, G. Sapiro, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 1821–1833.
2015 |
Published |
Journal Article |
IST-REx-ID: 18416
Multimodal manifold snalysis by simultaneous diagonalization of Laplacians
D. Eynard, A. Kovnatsky, M.M. Bronstein, K. Glashoff, A.M. Bronstein, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 2505–2517.
View
| DOI
| PubMed | Europe PMC
D. Eynard, A. Kovnatsky, M.M. Bronstein, K. Glashoff, A.M. Bronstein, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 2505–2517.
2015 |
Published |
Journal Article |
IST-REx-ID: 18424 |
Probably approximately symmetric: Fast rigid symmetry detection with global guarantees
S. Korman, R. Litman, S. Avidan, A.M. Bronstein, Computer Graphics Forum 34 (2015) 2–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Korman, R. Litman, S. Avidan, A.M. Bronstein, Computer Graphics Forum 34 (2015) 2–13.
2015 |
Published |
Journal Article |
IST-REx-ID: 18425
Recent trends, applications, and perspectives in 3D shape similarity assessment
S. Biasotti, A. Cerri, A.M. Bronstein, M. Bronstein, Computer Graphics Forum 35 (2015) 87–119.
View
| DOI
S. Biasotti, A. Cerri, A.M. Bronstein, M. Bronstein, Computer Graphics Forum 35 (2015) 87–119.
2015 |
Published |
Journal Article |
IST-REx-ID: 18436 |
Computational multi-focus imaging combining sparse model with color dependent phase mask
H. Haim, A.M. Bronstein, E. Marom, Optics Express 23 (2015) 24547–24556.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Haim, A.M. Bronstein, E. Marom, Optics Express 23 (2015) 24547–24556.
2015 |
Published |
Conference Paper |
IST-REx-ID: 18439 |
Low-cost gaze and pulse analysis using realsense
Q. Qiu, Z. Chang, M. Draelos, J. Chen, A.M. Bronstein, G. Sapiro, in:, Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare, ICST, 2015.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Q. Qiu, Z. Chang, M. Draelos, J. Chen, A.M. Bronstein, G. Sapiro, in:, Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare, ICST, 2015.
2015 |
Published |
Journal Article |
IST-REx-ID: 1508 |
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
2015 |
Published |
Journal Article |
IST-REx-ID: 1832 |
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
[Published Version]
View
| Files available
| DOI
| WoS
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1610 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium on Automata, Languages, and Programming, Springer Nature, 2015, pp. 121–133.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium on Automata, Languages, and Programming, Springer Nature, 2015, pp. 121–133.
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1657 |
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5435 |
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.