Lutz Priese

23 papers and 107 indexed citations i.

About

Lutz Priese has authored 23 papers that have received a total of 107 indexed citations. This includes 16 papers in Computational Theory and Mathematics, 5 papers in Molecular Biology and 5 papers in Artificial Intelligence. The topics of these papers are semigroups and automata theory (7 papers), Formal Methods in Verification (6 papers) and Petri Nets in System Modeling (6 papers). Lutz Priese is often cited by papers focused on semigroups and automata theory (7 papers), Formal Methods in Verification (6 papers) and Petri Nets in System Modeling (6 papers) and collaborates with scholars based in Germany, Canada and Brazil. Lutz Priese's co-authors include Michael M. Richter, Aldo von Wangenheim, F. Schmitt, Maurice Margenstern and Philippe Darondeau and has published in prestigious journals such as SIAM Journal on Computing, Pattern Recognition Letters and Journal of Computer and System Sciences

In The Last Decade

Rankless by CCL
2025