Donald Sannella - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstraction

The Concept of Bio-fitness in Bio-inspired Computational Metaphor AbstractionAnjum Iqbal, Mohd Aizaini Maarof, Safaai Deris. imtic 2009: 215-226 [doi]

Providing Service-Oriented Abstractions for the Wireless Sensor GridEdgardo Avilés-López, J. Antonio García-Macías. GPC 2007: 710-715 [doi]

A more efficient time Petri net state space abstraction preserving linear propertiesHanifa Boucheneb, Hind Rakkay. acsd 2007: 61-70 [doi]

Evaluation of software usability using scenarios organized by abstraction structureGyuhyun Kwon, Dong-Han Ham, Wan Chul Yoon. ecce 2007: 19-22 [doi]

Environmental abstraction and path planning techniques for realistic crowd simulationSébastien Paris, Stéphane Donikian, Nicolas Bonvalet. jvca, 17(3-4):325-335, 2006. [doi]

Abstraction and Interaction: an Art System for White NoiseErnest A. Edmonds. IEEEcgiv 2006: 423-427 [doi]

Ranking Abstraction of Recursive ProgramsIttai Balaban, Ariel Cohen 0002, Amir Pnueli. vmcai 2006: 267-281 [doi]

I am an abstraction layerEdward Grossman. queue, 3(3):8, 2005. [doi]

Ranking Abstraction as a Companion to Predicate Abstraction, Amir Pnueli. ATVA 2005: 1 [doi]

Automatic generalized phase abstraction for formal verificationPer Bjesse, James H. Kukula. iccad 2005: 1076-1082

An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network ConfigurationAndrei Radulescu, John Dielissen, Kees G. W. Goossens, Edwin Rijpkema, Paul Wielage. date 2004: 878-883 [doi]

Full Abstraction for GammaFrancisco Hernández Quiroz. enc 2004: 20-26 [doi]

Positive abstraction and extensionalityRoland Hinnion, Thierry Libert. JSYML, 68(3):828-836, 2003.

The Abstraction and Instantiation of String-Matching ProgramsTorben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær. BIRTHDAY 2002: 332-357 [doi]

A computationally efficient abstraction of long-term potentiationLokendra Shastri. ijon, 44-46:33-41, 2002. [doi]

Predicate Abstraction for Dense Real-Time SystemM. Oliver Möller, Harald Rueß, Maria Sorea. ENTCS, 65(6):218-237, 2002. [doi]

Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l identification d évolutionsDominique Fontaine. tsi, 21(3):375-404, 2002. [doi]

Abstraction and Reformulation in GraphPlanDaniel Buettner. sara 2002: 330 [doi]

Probabilistic Abstraction HierarchiesEran Segal, Daphne Koller, Dirk Ormoneit. nips 2001: 913-920 [doi]

On the Role of Mathematical Abstractions for Scientific ComputingKrister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas. ifip2-5 2001: 145-158

Abstraction Methods for Game Theoretic PokerJiefu Shi, Michael L. Littman. CG 2002: 333-345 [doi]

Strong Fairness and Full Abstraction for Communicating ProcessesSusan Older. iandc, 163(2):471-509, 2000.

Full abstraction, totality and PCFGordon D. Plotkin. mscs, 9(1):1-20, 1999.

PARDIS: Programmer-level abstractions for metacomputingKatarzyna Keahey. fgcs, 15(5-6):637-647, 1999. [doi]

Is Abstraction Good?Andrew Koenig. joop, 11(2):66-69, 1998.

A Model of Strategy for the Game of Go Using Abstraction MechanismsPatrick Ricaud. IJCAI 1997: 678-683

A Goal-Dependent Abstraction for Legal Reasoning by AnalogyTokuyasu Kakuta, Makoto Haraguchi, Yoshiaki Okubo. ail, 5(1-2):97-118, 1997.

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order LogicMartin Hofmann, Donald Sannella. TCS, 167(1&2):3-45, 1996. [doi]

Inverting the Abstraction Mapping: A Methodology for Hardware VerificationDavid Cyrluk. FMCAD 1996: 172-186

Abstractions of Uniform ProofsPaolo Volpe. icalp 1996: 224-237

Verification and behavior abstraction towards a tractable verification technique for large distributed systemsUlrich Nitsche. jss, 33(3):273-285, 1996. [doi]

Full Abstraction for a Shared-Variable Parallel LanguageStephen D. Brookes. iandc, 127(2):145-163, 1996.

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order LogicMartin Hofmann, Donald Sannella. tapsoft 1995: 247-261

Functional Abstractions of Petri Net Models of Primary Components of Flexible Manufacturing SystemsRichard Zurawski. icra 1995: 2060-2065

Rigorous Abstraction and Specification in Parallel Software DevelopmentH. H. ten Cate. eurosim 1994: 107-116

Thoughts on AbstractionAndrew Koenig. joop, 7(6):68-70, 1994.

High-Level Abstractions for Efficient Concurrent SystemsSuresh Jagannathan, James Philbin. plsa 1994: 171-190

Verification of Hybrid Systems Using AbstractionsAnuj Puri, Pravin Varaiya. hybrid 1995: 359-369

Distributed Mulitmedia Systems Quality of Service in ODP Framework of Abstraction: A First StudyLinda Fedaoui, Wassim Tawbi, Eric Horlait. woodpecker 1994: 265-274

An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract)Alain Deutsch. fp 1992: 82-99

An Anatomy of the Information Resource Semantic AbstractionLeonid A. Kalinichenko. SIGMOD, 20(4):21-24, 1991. [doi]

An Initial Look at Abstraction Mechanisms and PersistenceAlexander L. Wolf. pos 1990: 360-368 [doi]

Toward Higher-Level Abstractions for Software SystemsMary Shaw. DKE, 5:119-128, 1990.

Parameter Transmission AbstractionsMatti O. Jokinen. cj, 33(2):133-139, 1990.

Connectionism and Information Processing AbstractionsB. Chandrasekaran, Ashok K. Goel, Dean Allemang. aim, 9(4):24-34, 1988.

Script: A Communication Abstraction MechanismNissim Francez, Brent Hailpern. sigops, 19(2):53-67, 1985.

Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980Michael L. Brodie, Stephen N. Zilles, editors, Volume 11 of ACM Press, 1981.

Abstraction and Verification in Alphard: Defining and Specifying Iteration and GeneratorsMary Shaw, William A. Wulf, Ralph L. London. CACM, 20(8):553-564, 1977.

Proceedings of the SIGPLAN 76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976ACM, 1976.

Modularization around a suitable abstractionStephen N. Zilles. afips 1975: 279 [doi]

runs on WebDSL