Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ernst-Rüdiger Olderog

Special Issue on “Combining Compositionality and Concurrency”: Part 1

Acta Informatica

Computer Networks

Information Systems

English

The UniForM Workbench a Universal Development Environment for Formal Methods

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Special Issue on Applications and Techniques in Cyber Intelligence Concurrency and Computation: Practice and Experience

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

Part II: Special Issue on Extracellular Vesicles and Exosomes

Molecular Biology

English

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Theory and Application of Multi-Formalism Modeling

English

Preface to Special Issue on Critical Minerals Part II

Mining, Metallurgy and Exploration

Systems Engineering

Mechanical Engineering

Geotechnical Engineering

Engineering Geology

Materials Chemistry

English

Part 1: Special Thematic Sessions

Technology and Disability

Health Informatics

English

Special Issue on Micro/Nanoscale Heat Transfer—Part II

Journal of Heat Transfer

Mechanics of Materials

Materials Science

Condensed Matter Physics

Mechanical Engineering

English

Introduction: Special Issue on Parallel and Distributed Evolutionary Algorithms, Part I

Genetic Programming and Evolvable Machines

Computer Science Applications

Theoretical Computer Science

English

Guest Editorial—second Part of Special Issue on Cloud Computing

Journal of Internet Services and Applications

Computer Networks

Computer Science Applications

English

Guest Editorial: Special Section on Infrared Technology—Part 1

Optical Engineering

Molecular Physics,

English