Concepedia

Author

Andrzej Tarlecki

Institute of Computer ScienceORCID

Also Known As

A. Tarlecki, ANDRZEJ TARLECKI, Andrzei Tarlecki, Andrzej Tarlecki, Hayes, Ian J, Lenisa, Marina, Tarlecki, Andrzej

142

Publications

3.4K

Citations

30

H-Index

39

Concepts

All Affiliations

Institute of Computer SciencePolish Academy of SciencesUniversity of EdinburghUniversity of WarsawAarhus University
AT

About

Andrzej Tarlecki is an author at Institute of Computer Science specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

19

1.2K

2

Computer Science

11

12

682

3

Language Studies

5

5

149

4

Management

1

1

23

5

Data Science

1

1

12

Andrzej Tarlecki

×

29

Publications

1.7K

Citations

20

H-Index

YearCitations

Page 1