Concepedia

Author

Michał H. Pałka

Chalmers University of Technology

Also Known As

MICHAŁ H. PAŁKA, Michal Palka, Michał H. Pałka, Michał Pałka, Palka, Michal H.

10

Publications

344

Citations

7

H-Index

23

Concepts

All Affiliations

Chalmers University of Technology
MH

About

Michał H. Pałka is an author at Chalmers University of Technology specializing in formal verification, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

181

2

Computer Engineering

3

3

181

3

Computer Science

3

3

181

4

Data Science

1

1

36

5

Compilers

1

1

118

Michał H. Pałka

×

3

Publications

181

Citations

3

H-Index

YearCitations

Page 1