Probing plasma physics and elemental composition of a leonid meteor by fitting complex plasma radiation model parameters
Kubelík, P, Koukal, J, Lenža, L, Srba, J, Laitl, V, Křížová, R, Křivková, A, Civiš, S, Chernov, V E, Ferus, M
Published in Monthly notices of the Royal Astronomical Society (08.07.2022)
Published in Monthly notices of the Royal Astronomical Society (08.07.2022)
Get full text
Journal Article
HD 110067 c has an aligned orbit
Zak, J, Boffin, H M J, Sedaghati, E, Bocchieri, A, Changeat, Q, Fukui, A, Hatzes, A, Hillwig, T, Hornoch, K, Itrich, D, Ivanov, V D, Jones, D, Kabath, P, Kawai, Y, Mugnai, L V, Murgas, F, Narita, N, Palle, E, Pascale, E, Pravec, P, Redfield, S, Roccetti, G, Roth, M, Srba, J, Tian, Q, Tsiaras, A, Turrini, D, Vignes, J P
Published in Astronomy and astrophysics (Berlin) (01.07.2024)
Published in Astronomy and astrophysics (Berlin) (01.07.2024)
Get full text
Journal Article
On determinism in modal transition systems
Beneš, N., Křetínský, J., Larsen, K.G., Srba, J.
Published in Theoretical computer science (15.09.2009)
Published in Theoretical computer science (15.09.2009)
Get full text
Journal Article
HD 110067 c has an aligned orbit: Measuring the Rossiter–McLaughlin effect inside a resonant multi-planet system with ESPRESSO
Zak, J., Boffin, H. M. J., Sedaghati, E., Bocchieri, A., Changeat, Q., Fukui, A., Hatzes, A., Hillwig, T., Hornoch, K., Itrich, D., Ivanov, V. D., Jones, D., Kabath, P., Kawai, Y., Mugnai, L. V., Murgas, F., Narita, N., Palle, E., Pascale, E., Pravec, P., Redfield, S., Roccetti, G., Roth, M., Srba, J., Tian, Q., Tsiaras, A., Turrini, D., Vignes, J. P.
Published in Astronomy and astrophysics (Berlin) (01.07.2024)
Published in Astronomy and astrophysics (Berlin) (01.07.2024)
Get full text
Journal Article
Model checking and synthesis for branching multi-weighted logics
Jensen, L.S., Kaufmann, I., Larsen, K.G., Nielsen, S.M., Srba, J.
Published in Journal of logical and algebraic methods in programming (01.06.2019)
Published in Journal of logical and algebraic methods in programming (01.06.2019)
Get full text
Journal Article
Timed-Arc Petri Nets vs. Networks of Timed Automata
Get full text
Book Chapter
Conference Proceeding
On Counting the Number of Consistent Genotype Assignments for Pedigrees
Srba, Jiří
Published in FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005)
Published in FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005)
Get full text
Book Chapter
Conference Proceeding
HD 110067 c has an aligned orbit
Zak, J, Boffin, H M J, Sedaghati, E, Bocchieri, A, Changeat, Q, Fukui, A, Hatzes, A, Hillwig, T, Hornoch, K, Itrich, D, Ivanov, V D, Jones, D, Kabath, P, Kawai, Y, Mugnai, L V, Murgas, F, Narita, N, Palle, E, Pascale, E, Pravec, P, Redfield, S, Roccetti, G, Roth, M, Srba, J, Tian, Q, Tsiaras, A, Turrini, D, Vignes, J P
Published in arXiv.org (20.05.2024)
Published in arXiv.org (20.05.2024)
Get full text
Paper
Journal Article
Undecidability of domino games and hhp-bisimilarity
Jurdziński, Marcin, Nielsen, Mogens, Srba, Jiřı́
Published in Information and computation (01.08.2003)
Published in Information and computation (01.08.2003)
Get full text
Journal Article
Inter-laboratory comparison of formaldehyde emission from particleboard using ASTM D 6007-02 method
Salem, Mohamed Z. M., Böhm, M., Barcík, Š., Srba, J.
Published in European journal of wood and wood products (01.09.2012)
Published in European journal of wood and wood products (01.09.2012)
Get full text
Journal Article