Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Retricted access

Research article

First published 2002

Verification of Non-functional Properties of a Composable Architecture with Petrinets

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundamenta Informaticae

Retricted access

Research article

First published 1998

Quantitative Modeling of Biochemical Networks

R. Hofestädt, S. Thelen

In Silico Biology

Retricted access

Research article

First published 2015-8

PetriJet Platform Technology

Mathias Vogel, Elke Boschke, Thomas Bley [...]

Journal of Laboratory Automation

Open access

Case report

First published 2021

Renal Cancer Without Primary Cancer in the Kidney: Extra-Renal TFE3 Translocation Associated Renal Cell Carcinoma

Benjamin Petrinec, Bryan Morales Vargas, Lara R. Harik [...]

Kidney Cancer

Retricted access

Research article

First published 2014-6

Outpatient Surveillance Protocol of Isolated Calf Deep-Vein Thrombosis

Samantha Cox, John A. Moawad, Lee A. Marshall [...]

Journal for Vascular Ultrasound

Retricted access

Research article

First published 1988-2

Estrogen and Progesterone Receptors as Prognostic Factors in Breast Cancer

Branko Brdar, Dubravka Graf, Radovan Padovan [...]

Tumori Journal

Retricted access

Review article

First published 2016-1

Post-Traumatic Stress Symptoms in Post-ICU Family Members

Amy B. Petrinec, Barbara J. Daly

Western Journal of Nursing Research

Retricted access

Research article

First published 2020-12

Health-related Quality of Life of Older Women Religious: Negative Influence of Frailty

Amy B. Petrinec, Mary Lind Crowe, Sr. Kathleen Flanagan [...]

Western Journal of Nursing Research

Retricted access

Research article

First published 2006

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Search results