Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hervé Marchand

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2014English

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

More Testable Properties

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Formal Verification of Signal Programs: Application to a Power Transformer Station Controller

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Related publications

Publisher Correction: A Note on the Lena Image

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Universal Computing by DNA Origami Robots in a Living Animal

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2014English

Nano in the Future of Crops

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Author Correction: Magnesium Silicide Nanoparticles as a Deoxygenation Agent for Cancer Starvation Therapy

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Magnetic Brightening and Control of Dark Excitons in Monolayer WSe2

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2017English

Imaging and Three-Dimensional Reconstruction of Chemical Groups Inside a Protein Complex Using Atomic Force Microscopy

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Designing DNA Nanodevices for Compatibility With the Immune System of Higher Organisms

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Intracellular Recording of Action Potentials by Nanopillar Electroporation

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2012English

The Emerging Field of RNA Nanotechnology

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2010English

Can We Be More Social?

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy