You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (3453)

Journals (0)

1-10 of 3453 results for Abstract Properties

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: SoK: Robust properties,robust abstractions and back-translations

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Select article: Skeleton Abstraction for Universal Temporal Properties

Retricted access

Research article

First published 2022

Skeleton Abstraction for Universal Temporal Properties

Sophie Wallner, Karsten Wolf

Fundamenta Informaticae

Select article: Asymptotically free property of the solutions of an abstract linear hyperbolic equation with time-dependent coefficients

Retricted access

Research article

First published 2016-3-9

Asymptotically free property of the solutions of an abstract linear hyperbolic equation with time-dependent coefficients

Taeko Yamazaki

Asymptotic Analysis

Select article: Implicit Definability of Algebraic Structures by Means of Program Properties 1

Retricted access

Research article

First published 1981

Implicit Definability of Algebraic Structures by Means of Program Properties 1

Jan Bergstra, Jerzy Tiuryn

Fundamenta Informaticae

Select article: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Retricted access

Research article

First published 2008-11

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Hanifa Boucheneb, Hind Rakkay

Fundamenta Informaticae

Select article: Modeling and Verification of Reactive Systems using Rebeca

Retricted access

Research article

First published 2004-12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Select article: Water Rights and Environmental Damage: An Enquiry into Stewardship in the Context of Abstraction Licensing Reform in England and Wales

Retricted access

Research article

First published 2013-8

Water Rights and Environmental Damage: An Enquiry into Stewardship in the Context of Abstraction Licensing Reform in England and Wales

Donald McGillivray

Environmental Law Review

Select article: The Way I Paint—How Image Composition Emerges During the Creation of Abstract Artworks

Open access

Research article

First published 2020-5

The Way I Paint—How Image Composition Emerges During the Creation of Abstract Artworks

Christoph Redies

i-Perception

Select article: ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Retricted access

Research article

First published 1995-8

ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Bernhard Gramlich

Fundamenta Informaticae

Select article: Effects of dietary triglycerides on rheological properties of human red blood cells (abstract)

Retricted access

Research article

First published 2004-6

Effects of dietary triglycerides on rheological properties of human red blood cells (abstract)

I. Cicha, Y. Suzuki, N. Tateishi [...]

Clinical Hemorheology and Microcirculation

1
2
3
•••
346
10 / page

Article type

Publication date

Subjects

Access