Intelligent tutors for all : The constraint-based approach : Intelligent educational systemsMITROVIC, Antonija; MARTIN, Brent; SURAWEERA, Pramuditha et al.IEEE intelligent systems. 2007, Vol 22, Num 4, pp 38-45, issn 1541-1672, 8 p.Article

Membrane computing : Power, efficiency, applicationsPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 396-407, issn 0302-9743, isbn 3-540-26179-6, 12 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Transformation based communication and clock domain refinement for system designSANDER, Ingo; JANTSCH, Axel.Design automation conference. 2002, pp 281-286, isbn 1-58113-461-4, 6 p.Conference Paper

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

The trace partitioning abstract domainRIVAL, Xavier; MAUBORGNE, Laurent.ACM transactions on programming languages and systems. 2007, Vol 29, Num 5, issn 0164-0925, b39-b89Conference Paper

Relative safetyJAFFAR, Joxan; SANTOSA, Andrew E; VOICU, Ravan et al.Lecture notes in computer science. 2006, pp 282-297, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

The octahedron abstract domainCLARISO, Robert; CORTADELLA, Jordi.Lecture notes in computer science. 2004, pp 312-327, issn 0302-9743, isbn 3-540-22791-1, 16 p.Conference Paper

Widening Polyhedra with LandmarksSIMON, Axel; KING, Andy.Lecture notes in computer science. 2006, pp 166-182, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 17 p.Conference Paper

Testing for termination with monotonicity constraintsCODISH, Michael; LAGOON, Vitaly; STUCKEY, Peter J et al.Lecture notes in computer science. 2005, pp 326-340, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

Recency-abstraction for heap-allocated storageBALAKRISHNAN, Gogul; REPS, Thomas.Lecture notes in computer science. 2006, pp 221-239, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 19 p.Conference Paper

Higher-order abstract non-interferenceZANARDINI, Damiano.Lecture notes in computer science. 2005, pp 417-432, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

On the rôle of abstract non-interference in language-based securityMASTROENI, Isabella.Lecture notes in computer science. 2005, pp 418-433, issn 0302-9743, isbn 3-540-29735-9, 1Vol, 16 p.Conference Paper

Abstract interpretation of proofs: Classical propositional calculusHYLAND, Martin.Lecture notes in computer science. 2004, pp 6-21, issn 0302-9743, isbn 3-540-23024-6, 16 p.Conference Paper

Hiord: A type-free higher-order logic programming language with predicate abstractionCABEZA, Daniel; HERMENEGILDO, Manuel; LIPTON, James et al.Lecture notes in computer science. 2004, pp 93-108, issn 0302-9743, isbn 3-540-24087-X, 16 p.Conference Paper

Precise widening operators for convex polyhedraBAGNARA, Roberto; HILL, Patricia M; RICCI, Elisa et al.Lecture notes in computer science. 2003, pp 337-354, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Verification by abstract interpretationCOUSOT, Patrick.Verification : theory and practice (essays dedicated to Zohar Manna on the occasion of this 64th birthday). Lecture notes in computer science. 2003, pp 243-268, issn 0302-9743, isbn 3-540-21002-4, 26 p.Book Chapter

A complete abstract interpretation framework for coverability properties of WSTSGANTY, Pierre; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2006, pp 49-64, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

Semantic-based code obfuscation by abstract interpretationDALLA PREDA, Mila; GIACOBAZZI, Roberto.Lecture notes in computer science. 2005, pp 1325-1336, issn 0302-9743, isbn 3-540-27580-0, 12 p.Conference Paper

A verification technique using term rewriting systems and abstract interpretationTAKAI, Toshinori.Lecture notes in computer science. 2004, pp 119-133, issn 0302-9743, isbn 3-540-22153-0, 15 p.Conference Paper

Widening operators for powerset domains : Recent advances in hardware verificationBAGNARA, Roberto; HILL, Patricia M; ZAFFANELLA, Enea et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 4-5, pp 449-466, issn 1433-2779, 18 p.Conference Paper

Abstract geometrical computation for black hole computationDURAND-LOSE, Jérome.Lecture notes in computer science. 2005, pp 176-187, issn 0302-9743, isbn 3-540-25261-4, 12 p.Conference Paper

Relating FFTW and split-radixKISELYOV, Oleg; TAHA, Walid.Lecture notes in computer science. 2005, pp 488-493, issn 0302-9743, isbn 3-540-28128-2, 1Vol, 6 p.Conference Paper

Static analysis of digital filtersFERET, Jérome.Lecture notes in computer science. 2004, pp 33-48, issn 0302-9743, isbn 3-540-21313-9, 16 p.Conference Paper

Pattern-based abstraction for verifying secrecy in protocolsBOZGA, L; LAKHNECH, Y; PERIN, M et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 1, pp 57-76, issn 1433-2779, 20 p.Conference Paper