Ella E. Roubtsova - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstraction

Aspect-Oriented Model Development at Different Levels of AbstractionMauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang. ECMDA-FA 2011: 361-376 [doi]

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.

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.

Analogy Access by Mapping Spreading and Abstraction in Large, Multifunctional Knowledge BasesDavide Roverso. icml 1996: 418-426

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