A specialised binary constraint for the stable marriage problemUNSWORTH, Chris; PROSSER, Patrick.Lecture notes in computer science. 2005, pp 218-233, issn 0302-9743, isbn 3-540-27872-9, 16 p.Conference Paper

Approximately satisfied properties of systems and simple language homomorphismsNITSCHE, U; OCHSENSCHLGER, P.Information processing letters. 1996, Vol 60, Num 4, pp 201-206, issn 0020-0190Article

SPLAT : A tool for model-checking and dynamically-enforcing abstractionsMADHAVAPEDDY, Anil; SCOTT, David; SHARP, Richard et al.Lecture notes in computer science. 2005, pp 277-281, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Using federations for flexible SCM systemsESTUBLIER, Jacky; LE, Anh-Tuyet; VILLALOBOS, Jorge et al.Lecture notes in computer science. 2003, pp 163-176, issn 0302-9743, isbn 3-540-14036-0, 14 p.Conference Paper

Apprendre avec la programmation logique inductive = Using inductive logic programming for learningJACQUENET, F; BERNARD, M; NICOLINI, C et al.International association for the development of interdisciplinary research. ColloquiumAssociation internationale pour le développement de la recherche interdisciplinaire. Colloque. 1997, pp 225-229Conference Paper

Transfer of conditional reasoning: effects of explanations and initial problem typesKLACZYNSKI, P. A; GELFAND, H; REESE, H. W et al.Memory & cognition. 1989, Vol 17, Num 2, pp 208-220, issn 0090-502XArticle

Theoretical studies of the energetics and mechanisms of chemical reactions: abstraction reactionsDUNNING, T. H. JR; HARDING, L. B; BAIR, R. A et al.Journal of physical chemistry (1952). 1986, Vol 90, Num 3, pp 344-356, issn 0022-3654Article

Generalizations of Dung Frameworks and Their Role in Formal Argumentation : Representation and ReasoningBREWKA, Gerhard; POLBERG, Sylwia; WOLTRAN, Stefan et al.IEEE intelligent systems. 2014, Vol 29, Num 1, pp 30-38, issn 1541-1672, 9 p.Article

Understanding the power of abstraction in patternsRISING, Linda.IEEE software. 2007, Vol 24, Num 4, pp 46-51, issn 0740-7459, 6 p.Article

Abstraction and multiple abstraction in the symbolic modeling of the environment of mobile robotsFERNANDEZ-MADRIGAL, Juan-Antonio; GONZALEZ, Javier; GALINDO, Cipriano et al.Lecture notes in computer science. 2005, pp 358-359, issn 0302-9743, isbn 3-540-27872-9, 2 p.Conference Paper

GOBELIN Une approche pragmatique de l'abstraction appliquée à la modélisation de la stratégie élémentaire du jeu de Go = GOBELIN A pragmatic approach of abstraction applied to the elementary strategy modelization of the game of GoRicaud, Patrick; Pitrat, J.1995, 193 p.Thesis

Traversing psychological distanceLIBERMAN, Nira; TROPE, Yaacov.Trends in cognitive sciences (Regular ed.). 2014, Vol 18, Num 7, pp 364-369, issn 1364-6613, 6 p.Article

Is abstraction the key to computing?KRAMER, Jeef.Communications of the ACM. 2007, Vol 50, Num 4, pp 36-42, issn 0001-0782, 7 p.Article

Creating better abstract operatorsTEUTENBERG, Jonathan; BARLEY, Mike.Lecture notes in computer science. 2005, pp 206-217, issn 0302-9743, isbn 3-540-27872-9, 12 p.Conference Paper

The multi-depot periodic vehicle routing problemMINGOZZI, Aristide.Lecture notes in computer science. 2005, pp 347-350, issn 0302-9743, isbn 3-540-27872-9, 4 p.Conference Paper

Communicating design knowledge with groupware technology patterns: The case of shared object managementLUKOSCH, Stephan; SCHÜMMER, Till.Lecture notes in computer science. 2004, pp 223-237, issn 0302-9743, isbn 3-540-23016-5, 15 p.Conference Paper

Defining requirements at different levels of abstractionBÜHNE, Stan; HALMANS, Günter; POHL, Klaus et al.IEEE international requirements engineering conference. 2004, pp 346-347, isbn 0-7695-2174-6, 1Vol, 2 p.Conference Paper

αSPIN: Extending SPIN with abstractionGALLARDO, Maria Del; MARTINEZ, Jesus; MERINO, Pedro et al.Lecture notes in computer science. 2002, pp 254-257, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Balloon types : Controlling sharing of state in data typesALMEIDA, P. S.Lecture notes in computer science. 1997, pp 32-59, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Comparing natural and abstract categories: a case study from computer scienceADELSON, B.Cognitive science. 1985, Vol 9, Num 4, pp 417-430, issn 0364-0213Article

Oddity and dimension-abstracted oddity (DAO) in humansNOBLE, L. M; THOMAS, R. K.The American journal of psychology. 1985, Vol 98, Num 4, pp 549-557, issn 0002-9556Article

Heap-abstraction for an object-oriented calculus with thread classesABRAHAM, Erika; GRÜNER, Andreas; STEFFEN, Martin et al.Lecture notes in computer science. 2006, pp 1-10, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 10 p.Conference Paper

A totally ordered set of discrete abstractions for a given hybrid or continuous systemRISCHL, J; O'YOUNG, S.Lecture notes in computer science. 1997, pp 342-360, issn 0302-9743, isbn 3-540-63358-8Conference Paper

Contribution à la modélisation de la perception de haut niveau : Apprentissage de descripteurs = Contribution to the modelisation of high level perception : learning of descriptorsKhouas, Saliha; Kodatoff, Yves.1993, 189 p.Thesis

Abstraction in Hardware System DesignNIKHIL, Rishiyur S.Communications of the ACM. 2011, Vol 54, Num 10, pp 36-44, issn 0001-0782, 9 p.Article