Basket | The Czech Academy of Sciences

1.

0157450 - PAU-O 20003046 RIV CA eng J - Journal Article
Oborník, Miroslav - Klíč, M. - Žižka, L.
Genetic variability and phylogeny inferred from random amplified polymorfic DNA data reflect life strategy of entomopathogenic fungi.
Canadian Journal of Botany. Roč. 9, č. 78 (2000), s. 1150-1155. ISSN 0008-4026
Institutional research plan: CEZ:AV0Z6022909
Subject RIV: fp - Other Medical Disciplines
Impact factor: 0.816, year: 2000
Permanent Link: http://hdl.handle.net/11104/0054890

2.

0463898 - ÚTAM 2017 RIV CZ cze J - Journal Article
Schmidt, P. - Řehoř, M. - Žižka, L. - Šašek, Petr - Mácová, Petra
Tuhé produkty po spalování hnědého uhlí a biomasy při rekultivaci báňských výsypek.
[Solid products of combustion of coal and biomass in the reclamation of the mine dumps.]
Zpravodaj Hnědé uhlí. Roč. 2016, č. 3 (2016), s. 29-38. ISSN 1213-1660
R&D Projects: GA MŠMT(CZ) LO1219
Keywords : products of combustion * fly ash * biomass * properties * dump * reclamation
Subject RIV: DB - Geology ; Mineralogy
http://www.zpravodajhu.cz/cz/archiv-detail/?year=2016&magazine=61&article=357
Permanent Link: http://hdl.handle.net/11104/0262983

3.

0477866 - ÚI 2018 RIV CH eng C - Conference Paper (international conference)
Ratschan, Stefan
Simulation Based Computation of Certificates for Safety of Dynamical Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2017 - (Abbate, A.; Geeraerts, G.), s. 303-317. Lecture Notes in Computer Science, 10419. ISBN 978-3-319-65764-6. ISSN 0302-9743.
[FORMATS 2017. International Conference /15./. Berlin (DE), 05.09.2017-07.09.2017]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : formal verification * dynamical systems
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0274082

	File	Download	Size	Commentary	Version	Access
	a0477866.pdf	0	270.6 KB		Publisher’s postprint	require