Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nikolaos Papaspyrou

A Type System for Certified Binaries

English

Related publications

A Certified Procedure for RL Verification

English

Wind Mass Transfer in S-Type Symbiotic Binaries

Astronomy and Astrophysics

Planetary Science

English

KIC 4247791: A SB4 System With Two Eclipsing Binaries (2EBs)

Astronomy and Astrophysics

Planetary Science

English

A New Certified Catalyst for Flexible Urethane Foams

Chemical and Engineering News

Chemical Engineering

English

Migrating Waves in Solar-Type Short-Period Eclipsing Binaries

International Astronomical Union Colloquium

English

SimCheck: A Contract Type System for Simulink

Innovations in Systems and Software Engineering

English

Precise Orbital Solutions for KEPLER Eclipsing Binaries of W UMa Type Showing Total Eclipses

Publications of the Astronomical Society of Australia

Planetary Science

English

Questionnaire Survey for Board Certified Neurosurgeons

Japanese Journal of Neurosurgery

English

VizieR Catalogue System Certified by the Data Seal of Approval

EPJ Web of Conferences

English