Science Explorer Back to mapMap
Discussion
Researcher · Kestrel Institute · United States

Lambert Meertens

Lambert Meertens publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#998,217
of 7,710,434 ranked researchers
Rank in United States
#325,976
of 1,627,098
Works
115
Citations
1.5k
Citations per work
13.4
h-index
19
i10-index 25Top 14% in Artificial Intelligence
Lambert Meertens

What does Lambert Meertens research?

Lambert Meertens's work is mostly in Computer Science (57%), Arts and Humanities (3%).

Physical Sciences: 66 works · 57.4% of their workComputer Science: 66 works · 57.4% of their workArtificial Intelligence: 27 works · 23.5% of their workComputational Theory and Mathematics: 21 works · 18.0% of their workComputer Networks and Communications: 11 works · 9.3% of their workInformation Systems: 4 works · 3.3% of their workSignal Processing: 4 works · 3.3% of their workEverything else: 45 works · 39.3% of their workSocial Sciences: 4 works · 3.3% of their workArts and Humanities: 4 works · 3.3% of their workLanguage and Linguistics: 4 works · 3.3% of their workTHEIR WORKLambert Meertens115works
Physical Sciences57%Social Sciences3%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science6657.4%
  2. Everything else4539.3%
    1. Arts and Humanities43.3%
  1. 1Artificial Intelligence24% of their works
  2. 2Computational Theory and Mathematics18% of their works
  3. 3Computer Networks and Communications9% of their works
  4. 4Language and Linguistics3% of their works
  5. 5Information Systems3% of their works
  6. 6Signal Processing3% of their works

Research topics

Which keywords describe Lambert Meertens's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Algorithmic Information Theory and Answer Set Programming.

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
  1. Model Checking403 topics
  2. Formal Verification201 topic
  3. Static Analysis201 topic
  4. Temporal Logic202 topics
  5. Satisfiability Modulo Theories111 topic
  6. Symbolic Model Checker111 topic
  7. Algorithmic Information Theory91 topic
  8. Answer Set Programming91 topic
  9. Computability91 topic
  10. Modal Logic91 topic
  11. GPS Trajectories61 topic
  12. Trajectory Data Mining61 topic
  13. Constraint Optimization51 topic
  14. Distributed Algorithms51 topic
  15. Financial Analysis51 topic
  16. Math Search51 topic
  17. Mathematical Information Retrieval51 topic
  18. Monetary Policy51 topic

Where does Lambert Meertens work?

Lambert Meertens's main affiliation in the publication record is Kestrel Institute, United States.

How many publications and citations does Lambert Meertens have?

OpenAlex counts 115 works and 1,541 citations for Lambert Meertens, an h-index of 19, ranking #998,217 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Lambert Meertens. Posts are plain text and can be reported.