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.
437 Publications
2019 | Journal Article | IST-REx-ID: 8405 | 
Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex
D.F. Gauto, L.F. Estrozi, C.D. Schwieters, G. Effantin, P. Macek, R. Sounier, A.C. Sivertsen, E. Schmidt, R. Kerfah, G. Mas, J.-P. Colletier, P. Güntert, A. Favier, G. Schoehn, P. Schanda, J. Boisbouvier, Nature Communications 10 (2019).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.F. Gauto, L.F. Estrozi, C.D. Schwieters, G. Effantin, P. Macek, R. Sounier, A.C. Sivertsen, E. Schmidt, R. Kerfah, G. Mas, J.-P. Colletier, P. Güntert, A. Favier, G. Schoehn, P. Schanda, J. Boisbouvier, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 8406 |
Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors
J. Felix, K. Weinhäupl, C. Chipot, F. Dehez, A. Hessel, D.F. Gauto, C. Morlot, O. Abian, I. Gutsche, A. Velazquez-Campoy, P. Schanda, H. Fraga, Science Advances 5 (2019).
View
| DOI
| Download Published Version (ext.)
J. Felix, K. Weinhäupl, C. Chipot, F. Dehez, A. Hessel, D.F. Gauto, C. Morlot, O. Abian, I. Gutsche, A. Velazquez-Campoy, P. Schanda, H. Fraga, Science Advances 5 (2019).
2019 | Journal Article | IST-REx-ID: 8407
Relaxing with liquids and solids – A perspective on biomolecular dynamics
P. Schanda, Journal of Magnetic Resonance 306 (2019) 180–186.
View
| DOI
| PubMed | Europe PMC
P. Schanda, Journal of Magnetic Resonance 306 (2019) 180–186.
2019 | Journal Article | IST-REx-ID: 8408
Aromatic ring dynamics, thermal activation, and transient conformations of a 468 kDa enzyme by specific 1H–13C labeling and fast magic-angle spinning NMR
D.F. Gauto, P. Macek, A. Barducci, H. Fraga, A. Hessel, T. Terauchi, D. Gajan, Y. Miyanoiri, J. Boisbouvier, R. Lichtenecker, M. Kainosho, P. Schanda, Journal of the American Chemical Society 141 (2019) 11183–11195.
View
| DOI
| PubMed | Europe PMC
D.F. Gauto, P. Macek, A. Barducci, H. Fraga, A. Hessel, T. Terauchi, D. Gajan, Y. Miyanoiri, J. Boisbouvier, R. Lichtenecker, M. Kainosho, P. Schanda, Journal of the American Chemical Society 141 (2019) 11183–11195.
2019 | Journal Article | IST-REx-ID: 8409
Studying intact bacterial peptidoglycan by proton-detected NMR spectroscopy at 100 kHz MAS frequency
C. Bougault, I. Ayala, W. Vollmer, J.-P. Simorre, P. Schanda, Journal of Structural Biology 206 (2019) 66–72.
View
| DOI
| PubMed | Europe PMC
C. Bougault, I. Ayala, W. Vollmer, J.-P. Simorre, P. Schanda, Journal of Structural Biology 206 (2019) 66–72.
2019 | Journal Article | IST-REx-ID: 8410 |
NMR for Biological Systems
P. Schanda, E.Y. Chekmenev, ChemPhysChem 20 (2019) 177–177.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P. Schanda, E.Y. Chekmenev, ChemPhysChem 20 (2019) 177–177.
2019 | Journal Article | IST-REx-ID: 8411
Microsecond protein dynamics from combined Bloch-McConnell and Near-Rotary-Resonance R1p relaxation-dispersion MAS NMR
D. Marion, D.F. Gauto, I. Ayala, K. Giandoreggio-Barranco, P. Schanda, ChemPhysChem 20 (2019) 276–284.
View
| DOI
| PubMed | Europe PMC
D. Marion, D.F. Gauto, I. Ayala, K. Giandoreggio-Barranco, P. Schanda, ChemPhysChem 20 (2019) 276–284.
2019 | Journal Article | IST-REx-ID: 8412
Conformational dynamics in the core of human Y145Stop prion protein amyloid probed by relaxation dispersion NMR
M.D. Shannon, T. Theint, D. Mukhopadhyay, K. Surewicz, W.K. Surewicz, D. Marion, P. Schanda, C.P. Jaroniec, ChemPhysChem 20 (2019) 311–317.
View
| DOI
| PubMed | Europe PMC
M.D. Shannon, T. Theint, D. Mukhopadhyay, K. Surewicz, W.K. Surewicz, D. Marion, P. Schanda, C.P. Jaroniec, ChemPhysChem 20 (2019) 311–317.
2019 | Journal Article | IST-REx-ID: 8413
Mechanistic insights into microsecond time-scale motion of solid proteins using complementary 15N and 1H relaxation dispersion techniques
P. Rovó, C.A. Smith, D. Gauto, B.L. de Groot, P. Schanda, R. Linser, Journal of the American Chemical Society 141 (2019) 858–869.
View
| DOI
| PubMed | Europe PMC
P. Rovó, C.A. Smith, D. Gauto, B.L. de Groot, P. Schanda, R. Linser, Journal of the American Chemical Society 141 (2019) 858–869.
2019 | Journal Article | IST-REx-ID: 8415 |
Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards
P. Bálint, J. De Simoi, V. Kaloshin, M. Leguil, Communications in Mathematical Physics 374 (2019) 1531–1575.
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Bálint, J. De Simoi, V. Kaloshin, M. Leguil, Communications in Mathematical Physics 374 (2019) 1531–1575.
2019 | Journal Article | IST-REx-ID: 8416 |
On the finite dimensionality of integrable deformations of strictly convex integrable billiard tables
G. Huang, V. Kaloshin, Moscow Mathematical Journal 19 (2019) 307–327.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, Moscow Mathematical Journal 19 (2019) 307–327.
2019 | Journal Article | IST-REx-ID: 8418 |
Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem
M. Guardia, V. Kaloshin, J. Zhang, Archive for Rational Mechanics and Analysis 233 (2019) 799–836.
View
| DOI
| Download Published Version (ext.)
M. Guardia, V. Kaloshin, J. Zhang, Archive for Rational Mechanics and Analysis 233 (2019) 799–836.
2019 | Conference Paper | IST-REx-ID: 8570 |
ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
View
| DOI
| Download Published Version (ext.)
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
2019 | Journal Article | IST-REx-ID: 8693 |
V. I. Arnold’s “pointwise” KAM theorem
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 24 (2019) 583–606.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 24 (2019) 583–606.
2019 | Journal Article | IST-REx-ID: 170 |
Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
View
| Files available
| DOI
| arXiv
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
2019 | Journal Article | IST-REx-ID: 175 |
Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
2019 | Journal Article | IST-REx-ID: 196 |
Harmonic dynamics of the Abelian sandpile
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
2019 | Journal Article | IST-REx-ID: 7146
Molecular and evolutionary dynamics of animal sex-chromosome turnover
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
View
| DOI
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
2019 | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 | Journal Article | IST-REx-ID: 7150 |
Algebraic methods in the congested clique
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
2019 | Research Data | IST-REx-ID: 7154 |
Supplementary data for "Programming temporal morphing of self-actuated shells"
R. Guseinov, (2019).
View
| Files available
| DOI
R. Guseinov, (2019).
2019 | Journal Article | IST-REx-ID: 7156 |
Electro-optic entanglement source for microwave to telecom quantum state transfer
A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019).
View
| Files available
| DOI
| arXiv
A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019).
2019 | Journal Article | IST-REx-ID: 7158 |
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 | Journal Article | IST-REx-ID: 7160
Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes)
J.E. Salazar, D. Severin, T.A. Vega Zuniga, P. Fernández-Aburto, A. Deichler, M. Sallaberry A., J. Mpodozis, Brain, Behavior and Evolution 94 (2019) 27–36.
View
| DOI
| PubMed | Europe PMC
J.E. Salazar, D. Severin, T.A. Vega Zuniga, P. Fernández-Aburto, A. Deichler, M. Sallaberry A., J. Mpodozis, Brain, Behavior and Evolution 94 (2019) 27–36.
2019 | Journal Article | IST-REx-ID: 7165 |
Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
2019 | Book (Editor) | IST-REx-ID: 7171
Wie Maschinen lernen
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen, Springer Nature, 2019.
View
| Files available
| DOI
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen, Springer Nature, 2019.
2019 | Thesis | IST-REx-ID: 7172 |
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View
| Files available
| DOI
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 7179 |
Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
2019 | Journal Article | IST-REx-ID: 7180 |
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 7181 |
Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
2019 | Journal Article | IST-REx-ID: 7182 |
Systematic Y2H screening reveals extensive effector-complex formation
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).
2019 | Conference Paper | IST-REx-ID: 7183 |
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
2019 | Thesis | IST-REx-ID: 7186 |
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
View
| Files available
| DOI
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 7190 |
In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
View
| Files available
| DOI
| arXiv
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
2019 | Journal Article | IST-REx-ID: 7197 |
Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
View
| Files available
| DOI
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 72 |
Limit law of a second class particle in TASEP with non-random initial condition
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
2019 | Journal Article | IST-REx-ID: 7200 |
Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films
P. Brighi, M. Grilli, B. Leridon, S. Caprara, Physical Review B 100 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Grilli, B. Leridon, S. Caprara, Physical Review B 100 (2019).
2019 | Conference Paper | IST-REx-ID: 7201 |
SparCML: High-performance sparse communication for machine learning
C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019.
2019 | Journal Article | IST-REx-ID: 7202 |
A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou-Pouliou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou-Pouliou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 7210 |
Population structure determines the tradeoff between fixation probability and fixation time
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
2019 | Conference Paper | IST-REx-ID: 7213 |
A persistent homology perspective to the link prediction problem
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2019, pp. 27–39.
View
| Files available
| DOI
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2019, pp. 27–39.
2019 | Journal Article | IST-REx-ID: 7214 |
Recovering rearranged cancer chromosomes from karyotype graphs
S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, M.C. Schatz, BMC Bioinformatics 20 (2019).
View
| Files available
| DOI
S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, M.C. Schatz, BMC Bioinformatics 20 (2019).
2019 | Conference Paper | IST-REx-ID: 7216
LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
View
| DOI
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7225 |
Frontiers in microfluidics, a teaching resource review
J. Merrin, Bioengineering 6 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Merrin, Bioengineering 6 (2019).
2019 | Journal Article | IST-REx-ID: 7226 |
Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018
V. Jaksic, R. Seiringer, Journal of Mathematical Physics 60 (2019).
View
| Files available
| DOI
V. Jaksic, R. Seiringer, Journal of Mathematical Physics 60 (2019).
2019 | Conference Paper | IST-REx-ID: 7228
Scalable FIFO channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 317–333.
View
| DOI
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 317–333.
2019 | Conference Paper | IST-REx-ID: 7230 |
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
View
| DOI
| Download Preprint (ext.)
| arXiv
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
2019 | Conference Paper | IST-REx-ID: 7231 |
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
2019 | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 59–75.
View
| DOI
T. Ferrere, O. Maler, D. Nickovic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 59–75.