Concepedia

Marian Adamski

MA

Statistics

Publications

15

Citations

306

H-Index

12

Active since

1994

Affiliations

University of Zielona Góra(Current)

Marian Adamski is an author at University of Zielona Góra specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProcess ControlSoftware DesignComputer Architecture

Publications per year

1994–2017

15

Publications

15

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs

Remigiusz Wiśniewski, Andrei Karatkevich, Marian Adamski et al. · IEEE Transactions on Control Systems Technology · 2017 · 47 citations · Full text

Comparability Graphs, Petri Net, Engineering +20

Structured Logic Design with VHDL

Marian Adamski · Microprocessors and Microsystems · 1994 · 28 citations

Logic Synthesis, Engineering, Automated Reasoning +7

Petri nets and Activity Diagrams in logic controller specification - transformation and verification

Iwona Grobelna, Michał Grobelny, Marian Adamski · International Conference Mixed Design of Integrated Circuits and Systems · 2010 · 27 citations

Petri Net, Engineering, Verification +23

Translation UML diagrams into Verilog

Grzegorz Bazydło, Marian Adamski, Łukasz Stefanowicz · 2014 · 26 citations

Hardware Modeling, Engineering, Logic Controllers +19

Application of comparability graphs in decomposition of Petri nets

Remigiusz Wiśniewski, Andrei Karatkevich, Marian Adamski et al. · 2014 · 24 citations

Mathematical Programming, Comparability Graphs, Petri Net +20

Rows per page

1–5 of 15