( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Convex Functions in ACL2(r).

, и . ACL2, том 280 из EPTCS, стр. 128-142. (2018)

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.

Mark R Hatlie

Mark R Alexander

Mark R Brink

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)
 

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

Extending ACL2 with SMT Solvers., и . ACL2, том 192 из EPTCS, стр. 61-77. (2015)Verifying Timed, Asynchronous Circuits using ACL2., и . ASYNC, стр. 96-104. IEEE, (2019)Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms., , и . DATE, стр. 1595-1598. IEEE, (2019)Varactor-based signal restoration for near-speed-of-light surfing global interconnect., , , , и . CICC, стр. 1-4. IEEE, (2010)A Signal Integrity Test Bed for PCB Buses., и . ICCD, стр. 132-137. IEEE Computer Society, (2004)Verifying global convergence for a digital phase-locked loop., , , и . FMCAD, стр. 113-120. IEEE, (2013)Oscillator verification with probability one., и . FMCAD, стр. 165-172. IEEE, (2012)Surfing Interconnect., и . ASYNC, стр. 98-106. IEEE Computer Society, (2006)Integrating Projections., и . HSCC, том 1386 из Lecture Notes in Computer Science, стр. 159-174. Springer, (1998)Using Synchronized Transitions for Simulation and Timing Verification.. Designing Correct Circuits, том A-5 из IFIP Transactions, стр. 215-236. North-Holland, (1992)