Leszek Holenderski - Concepedia

Author

Leszek Holenderski

Also Known As

L. Holenderski, Leszek Holenderski

Publications

322

Citations

H-Index

Concepts

All Affiliations

Leszek Holenderski is an author at Eindhoven University of Technology specializing in engineering, automated reasoning, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	131
2	Computer Science	1	1	22
3	Data Science	1	1	60
4	Health Informatics	1	1	60
5	Data Mining	1	1	60

Leszek Holenderski

Publications

204

Citations

H-Index

Page 1

	Year	Citations
Stess@Work Jorn Bakker, Leszek Holenderski, Rafał Kocielnik, EngineeringData ScienceData MiningPredictive AnalyticsWearable Technology	2012	60
Incompleteness of first-order temporal logic with until Andrzej Szałas, Leszek Holenderski Theoretical Computer Science Non-classical LogicEngineeringAutomated ReasoningFirst-order Temporal LogicFormal Methods	1988	49
Symmetric spin Dragan Bošnački, Dennis Dams, Leszek Holenderski International Journal on Software Tools for Technology Transfer	2002	44
The Synchronous Approach to Designing Reactive Systems Axel Poigné, Matthew Morley, Olivier Maffeïs, Formal Methods in System Design	1998	29
Systematic testing and formal verification to validate reactive programs Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs, Software Quality Journal EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerification	1995	22

Page 1