From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Treewidth in Verification: Local vs. Global., , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 489-503. Springer, (2005)The Size of BDDs and Other Data Structures in Temporal Logics Model Checking., , и . IEEE Trans. Computers, 65 (10): 3148-3156 (2016)Probing cosmic star formation up to z = 9.4 with GRBs, , и . (2011)cite arxiv:1106.1745Comment: Submitted to MNRAS letters.Model Checking and Preprocessing., , и . AI*IA, том 4733 из Lecture Notes in Computer Science, стр. 48-59. Springer, (2007)CII Intensity Mapping of High-Redshift Galaxies, и . (2019)cite arxiv:1909.11656Comment: 17 pages, 17 Figures. Accepted for publication in MNRAS. Comments welcome.Web Services: A Process Algebra Approach. CoRR, (2004)The problematic growth of dust in the interstellar medium, , и . (2016)cite arxiv:1606.07214Comment: 6 pages, MNRAS Letter. Comments welcome.First Identification of Direct Collapse Black Hole Candidates in the Early Universe in CANDELS/GOODS-S, , , , и . (2016)cite arxiv:1603.08522Comment: Accepted for publication in MNRAS. First published online March 28, 2016 (8 pages).Feedback Limits to Maximum Seed Masses of Black Holes, , и . (2017)cite arxiv:1701.06565Comment: Accepted for publication in ApJ Letters.On the nature of the luminous Lya emitter CR7 and its UV components: physical conditions and JWST predictions, , , , , , , , и . (2017)cite arxiv:1710.08422Comment: Submitted to MNRAS, comments welcomed. 19 pages, 11 figures.