Publications CPS

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

To the publication

In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2021) 9th February 8-10 Online-Conference 2021.

To the publication

In: Slimane Hammoudi, Luís Ferreira Pires, Bran Selić (editor). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valletta Malta Springer 2021.

To the publication

In: Integration, the VLSI Journal 78 Pages 11-24 ScienceDirect 2021.

To the publication

In: IETE Journal of Research Pages 1-14 Taylor & Francis 9/2020.

To the publication

In: Ashutosh Kumar Singh, Masahiro Fujita, Anand Mohan. Design and Testing of Reversible Logic. Pages 215-231 Springer 2020.

To the publication

In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020) 25th January 13-16 Beijing China 2020.

To the publication

In: 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valetta Malta 2020.

To the publication

In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020) July 19-23 San Francisco United States 2020.

To the publication

In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO) Elsevier 2020.

To the publication

Cyber-Physical Systems

PUBLICATIONS

One-pass Synthesis for Field-coupled Nanocomputing Technologies

Performance Aspects of Correctness-oriented Synthesis Flows

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

An ant colony based mapping of quantum circuits to nearest neighbor architectures

Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures

An Efficient Nearest Neighbor Design for 2D Quantum Circuits

Towards Automatic Hardware Synthesis from Formal Specification to Implementation

Integer Overflow Detection in Hardware Designs at the Specification Level

Verification for Field-coupled Nanocomputing Circuits

On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata

Links

Contact

Follow us on:

Editor

Newsletter

Locations