Sage Journals: Discover world-class research

Retricted access

Research article

First published 1990-3

The odd couple: Formal Notations and the development of information systems

Carol Britton, Karry Omer

Journal of Information Technology

Open access

Research article

First published 2018-12

Transformation of Business Process Model and Notation models onto Petri nets and their analysis

Umair Mutarraf, Kamel Barkaoui, Zhiwu Li [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 1996-12

PFEM Formalism in Kronecker Notation

Yimin Zhang, Bangcun Wen, Suhuan Chen

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2013-5

Making DNA Expressions Minimal

Rudy van Vliet, Hendrik Jan Hoogeboom

Fundamenta Informaticae

Retricted access

Research article

First published 2013-5

A Minimal Normal Form for DNA Expressions

Rudy van Vliet, Hendrik Jan Hoogeboom

Fundamenta Informaticae

Free access

Research article

First published 2017-8

From Process Models to Concurrent Systems in Alvis Language

Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2004-2-1

Multiset rewriting and the complexity of bounded security protocols

Nancy Durgin, Patrick Lincoln, John Mitchell [...]

Journal of Computer Security

Retricted access

Research article

First published 2023-12

Conceptual knowledge of writing words and numbers: Developmental data from preschool children

Asimina M Ralli, Asimenia Papoulidi, Despoina Tsaoussi

Journal of Early Childhood Research

Retricted access

Research article

First published 2020-8

Finding the “both/and”: Balancing informal and formal music learning

Juliet Hess

International Journal of Music Education

Free access

Research article

First published 2004-2

The Evaluation and Design Methodology for Real Time Systems

Egidijus Kazanavičius

Informatica: An International Journal of Computing and Informatics

Search results