Lambert Meertens
Lambert Meertens publishes mostly in Computer Networks and Communications, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Parallel Computing and Optimization Techniques and Logic, programming, and type systems.
- World rank
- #827,206 of 1,633,909 ranked researchers
- Rank in Netherlands
- #15,292 of 23,481
- Works
- 25
- Citations
- 54
- Citations per work
- 2.2
What does Lambert Meertens research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications19% of their works
- 2Artificial Intelligence19% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Hardware and Architecture16% of their works
- 5Information Systems10% of their works
- 6Signal Processing6% of their works
Research topics
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Logic, programming, and type systems
- Optimization and Search Problems
- Computational Physics and Python Applications
- Logic, Reasoning, and Knowledge
- Intelligent Tutoring Systems and Adaptive Learning
- Mathematics, Computing, and Information Processing
Which keywords describe Lambert Meertens's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Parallel Computing, Performance Optimization, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification and Static Analysis.
- Scientific Computing
- Modal Logic
- Math Search
- Answer Set Programming
- Online Algorithms
- Static Analysis
- Symbolic Model Checker
- Performance Optimization
- Temporal Logic
- Model Checking
- Parallel Computing
- Satisfiability Modulo Theories
- Formal Verification
- Mobile Robots
- Affective States
- Intelligent Tutoring Systems
- Mathematical Information Retrieval
- Python
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking83 topics
- Temporal Logic52 topics
- Parallel Computing41 topic
- Performance Optimization41 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Formal Verification31 topic
- Static Analysis31 topic
- Mobile Robots21 topic
- Online Algorithms21 topic
- Affective States11 topic
- Answer Set Programming11 topic
- Intelligent Tutoring Systems11 topic
- Math Search11 topic
- Mathematical Information Retrieval11 topic
- Modal Logic11 topic
- Python11 topic
- Scientific Computing11 topic
Where does Lambert Meertens work?
Lambert Meertens's main affiliation in the publication record is Centrum Wiskunde & Informatica, Netherlands.
How many publications and citations does Lambert Meertens have?
Science Explorer counts 25 works and 54 citations for Lambert Meertens, ranking #827,206 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.