Concepedia

Author

Florian Lonsing

Johannes Kepler University of LinzORCID

Also Known As

Florian Lonsing, Lonsing, Florian

47

Publications

1.1K

Citations

19

H-Index

31

Concepts

All Affiliations

Johannes Kepler University of LinzTU WienUniversity of California, Santa Cruz
FL

About

Florian Lonsing is an author at Johannes Kepler University of Linz specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

319

2

Computer Science

8

8

319

3

Computer Engineering

6

6

176

4

Data Science

2

2

23

5

Systems Engineering

1

1

26

Florian Lonsing

×

12

Publications

395

Citations

11

H-Index

YearCitations

Page 1