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.

9087 Publications


2018 | Journal Article | IST-REx-ID: 283 | OA
Mutations in blind cavefish target the light regulated circadian clock gene period 2
R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 81 | OA
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 76 | OA
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 547
Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 530 | OA
Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
[Preprint] View | Files available | DOI | WoS
 

Search

Filter Publications