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

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

Elementary Probability TheoryLecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, p. 368Conference Paper

Using CSPDAVIES, Jim.Lecture notes in computer science. 2006, pp 64-122, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 59 p.Conference Paper

On the structure model interpretation of Wright's NESS testBALDWIN, Richard A; NEUFELD, Eric.Lecture notes in computer science. 2003, pp 9-23, issn 0302-9743, isbn 3-540-40300-0, 15 p.Conference Paper

Related-cipher attacksHONGJUN WU.Lecture notes in computer science. 2002, pp 447-455, issn 0302-9743, isbn 3-540-00164-6, 9 p.Conference Paper

Shostak lightGANZINGER, Harald.Lecture notes in computer science. 2002, pp 332-346, issn 0302-9743, isbn 3-540-43931-5, 15 p.Conference Paper

A distribution dependent refinement of Pinsker's inequalityORDENTLICH, Erik; WEINBERGER, Marcelo J.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 29Conference Paper

Stepwise refinable service descriptions: Adapting DAML-S to staged service tradingKLEIN, Michael; KÖNIG-RIES, Birgitta; OBREITER, Philipp et al.Lecture notes in computer science. 2003, pp 178-193, issn 0302-9743, isbn 3-540-20681-7, 16 p.Conference Paper

Amplified boomerang attack against reduced-round SHACALKIM, Jongsung; MOON, Dukjae; LEE, Wonil et al.Lecture notes in computer science. 2002, pp 243-253, issn 0302-9743, isbn 3-540-00171-9, 11 p.Conference Paper

Oberflächenveredelung von Kunststoffen durch anorganisch-organische hybridpolymere (ORMOCERe) = Surface refinement of plastics by inorganic-organic hybridpolymersHAAS, K.-H; AMBERG-SCHWAB, S; ROSE, K et al.Gummi, Fasern, Kunststoffe. 1997, Vol 50, Num 2, pp 102-110, issn 0176-1625Article

Development of an automatic, two-dimensional finite element mesh generator using quadrilateral elements and Bezier curve boundary definitionTALBERT, J. A; PARKINSON, A. R.International journal for numerical methods in engineering. 1990, Vol 29, Num 7, pp 1551-1567, issn 0029-5981, 17 p.Article

Simple and Parameter-Free Second Slope Limiter for Unstructured Grid Aerodynamic SimulationsKITAMURA, Keiichi; SHIMA, Eiji.AIAA journal. 2012, Vol 50, Num 6, pp 1415-1426, issn 0001-1452, 12 p.Article

Formal Representation for Gradual Changes of Spatial Relations Between Regional ObjectsMENG, Nina; AI, Tinghua; ZHOU, Xiaodong et al.Proceedings of SPIE, the International Society for Optical Engineering. 2009, Vol 7492, issn 0277-786X, isbn 978-0-8194-7803-0 0-8194-7803-2, 74924V.1-74924V.8, 3Conference Paper

A Non-intrusive and Incremental Approach to Enabling Direct Communications in RPC-Based Grid Programming SystemsLASTOVETSKY, Alexey; XIN ZUO; PENG ZHAO et al.Lecture notes in computer science. 2006, pp 1008-1011, issn 0302-9743, isbn 3-540-34379-2, 4 p.Conference Paper

A Relational Investigation of UTP Designs and PrescriptionsDEUTSCH, Moshe; HENSON, Martin C.Lecture notes in computer science. 2006, pp 101-122, issn 0302-9743, isbn 3-540-34750-X, 1Vol, 22 p.Conference Paper