Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bertrand Meyer

Marine Gateway vs. Fluvial Stream Within the Balkans From 6 to 5Ma

Marine and Petroleum Geology
OceanographyGeologyGeophysicsStratigraphyEconomic Geology
2015English

The Solution to AI, What Real Researchers Do, and Expectations for CS Classrooms

Communications of the ACM
Computer Science
2016English

Neogene Exhumation and Relief Evolution in the Eastern Betics (SE Spain): Insights From the Sierra De Gador

Terra Nova
Geology
2017English

Program Checking With Less Hassle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Applying Search in an Automatic Contract-Based Testing Tool

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Simple Concurrency for Robotics With the Roboscoop Framework

2014English

Late Quaternary Co-Seismic Sedimentation in the Sea of Marmara's Deep Basins

Sedimentary Geology
StratigraphyGeology
2007English

Generalised Hermite Constants, Voronoi Theory and Heights on Flag Varieties

Bulletin de la Societe Mathematique de France
Mathematics
2009English

Automatic Testing of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Eiffel as a Framework for Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy