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.

1860 Publications


2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 2013;26(4):825-859. doi:10.1007/s00165-013-0283-6
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2817   OA
Novak S, Chatterjee K, Nowak M. Density games. Journal of Theoretical Biology. 2013;334:26-34. doi:10.1016/j.jtbi.2013.05.029
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
Chmelik M, Řehák V. Controllable-choice message sequence graphs. 2013;7721:118-130. doi:10.1007/978-3-642-36046-6_12
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee K, Henzinger M, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 2013;42(3):301-327. doi:10.1007/s10703-012-0180-2
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2850   OA
Tkacik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013;2013(3):P03011. doi:10.1088/1742-5468/2013/03/P03011
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed