Lambert Meertens
#29,936
Most Influential Person Now
Dutch politician and computer scientist
Lambert Meertens's AcademicInfluence.com Rankings
Lambert Meertenscomputer-science Degrees
Computer Science
#1449
World Rank
#1498
Historical Rank
Database
#7192
World Rank
#7440
Historical Rank
Download Badge
Computer Science
Why Is Lambert Meertens Influential?
(Suggest an Edit or Addition)According to Wikipedia, Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens is a Dutch computer scientist and professor. , he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park.
Lambert Meertens's Published Works
Published Works
- Revised report on the algorithmic language ALGOL 68 (1976) (547)
- Revised report on the algorithmic languageAlgol 60 (1962) (454)
- Algorithmics : towards programming as a mathematical activity (1986) (205)
- Nested Datatypes (1998) (184)
- Generic Programming: An Introduction (1998) (160)
- Designing Constraint Maintainers for User Interaction (1998) (102)
- Node-density independent localization (2006) (94)
- Distributed Coordination through Anarchic Optimization (2003) (93)
- An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs (2001) (84)
- On the Completeness of the Inductive Assertion Method (1975) (74)
- Calculate Polytypically! (1996) (52)
- The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from InterNode Distances ∗ (2004) (49)
- Paramorphisms (2005) (42)
- Two exercises found in a book on algorithmics (1987) (38)
- A translation from attribute grammars to catamorphisms (1991) (34)
- Incremental polymorphic type checking in B (1983) (32)
- Link length of rectilinear Hamiltonian tours in grids (1994) (27)
- Constructing a Calculus of Programs (1989) (25)
- Recursive Assertions are not enough - or are they? (1979) (23)
- Description of B (1985) (23)
- Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchronous, Stochastic, Iterative-Repair, Anytime Algorithms (2001) (23)
- ABC programmer's handbook (2005) (19)
- Algorithmics (2021) (17)
- Algorithmic Languages and Calculi (1997) (16)
- A syntax-directed error-recovery method for parsing algol 68 programs : (prepublication) (1973) (15)
- Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes (1980) (14)
- Experiments on Dense Graphs with a Stochastic, Peer-to-Peer Colorer (2002) (12)
- Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986 (1987) (10)
- Abstracto 84: The next generation (1979) (10)
- Big omega versus the wild functions (1985) (9)
- Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion∗ (2001) (9)
- Draft proposal for the B programming language: semi-formal definition (1981) (9)
- The ACELA project: aims and plans (1998) (8)
- The ergonomics of computer interfaces -- Designing a system for human use. (1992) (8)
- The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation (1987) (7)
- The Dimension of the Vector Space Spanned by Sets of Radio-Interferometric Measurements∗ (2005) (7)
- The ABC structure editor -- Structure-based editing for the ABC programming environment. (1992) (6)
- An implementation of the B programming language (1984) (6)
- Scalable, Anytime Constraint Optimization through Iterated, Peer-to-Peer Interaction in Sparsely-Connected Networks (2002) (6)
- On the generation of ALGOL 68 programs involving infinite modes (1969) (5)
- Calculating the Sieve of Eratosthenes (2004) (5)
- Issues in the design of a beginners' programming language : (preprint) (1981) (5)
- Aleph, a language encouraging program hierarchy (1973) (4)
- Mathematics and computer science II : fundamental contributions in the Netherlands since 1945 : [symposium held in Amsterdam, 06-07.10.1986] (1986) (4)
- Simple recursive program schemes and inductive assertions (1972) (4)
- A Space-Saving Technique for Assigning Algol 68 Multiple Values (1976) (3)
- Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France (1997) (3)
- Language and metalanguage (1969) (3)
- Repairing the parenthesis skeleton of algol 68 programs : (extended abstract) (1973) (3)
- A Note on Integer Division (1976) (2)
- An abstracto reader prepared for IFIP WG 2.1 (1987) (2)
- Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi (1997) (2)
- Optimal packing of similar triangles (1989) (2)
- Parsing algol 68 with syntax-directed error recovery (1975) (2)
- Making B-tress work for B (1983) (2)
- On Static Scope Checking in ALGOL 68 (1973) (2)
- Asynchronous Execution and Communication Latency in Distributed Constraint Optimization (2002) (2)
- Free style spec wrestling II : preorders (1991) (2)
- Grammar-handling tools applied to algol 68 (1973) (2)
- Remarks on Abstracto (1978) (2)
- On restrictions on transformational grammars reducing the generative power (1975) (2)
- Modes and nests (1976) (1)
- Program text and program structure : (preprint) (1977) (1)
- Abstracto 84: the next generation : (preprint) (1979) (1)
- From abstract variable to concrete representation : (prepublication) (1976) (1)
- Definition of an abstract algol 68 machine (1981) (1)
- An operator-priority grammar for algol 68+ (1981) (1)
- Knowledge in security protocols : An operational semantics for BAN logic * 0 Introduction (2010) (1)
- Recurrent Ultracomputers Are Not Log N-fast (1)
- Quartet no. 1 in c major for 2 violins, viola and violoncello (1968) (1)
- A tribute to attributes (1991) (1)
- The Computer and the Program (1976) (1)
- Tokens and symbols (1976) (1)
- Kwartet Nr. 1 in C groot voor 2 Violen, Altviool en Cello ( Mathematisch Centrum Rapport MR 96 ) - part three (1968) (0)
- Mode and meaning : (pepublication) (1975) (0)
- Keyword grammars : (preprint) (1977) (0)
- Bitonic Sort on Ultracomputers (1979) (0)
- Recurrent ultracomputers are not log n-fast : (preprint) (1979) (0)
- From B to ABC : the Salient Changes (2010) (0)
- Designing a beginners' programming language : (prepublication) (1975) (0)
- Algol 68+, a superlanguage of algol 68 for processing the standard-prelude (1981) (0)
- On top-down parsing of algol 68+ (1981) (0)
- Quick Reference to B (1982) (0)
- Remarks on the transput section of the revised report on algol 68 (1974) (0)
- Geniaal programmeren { Generic programming at Utrecht { (2009) (0)
- Bitonic sort on ultracomputers : (preprint) (1979) (0)
- Mescal Requirements ~ Lambert (1998) (0)
- Changing Line Lengths in Random Files (1979) (0)
- Node density independent localization (2006) (0)
- An underlying context-free grammar of algol 68+ (1981) (0)
- Deriving a systolic language recogniser (1997) (0)
- The B programmer's handbook : for using B on Unix systems, IBM PC's and compatibles under DOS (1985) (0)
- Declarations, declarers and indicators (1976) (0)
- GRAMMARS REDUCING THE GENERATIVE POWER (1977) (0)
- The Origins of Python (2022) (0)
- Repairing the state switcher skeleton of algol 68 programs : (prepublication) (1974) (0)
- Placing mirrors in grids (1989) (0)
- The mc elan assembler (1972) (0)
- Making algol 68+ texts conform to an operator-priority grammar (1981) (0)
- 25th Anniversary Volume Contents (2002) (0)
- Interactive Mathematical Books (1996) (0)
- Aleph manual [Third print.] (1977) (0)
- Physionomie, psyche en chironomie (1969) (0)
- On the mc algol 68 compiler (1981) (0)
This paper list is powered by the following services:
Other Resources About Lambert Meertens
What Schools Are Affiliated With Lambert Meertens?
Lambert Meertens is affiliated with the following schools: