( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

, , , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 62-70. Springer, (2015)

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.

Sebastian Baum

Optimierung der Pharmakotherapie von geriatrischen Patienten im stationären Bereich durch pharmazeutische Betreuung. Uni Münster, (2009)

Sebastian Birk

Intercalibration of national methods to assess the ecological quality of rivers in Europe using benthic invertebrates and aquatic flora. Uni Duisburg-Essen, (2009)

Sebastian Stange

Market liquidity risk. TU München, (2009)

Sebastian Reick

Internal and external dynamics of a strongly-coupled atom-cavity system. Uni Bonn, (2009)

Sebastian Korff

Untersuchung von Marker-Genen bei Mikrosatelliten-instabilen Tumoren und Entwicklung eines Computer-Verfahrens zur Hochdurchsatzanalyse von Fragmentanalysen aus humanen Mikrosatelliten-instabilen Tumoren. Uni Heidelberg, (2009)
 

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

Runtime verification of LTL on lossy traces., , и . SAC, стр. 1379-1386. ACM, (2017)Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control., , и . MED, стр. 307-312. IEEE, (2020)Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning., , и . RV, том 11237 из Lecture Notes in Computer Science, стр. 187-204. Springer, (2018)Deep Learning for System Trace Restoration., , , и . IJCNN, стр. 1-8. IEEE, (2019)An open platform for mixed-criticality real-time ethernet., и . DATE, стр. 153-156. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Perphecy: Performance Regression Test Selection Made Simple but Effective., , , , и . ICST, стр. 103-113. IEEE Computer Society, (2017)Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication.. ISCC, стр. 664-670. IEEE Computer Society, (2005)A Reordering Framework for Testing Message-Passing Systems., , и . ISORC, стр. 109-116. IEEE Computer Society, (2017)Model-Based Programming of Modular Robots., , , , и . ISORC, стр. 66-74. IEEE Computer Society, (2010)Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures., , и . HICSS, стр. 307. IEEE Computer Society, (2002)