Autor der Publikation

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.

, , , , und . CASCON, Seite 188-193. IBM / ACM, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Information merging in multi-UAV cooperative search., , und . ICRA, Seite 3122-3129. IEEE, (2014)A Deep Learning Framework for Vibration-Based Assessment of Delamination in Smart Composite Laminates., , , , und . Sensors, 20 (8): 2335 (2020)Key Characteristics of a Container Orchestration Platform to Enable a Modern Application.. IEEE Cloud Comput., 4 (5): 42-48 (2017)Recent Progress on Cellulose-Based Electro-Active Paper, Its Hybrid Nanocomposites and Applications., , , und . Sensors, 16 (8): 1172 (2016)Channel-independent 3D-EXIT chart-based path scheduling for serially concatenated decoders., , , und . Int. J. Commun. Syst., (2017)Lightweight and Privacy-Preserving Template Generation for Palm-Vein-Based Human Recognition., , und . IEEE Trans. Inf. Forensics Secur., (2020)Cooperative Robots to Observe Moving Targets: Review., , und . IEEE Trans. Cybern., 48 (1): 187-198 (2018)On (p, q)-analogue of Bernstein operators., , und . Appl. Math. Comput., (2015)Improved approximation and error estimations by King type (p, q)-Szász-Mirakjan Kantorovich operators., , und . Appl. Math. Comput., (2019)Corrigendum to: "Some approximation results by (p, q)-analogue of Bernstein-Stancu operators" Appl. Math. Comput. 264(2015)392-402., , und . Appl. Math. Comput., (2015)