Lambert Meertens
About
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, United States and Hungary. Lambert Meertens's co-authors include Steven Pemberton, Branislav Kusý, Krzysztof R. Apt, Paul Vitányi and Miklós Maróti and has published in prestigious journals such as SIAM Journal on Computing, Journal of Computer and System Sciences and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ramazan Akkaya are published in Top journals papers by Ramona J. Beshear are published in Top countries impacted by papers by Eurico Seabra Top fields papers by He‐He Cao are about Top journals papers by Yuheng Du are published in Top fields papers by Tiffany E. Bias are about Top countries impacted by papers by M. Stupavsky Top journals papers by Abi Kanthabalan are published in