Autor der Publikation

The Essentials of the SAT 2003 Competition.

, und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 452-467. Springer, (2003)

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

Systemization of Pluggable Transports for Censorship Resistance., , und . CoRR, (2014)SomeWhere in the Semantic Web., , , , und . PPSWR, Volume 3703 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2005)Graphical process design tools for iontophoretic transdermal drug-delivery devices.. Comput. Methods Programs Biomed., 107 (3): 447-455 (2012)Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities., , , und . SIAM J. Appl. Math., 74 (5): 1598-1614 (2014)Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model., , , und . Comput. Chem. Eng., 31 (3): 107-120 (2007)SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses., , und . CCS, Seite 3555-3556. ACM, (2022)Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures., und . ACC, Seite 1579-1584. IEEE, (2002)Multi-resolution on compressed sets of clauses., und . ICTAI, Seite 2-10. IEEE Computer Society, (2000)Spectral analysis of randomly sampled processes., , , , , und . EUSIPCO, Seite 1-4. IEEE, (1996)Fifty-Five Solvers in Vancouver: The SAT 2004 Competition., und . SAT (Selected Papers, Volume 3542 von Lecture Notes in Computer Science, Seite 321-344. Springer, (2004)