Concepedia

Ioan Alfred Leţia

IA

Statistics

Publications

6

Citations

100

H-Index

6

Active since

2002

Affiliations

Technical University of Cluj-Napoca(Current)

Lucian Blaga University of Sibiu

Ioan Alfred Leţia is an author at Technical University of Cluj-Napoca specializing in engineering, verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringInspectionImage AnalysisMachine VisionRemote SensingComputer Vision

Publications per year

2002–2015

6

Publications

6

Assuring safety in air traffic control systems with argumentation and model checking

Sergio Alejandro Gómez, Anca Goron, Adrian Groza et al. · Expert Systems with Applications · 2015 · 23 citations

Safety Engineering, Engineering, Automated Reasoning +12

Cloud motion detection from infrared satellite images

Remus Brad, Ioan Alfred Leţia · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2002 · 21 citations

Machine Vision, Image Analysis, Engineering +14

Compliance checking of integrated business processes

Ioan Alfred Leţia, Adrian Groza · Data & Knowledge Engineering · 2013 · 16 citations

Compliance Checking, Compliance Management, Engineering +8

Extracting cloud motion from satellite image sequences

Remus Brad, Ioan Alfred Leţia · 2004 · 15 citations

Engineering, Image Sequence Analysis, Image Analysis +18

Model checking as support for inspecting compliance to rules in flexible processes

Ioan Alfred Leţia, Anca Goron · Journal of Visual Languages & Computing · 2014 · 14 citations

Engineering, Inspection, Formal Modeling +15

1–5 of 6