Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Didier Lime

Liveness in L/U-Parametric Timed Automata

2017English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

Romeo: A Tool for Analyzing Time Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Synthesis of Non-Interferent Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

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