Logic of proofs for bounded arithmeticGORIS, Evan.Lecture notes in computer science. 2006, pp 191-201, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 11 p.Conference Paper

Dependency pairs revisitedHIROKAWA, Nao; MIDDELDORP, Aart.Lecture notes in computer science. 2004, pp 249-268, issn 0302-9743, isbn 3-540-22153-0, 20 p.Conference Paper

On successive refinement for the Wyner-Ziv problemSTEINBERG, Yossef; MERHAV, Neri.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 362Conference Paper

Refinement and separation contextsMIJAJLOVIC, Ivana; TORP-SMITH, Noah; OHEARN, Peter et al.Lecture notes in computer science. 2004, pp 421-433, issn 0302-9743, isbn 3-540-24058-6, 13 p.Conference Paper

Using the Compliance Notation in IndustryCLAYTON, Phil; O'HALLORAN, Colin.Lecture notes in computer science. 2006, pp 269-314, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 46 p.Conference Paper

Security of a wide trail designDAEMEN, Joan; RIJMEN, Vincent.Lecture notes in computer science. 2002, pp 1-11, issn 0302-9743, isbn 3-540-00263-4, 11 p.Conference Paper

Visually Exploring Worldwide Incidents Tracking System DataCHHATWAL, Shree D; ROSE, Stuart J.Proceedings of SPIE, the International Society for Optical Engineering. 2008, pp 68090N.1-68090N.7, issn 0277-786X, isbn 978-0-8194-6981-6, 1VolConference Paper

Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings

Refinement : An OverviewCAVALCANTI, Ana; SAMPAIO, Augusto; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Library Block SpecificationsLecture notes in computer science. 2006, pp 375-391, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Proofs of Lemmas and Theorems in the UTPLecture notes in computer science. 2006, pp 369-374, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 6 p.Conference Paper

Incremental Hash Function based on Pair Chaining & Modular Arithmetic CombiningGOI, Bok-Min; SIDDIQI, M. U; CHUAH, Hean-Teik et al.Lecture notes in computer science. 2001, pp 50-61, issn 0302-9743, isbn 3-540-43010-5Conference Paper

Cryptographic functions and design criteria for block ciphersCANTEAUT, Anne.Lecture notes in computer science. 2001, pp 1-16, issn 0302-9743, isbn 3-540-43010-5Conference Paper

The refinability of the four point schemeIVRISSIMTZIS, I. P; DODGSON, N. A; HASSAN, M. F et al.Computer aided geometric design. 2002, Vol 19, Num 4, pp 235-238, issn 0167-8396Article

Minimally and maximally abstract retrenchmentsJESKE, C; BANACH, R.Lecture notes in computer science. 2002, pp 380-399, issn 0302-9743, isbn 3-540-43703-7, 20 p.Conference Paper

Lazy Kleene algebraMÖLLER, Bernhard.Lecture notes in computer science. 2004, pp 252-273, issn 0302-9743, isbn 3-540-22380-0, 22 p.Conference Paper

EME: Extending EME to handle arbitrary-length messages with associated dataHALEVI, Shai.Lecture notes in computer science. 2004, pp 315-327, issn 0302-9743, isbn 3-540-24130-2, 13 p.Conference Paper

Counterexample-guided controlHENZINGER, Thomas A; JHALA, Ranjit; MAJUMDAR, Rupak et al.Lecture notes in computer science. 2003, pp 886-902, issn 0302-9743, isbn 3-540-40493-7, 17 p.Conference Paper

Semantic and syntactic approaches to simulation relationsHANNAY, Jo; KATSUMATA, Shin-Ya; SANNELLA, Donald et al.Lecture notes in computer science. 2003, pp 68-91, issn 0302-9743, isbn 3-540-40671-9, 24 p.Conference Paper

Requirements specifications evolution in a multi-perspective environmentBARRAGANS-MARTINEZ, Ana Belén; GARCIA-DUQUE, Jorge; PAZOS-ARIAS, José J et al.Proceedings - International Computer Software & Applications Conference. 2002, pp 39-44, isbn 0-7695-1727-7, 6 p.Conference Paper

Exploiting conditional equivalences in connection calculiBRÜNING, Stefan.Lecture notes in computer science. 2001, pp 122-137, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Connection tableaux with lazy paramodulationPASKEVICH, Andrei.Lecture notes in computer science. 2006, pp 112-124, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 13 p.Conference Paper

Refinement operators for triangle meshesALEXA, Marc.Computer aided geometric design. 2002, Vol 19, Num 3, pp 169-172, issn 0167-8396Article

Preliminary report on input cover number as a metric for propositional resolution proofsVAN GELDER, Allen.Lecture notes in computer science. 2006, pp 48-53, issn 0302-9743, isbn 3-540-37206-7, 1Vol, 6 p.Conference Paper

A refinement operator for theoriesBADEA, Liviu.Lecture notes in computer science. 2001, pp 1-14, issn 0302-9743, isbn 3-540-42538-1Conference Paper