P. Manolios und Conference - Info zur Person

(1 - 9 von 10

)

Automated Deduction - CADE-19: 19th International Conference on ...books.google.com › books

books.google.com

M. Kaufmann, P. Manolios, and J. S. Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, July M. Kaufmann and J. S. Moore.

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN ...

books.google.com

[9] J. Slepak, O. Shivers, and P. Manolios, “An array-oriented language with static rank polymorphism,” in European Symposium on Programming (ESOP),

Computer Aided Verification: 27th International Conference, CAV ...

books.google.com

Chamarthi, H.R., Dillinger, P., Manolios, P., Vroon, D.: The ACL2 sedan theorem proving system. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS

Computer Aided Verification: 27th International Conference, CAV 2015,...

books.google.de

The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...

Less Hashing, Same Performance: Building a Better Bloom FilterHarvard University

www.eecs.harvard.edu

von A Kirsch · Zitiert von: 270 — P. C. Dillinger and P. Manolios. Bloom Filters in Probabilistic Verification. In. Proceedings of the 5th International Conference on Formal Methods in ... › postscripts

Aarti Gupta: Publications - Princeton CSwww.cs.princeton.edu/~aartig/pubs.htm

www.cs.princeton.edu

A. Gupta and P. Manolios, editors: Proceedings of the ACM/IEEE Formal Methods in Computer-Aided Design Conference. IEEE, November

Refinement Maps for Efficient Verification of Processor Models ...www.scipedia.com › public

www.scipedia.com

P. Manolios and S. Srinivasan, Refinement Maps for Efficient Verification of Processor Models, Collection of open conferences in research transport (2005).

MLAAssociation for the Advancement of Artificial Intelligence

ojs.aaai.org

Walter, A. T., B. Boskin, S. Cooper, and P. Manolios. “Gamification of Loop-Invariant Discovery from Code”. Proceedings of the AAAI Conference on Human ... › HCOMP › get

Alle Infos zum Namen "P. Manolios"

Verwandte Suchanfragen zu P. Manolios

Panagiotis Manolios

Personen
Vorname
Name "Manolios" (2)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

P. Manolios und Conference Person-Info