Lambert Meertens

24 papers and 343 indexed citations i.

Lambert Meertens has authored 24 papers that have received a total of 343 indexed citations. This includes 12 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Electrical and Electronic Engineering. The topics of these papers are Logic, programming, and type systems (9 papers), Formal Methods in Verification (4 papers) and Algorithms and Data Compression (3 papers). Lambert Meertens is often cited by papers focused on Logic, programming, and type systems (9 papers), Formal Methods in Verification (4 papers) and Algorithms and Data Compression (3 papers) and collaborates with scholars based in The Netherlands, Hungary and United States. Lambert Meertens's co-authors include Steven Pemberton, Ákos Lédeczi, Paul Vitányi, Miklós Maróti and Branislav Kusý and has published in prestigious journals such as SIAM Journal on Computing, Journal of Computer and System Sciences and Theoretical Computer Science.