( en | de | ru )

 

Disambiguation of "Levitt, R."

Author of the publication

copydeleteadd this publication to your clipboard
Superfamilies of Evolved and Designed Networks

, , , , , , , and . Science, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

Cyril Levitt

R Giese

R Sailer

R Oppelt

R Steiner

 

Other publications of authors with the same name

Superfamilies of Evolved and Designed Networks, , , , , , , and . Science, (2004)A General Method for Compiling Event-Driven Simulations., , , and . DAC, page 151-156. ACM Press, (1995)Validity Checking for Combinations of Theories with Equality., , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 187-201. Springer, (1996)Verifying correct pipeline implementation for microprocessors., and . ICCAD, page 162-169. IEEE Computer Society / ACM, (1997)The network matching principle : A model of efficient resource allocation by informal social networks in non-profit and other non-market social structures, and . Economics Letters, 10 (1-2): 1--7 (1982)A Scalable Formal Verification Methodology for Pipelined Microprocessors., and . DAC, page 558-563. ACM Press, (1996)Functional test selection based on unsupervised support vector analysis., , , and . DAC, page 262-267. ACM, (2008)A Decision Procedure for Bit-Vector Arithmetic., , and . DAC, page 522-527. ACM Press, (1998)Blockmodeling complex statutes : Mapping techniques based on combinatorial optimization for analyzing economic legislation and its stress point over time, and . Economics Letters, 13 (1): 1--9 (1983)The Genetic Algorithm applied to Gate Sizing. Genetic Algorithms and Genetic Programming at Stanford 1995, Stanford Bookstore, Stanford, California, 94305-3079 USA, (11 December 1995)