Concepedia

Gabriel Juhás

GJ

Statistics

Publications

6

Citations

131

H-Index

6

Active since

2006

Affiliations

Slovak University of Technology in Bratislava(Current)

Catholic University of Eichstätt-Ingolstadt

Gabriel Juhás is an author at Slovak University of Technology in Bratislava specializing in formal methods, petri nets, and computing.

Publications per year

2006–2022

6

Publications

6

How to synthesize nets from languages: a survey

Robert Lorenz, Sebastian Mauser, Gabriel Juhás · Winter Simulation Conference · 2007 · 39 citations

Computing, Computer Engineering, Computer Science +13

How to synthesize nets from languages - a survey

Robert Lorenz, Sebastian Mauser, Gabriel Juhás · 2007 Winter Simulation Conference · 2007 · 34 citations

Computing, Computer Engineering, Computer Science +13

Low-code platforms and languages: the future of software development

Gabriel Juhás, Łudovít Molnár, Ana Juhásová et al. · 2022 20th International Conference on Emerging eLearning Technologies and Applications (ICETA) · 2022 · 17 citations

Computing, Computer Science, Information Systems Development +11

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

Gabriel Juhás, Robert Lorenz, Sebastian Mauser · OPUS (Augsburg University) · 2008 · 16 citations

Computing, Computer Science, Formal Methods +14

Synchronous + Concurrent + Sequential = Earlier than + Not later than

Gabriel Juhás, Robert Lorenz, Sebastian Mauser · 2006 · 15 citations

Computing, Computer Science, Diagramming +15

1–5 of 6