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 (50)

Journals (0)

1-10 of 50 results for abstract automata

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

Retricted access

Research article

First published 2012-11

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

Artur Niewiadomski, Wojciech Penczek, Agata Połrola [...]

Fundamenta Informaticae

Select article: Observational Completeness on Abstract Interpretation

Retricted access

Research article

First published 2011-1

Observational Completeness on Abstract Interpretation

Gianluca Amato, Francesca Scozzari

Fundamenta Informaticae

Select article: Analysis of Competition Between Transformation Pathways in the Functioning of Biotic Abstract Dual Automata

Retricted access

Research article

First published 2013-05

Analysis of Competition Between Transformation Pathways in the Functioning of Biotic Abstract Dual Automata

Radu Popa, Vily M. Cimpoiasu

Astrobiology

Select article: The relevance of terminologies for automatic abstracting

Retricted access

Other

First published 1982-4

The relevance of terminologies for automatic abstracting

Wolfgang Nedobity

Journal of Information Science

Select article: Work complexity in structured job designs *

Retricted access

Research article

First published 1983-6-1

Work complexity in structured job designs *

Peter S. Albin, Arthur S. Weinberg

Human Systems Management

Select article: Biotic Abstract Dual Automata (BiADA): A Novel Tool for Studying the Evolution of Prebiotic Order (and the Origin of Life)

Retricted access

Research article

First published 2012-12

Biotic Abstract Dual Automata (BiADA): A Novel Tool for Studying the Evolution of Prebiotic Order (and the Origin of Life)

Vily M. Cimpoiasu, Radu Popa

Astrobiology

Select article: Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems

Open access

Research article

First published 2021-7

Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems

Lihong Cheng, Lei Feng, Zhiwu Li

Science Progress

Select article: Automatic component abstraction for Model-Based Diagnosis on relational models

Open access

Research article

First published 2013-5

Automatic component abstraction for Model-Based Diagnosis on relational models

Gianluca Torta, Pietro Torasso

The European Journal on Artificial Intelligence

Select article: MASQUERADE: Searching the full text of abstracts using automatic indexing

Retricted access

Research article

First published 1983-2

MASQUERADE: Searching the full text of abstracts using automatic indexing

J.P. Brzozowski

Journal of Information Science

Select article: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Retricted access

Research article

First published 2008-10

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Pierre Ganty, Jean-François Raskin, Laurent Van Begin

Fundamenta Informaticae

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access