( en | de | ru )

 

Disambiguierung von "Clarke, Edmund M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pathway-gene identification for pancreatic cancer survival via doubly regularized Cox regression.

, , und . BMC Syst. Biol., 8 (S-1): S3 (2014)

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.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Kevin Clarke

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking algorithms for the µ-calculus., , , und . Proof, Language, and Interaction, Seite 309-338. The MIT Press, (2000)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , und . CHDL, Volume A-32 von IFIP Transactions, Seite 15-30. North-Holland, (1993)Grand Challenge: Model Check Software., , und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 55-68. IOS Press, (2005)A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata., , und . Inf. Process. Lett., 46 (6): 301-308 (1993)Distributed Computing Issues in Hardware Design.. Distributed Comput., 1 (4): 185-186 (1986)Another Look at LTL Model Checking., , und . Formal Methods Syst. Des., 10 (1): 47-71 (1997)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , und . Formal Methods Syst. Des., 35 (1): 6-39 (2009)Verification of SpecC using predicate abstraction., , und . Formal Methods Syst. Des., 30 (1): 5-28 (2007)Statistical Verification of Probabilistic Properties with Unbounded Until., , und . SBMF, Volume 6527 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2010)Functional Equivalence Verification Tools in High-Level Synthesis Flows., , , und . IEEE Des. Test Comput., 26 (4): 88-95 (2009)