Marcin Szpyrka

Marcin Szpyrka

Akademia Górniczo-Hutnicza

H-index: 17

Europe-Poland

About Marcin Szpyrka

Marcin Szpyrka, With an exceptional h-index of 17 and a recent h-index of 9 (since 2020), a distinguished researcher at Akademia Górniczo-Hutnicza, specializes in the field of Formal methods, Software engineering, Theory of concurrency, Functional programming.

His recent articles reflect a diverse array of research interests and contributions to the field:

Imperative vs. declarative modeling of industrial process. The case study of the longwall shearer operation

Email Campaign Evaluation Based on User and Mail Server Response

Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment

Patient Managed Patient Health Record Based on Blockchain Technology

Conformance checking of a longwall shearer operation based on low-level events

Marcin Szpyrka Information

University

Position

___

Citations(all)

1214

Citations(since 2020)

488

Cited By

958

hIndex(all)

17

hIndex(since 2020)

9

i10Index(all)

28

i10Index(since 2020)

7

Email

University Profile Page

Akademia Górniczo-Hutnicza

Google Scholar

View Google Scholar Profile

Marcin Szpyrka Skills & Research Interests

Formal methods

Software engineering

Theory of concurrency

Functional programming

Top articles of Marcin Szpyrka

Title

Journal

Author(s)

Publication Date

Imperative vs. declarative modeling of industrial process. The case study of the longwall shearer operation

IEEE Access

Edyta Brzychczy

Marcin Szpyrka

Jacek Korski

Grzegorz J Nalepa

2023/5/29

Email Campaign Evaluation Based on User and Mail Server Response

Applied Sciences

Marcin Szpyrka

Piotr Suszalski

Sebastian Obara

Grzegorz J Nalepa

2023/1/27

Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment

IEEE Access

Marcin Szpyrka

Jarosław Baniewicz

Andrei Karatkevich

2022/9/26

Patient Managed Patient Health Record Based on Blockchain Technology

Advances in Diagnostics of Processes and Systems: Selected Papers from the 14th International Conference on Diagnostics of Processes and Systems (DPS), September 21–23, 2020, Zielona Góra (Poland)

Konrad Zaworski

Marcin Szpyrka

2021

Conformance checking of a longwall shearer operation based on low-level events

Energies

Marcin Szpyrka

Edyta Brzychczy

Aneta Napieraj

Jacek Korski

Grzegorz J Nalepa

2020/12/15

See List of Professors in Marcin Szpyrka University(Akademia Górniczo-Hutnicza)