Zobrazeno 1 - 10
of 3 370
pro vyhledávání: '"Henzinger T"'
Autor:
Trinh VG; LIS, Aix-Marseille University, Marseille 13397, France., Benhamou B; LIS, Aix-Marseille University, Marseille 13397, France., Henzinger T; Institute of Science and Technology, Klosterneuburg 3400, Austria., Pastva S; Institute of Science and Technology, Klosterneuburg 3400, Austria.
Publikováno v:
Bioinformatics (Oxford, England) [Bioinformatics] 2023 Jun 30; Vol. 39 (39 Suppl 1), pp. i513-i522.
Autor:
Climescu-Haulica, Adriana1 adriana.haulica@avantiv.co.uk
Publikováno v:
BRAIN: Broad Research in Artificial Intelligence & Neuroscience. Dec2024, Vol. 15 Issue 4, p375-386. 12p.
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p292-297, 6p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p183-189, 7p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p283-291, 9p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p272-276, 5p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p231-242, 12p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p131-136, 6p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p375-400, 26p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p364-368, 5p