1
Publications
21
Citations
1
H-Index
2022
Active since
Affiliations
Pennsylvania State University(Current)
Luka Matijević is an author at Pennsylvania State University specializing in formal methods, formal verification, and mechanism design.
Top concepts
BlockchainEngineeringVerificationFormal MethodsComputer ScienceMechanism DesignCluster ComputingFormal VerificationSystems EngineeringComputational Complexity
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1