Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-8

Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Stephan Roch

Fundamenta Informaticae

Retricted access

Research article

First published 2018-10

Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino

Matheus Ungaretti Borges, Eduardo José Lima

International Journal of Mechanical Engineering Education

Retricted access

Research article

First published 2000-8

Structural Analysis of Signal-Event Systems

Adrianna Foremniak, Peter H. Starke

Fundamenta Informaticae

Retricted access

Research article

First published 2015-4

Persistent and Nonviolent Steps and the Design of GALS Systems

Johnson Fernandes, Maciej Koutny, Łukasz Mikulski [...]

Fundamenta Informaticae

Retricted access

Review article

First published 2022-04

Neutrophil Extracellular Traps: Inflammation and Biomaterial Preconditioning for Tissue Engineering

Allison E. Fetz, Gary L. Bowlin

Tissue Engineering Part B: Reviews

Retricted access

Research article

First published 2000-1

Use of Laser Light Scatter Signals to Study the Effect of a Direct-Current Biased Mesh Screen in a Spray Chamber on Aerosols Generated for Use in Atomic Spectroscopy

Qiang Xu, George R. Agnes

Applied Spectroscopy

Retricted access

Research article

First published 2006-4

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

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2024-2

Media Manipulation in Young Democracies: Evidence From the 1989 Brazilian Presidential Election

Alexsandros Cavgias, Raphael Corbi, Luis Meloni [...]

Comparative Political Studies

Retricted access

Research article

First published 2020

Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice

Pernice Simone, Follia Laura, Balbo Gianfranco [...]

Fundamenta Informaticae

Search results