Synthesis of Customized Hardware from ADA. - Michael F. Dossis; James M. Noras; Gary J. Porter (ISCAS, 1994)

Provably Correct Hardware Compilation using Timing Diagrams. - Michael Schenke; Michael Dossis (FORTE, 1999)

A Web Service to Generate Program Coprocessors. - Michael F. Dossis; T. Themelis; L. Markopoulos (SMAP, 2009)

Synthesis of provably-correct hardware with options. - Michael F. Dossis (ICECS, 2010)

Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs. - Michael F. Dossis (ISVLSI, 2010)

Using an XML schema to validate a formal hardware compiler. - Michael F. Dossis (SMAP, 2010)

Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System. - Michael F. Dossis (Int. J. Intell. Inf. Process., 2010)

Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web. - Michael F. Dossis (J. Next Gener. Inf. Technol., 2010)

Intermediate Predicate Format for Design Automation Tools. - Michael F. Dossis (J. Next Gener. Inf. Technol., 2010)

Use of Behavioral Synthesis to Implement a Cellular Neural Network for Image Processing Applications. - Dimitrios Amanatidis; Michael Dossis (Panhellenic Conference on Informatics, 2011)

Formal ESL Synthesis for Control-Intensive Applications. - Michael F. Dossis (Adv. Softw. Eng., 2012)

Modeling and simulation in a formal design framework. - Michael Dossis (BCI, 2013)

Formal Methods in High-Level and System Synthesis. - Michael F. Dossis (Semantic Hyper/Multimedia Adaptation, 2013)

A Floating-Point Paradigm for High-level Synthesis. - Michael F. Dossis (Panhellenic Conference on Informatics, 2014)

Hardware synthesis of high-level C constructs. - Michael F. Dossis; Georgios Dimitriou (Panhellenic Conference on Informatics, 2015)

Performance and power simulation of a functional-unit-network processor with simplescalar and wattch. - Kleovoulos Kalaitzidis; Georgios Dimitriou; Georgios I. Stamoulis; Michael F. Dossis (Panhellenic Conference on Informatics, 2015)

Source-Level Compiler Optimizations for High-Level Synthesis. - Georgios Dimitriou; Georgios Chatzianastasiou; Apostolos Tsakyridis; Georgios I. Stamoulis; Michael F. Dossis (SEEDA-CECNSM, 2016)

Gamifying e-learning as a Means of Overcoming Its Deficiencies. - Angelos P. Markopoulos; Michael F. Dossis; Anastasios Fragkou; Petros D. Kasidiaris (SEEDA-CECNSM, 2016)

Loop pipelining in high-level synthesis with CCC. - Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (MOCAST, 2017)

Optimal Model Parameters of Inverse Kinematics Solution of a 3R Robotic Manipulator Using ANN Models. - Nikolaos E. Karkalos; Angelos P. Markopoulos; Michael F. Dossis (Int. J. Manuf. Mater. Mech. Eng., 2017)

Proposed open source framework for interactive IoT smart museums. - Michael F. Dossis; Ioannis Kazanidis; Stavros Valsamidis; George Kokkonis; Sotirios Kontogiannis (PCI, 2018)

Performance evaluation on IoT devices secure data delivery processes. - Ioannis Georgiadis; Michael F. Dossis; Sotirios Kontogiannis (PCI, 2018)

Operation Dependencies in Loop Pipelining for High-Level Synthesis. - Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (SEEDA-CECNSM, 2018)

Resolving Loop Pipelining Issues in the CCC High-level Synthesis E-CAD Framework. - Michael F. Dossis; Georgios Dimitriou (TSP, 2018)

High Level Synthesis of CART. - Dimitrios Amanatidis; Michael Dossis (SEEDA-CECNSM, 2019)

A Convolutional Neural Network for Sentiment Analysis of TripAdvisor reviews. - Dimitrios Amanatidis; Michael Dossis; Ifigeneia Mylona (SEEDA-CECNSM, 2019)

Instruction-Based Timing Analysis in Pipelined Processors. - Athanassios Tziouvaras; Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (SEEDA-CECNSM, 2019)

Adaptive Operation-Based ALU and FPU Clocking. - Athanassios Tziouvaras; Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (MOCAST, 2020)

Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches. - Michael Dossis (PCI, 2020)

The CCC framework: Training and inference of a simple MLP for the XOR problem. - Dimitrios Amanatidis; Michael Dossis (SEEDA-CECNSM, 2020)

Global and Pointer Variables in High-Level Synthesis. - Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (SEEDA-CECNSM, 2020)

A Novel Genetic Algorithm for I/O Pad Planning Retaining Former Cell Positions. - George K. Kranas; Taxiarchis G. Kouskouras; Vasileios Dimitriadis; Michael F. Dossis; Panagiotis Oikonomou; Antonios N. Dadaliaris (SEEDA-CECNSM, 2020)

Preliminary results of a proposed CNN framework for use in motorway applicable detection systems. - George Sisias; Sotirios Kontogiannis; Myrto Konstantinidou; Michael F. Dossis (SEEDA-CECNSM, 2020)

Branchless Code Generation for Modern Processor Architectures. - Alexandros Angelou; Antonios N. Dadaliaris; Michael F. Dossis; Georgios Dimitriou (PCI, 2021)

Juxtaposing Vivado Design Flows in Batch Mode. - Antonios N. Dadaliaris; Antonios Tragoudaras; George K. Kranas; Michael F. Dossis; Georgios Dimitriou (PCI, 2021)

Variations on a Connectivity-based Legalizer for Standard Cell Design. - Antonios N. Dadaliaris; George K. Kranas; Panagiotis Oikonomou; Michael F. Dossis (SEEDA-CECNSM, 2021)

Converging Formal Verification in a High-Level Synthesis Environment. - Michael Dossis (SEEDA-CECNSM, 2021)

Redesign, Extensibility & Evaluation of a Placement Utilities Toolset. - George K. Kranas; Antonios N. Dadaliaris; Panagiotis Oikonomou; George Floros 002; Michael F. Dossis (SEEDA-CECNSM, 2021)

STEAM in VET - An ArcGIS StoryMap Approach. - Nikol Vrysouli; Dimitrios Kotsifakos; Michael Dossis; Christos Douligeris (SEEDA-CECNSM, 2021)

Near Data Processing Performance Improvement Prediction via Metric-Based Workload Classification. - Dimitrios Papalekas; Athanasios Tziouvaras; George Floros 002; Georgios Dimitriou; Michael F. Dossis; Georgios I. Stamoulis (MOCAST, 2022)

Brain MRI based diagnosis of autoimmune diseases using deep learning. - Dimitrios Amanatidis; Georgios Chatzisavvas; Michael Dossis (SEEDA-CECNSM, 2022)

A gene visualising database. - Dimitrios Amanatidis; Kyriakos Kydoniefs; Michael Dossis (SEEDA-CECNSM, 2022)

Social Media and Consumer Behaviour: Exploratory Factor Analysis. - Dimitrios Amanatidis; Ifigeneia Mylona; Michael Dossis (SEEDA-CECNSM, 2022)

Deep Neural Network Applications for Bioinformatics. - Dimitrios Amanatidis; Konstantina Vaitsi; Michael Dossis (SEEDA-CECNSM, 2022)

Scavenging PyPi for VLSI Packages. - George K. Kranas; Antonios N. Dadaliaris; Panagiotis Oikonomou; Michael F. Dossis (SEEDA-CECNSM, 2022)

Greek Parliament Members on Instagram: A study on building a political image. - Ifigeneia Mylona; Dimitrios Amanatidis; Michael Dossis (SEEDA-CECNSM, 2022)

Radiography Images with Transfer Learning on Embedded System. - Theodora Sanida; Argyrios Sideris; Antonios Chatzisavvas; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2022)

High Throughput of Image Processing with Keccak Algorithm using Microprocessor on FPGA. - Argyrios Sideris; Theodora Sanida; Antonios Chatzisavvas; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2022)

Behavioural synthesis of SGD using the CCC framework: a simple XOR-solving MLP. - Dimitrios Amanatidis; Michael Dossis (Appl. Intell., 2022)

Exploiting Net Connectivity in Legalization and Detailed Placement Scenarios. - Antonios N. Dadaliaris; George K. Kranas; Panagiotis Oikonomou; George Floros 002; Michael F. Dossis (Inf., 2022)

Assessing Swapping Policies as a Detailed Placement Approach. - Ioannis Arvanitakis; George K. Kranas; Michael F. Dossis; Athanasios Kakarountas; Antonios N. Dadaliaris (SEEDA-CECNSM, 2023)

Synthesis-Embedded Verification. - Michael Dossis (SEEDA-CECNSM, 2023)

The role of hashtags in Social Networks: The case of social mobilization in Greece. - Georgia Gioltzidou; Michael Dossis; Theodoros Chrysafis; Ifigeneia Mylona; Fotini Gioltzidou; Dimitrios Amanatidis (SEEDA-CECNSM, 2023)

"Technician of Refrigeration, Ventilation, and Air Conditioning Installations": ANew Approach of the Modern Curricula in the Mechanical Sector of the 3rd Class of the Vocational School. - Konstantinos Korakis; Michael Dossis (SEEDA-CECNSM, 2023)

The Role of Social Media before and during a Holiday Travel: Generational and Gender Differences. - Ifigeneia Mylona; Dimitrios Amanatidis; Michael Dossis; Irene Kamenidou; Spyridon Mamalis (SEEDA-CECNSM, 2023)

Efficient Categorization of Pneumonia Diagnosis Using Low-Power Embedded Devices. - Theodora Sanida; Maria Vasiliki Sanida; Argyrios Sideris; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2023)

An Efficiency CNN Solution for Olive Disease Management Through FPGA. - Theodora Sanida; Argyrios Sideris; Maria Vasiliki Sanida; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2023)

Acceleration of GANs for Potato Crop Disease Identification via FPGA. - Theodora Sanida; Argyrios Sideris; Maria Vasiliki Sanida; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2023)

Accelerate Processing of Image with the Keccak-512 Algorithm on Cryptoprocessor. - Argyrios Sideris; Theodora Sanida; Maria Vasiliki Sanida; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2023)

Enhancing Autonomous Navigation Systems in Agriculture Equipment. - Antonios Chatzisavvas; Georgios Ktistakis; Georgios Papamichail; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2024)

Improving Efficiency in Agricultural UGVs Through Enhanced Pathfinding Techniques. - Antonios Chatzisavvas; Theodora Sanida; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2024)

Navigating the Digital Landscape: Cybersecurity and Social Media Communication in Greece. - Theodoros Chrysafis; Michael Dossis; Georgia Gioltzidou; Fotini Gioltzidou; Dimitrios Amanatidis; Ifigeneia Mylona (SEEDA-CECNSM, 2024)

Current Status of Analytical FPGA Placement. - Kosmas Kariotis; Antonios N. Dadaliaris; George K. Kranas; George Dimitriou; Michael F. Dossis (SEEDA-CECNSM, 2024)

Social media and archeological museums in Greece: A pre-post COVID-19 study. - Ifigeneia Mylona; Dimitrios Amanatidis; Michael Dossis; Eirini Papadaki; Georgia Gioltzidou (SEEDA-CECNSM, 2024)

Fake News Detection Approach Using Hybrid Deep Learning Framework. - Maria Vasiliki Sanida; Theodora Sanida; Argyrios Sideris; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2024)

Accelerating CNNs for Pneumonia Disease Diagnosis via Heterogeneous FPGA Systems. - Theodora Sanida; Argyrios Sideris; Maria Vasiliki Sanida; Michael Dossis; Minas Dasygenis (SEEDA-CECNSM, 2024)

Semantic context modeling and extraction with extended, augmented, or virtual reality, for the digital representation of a historical or archaeological monument. - Alexandra Nikolopoulou; Dimitrios Kotsifakos; Dimitrios E. Kiriakos; Yannis Psaromiligkos; Christos Douligeris; Michael Dossis (SMAP, 2024)

The Advantage of the 5G Network for Enhancing the Internet of Things and the Evolution of the 6G Network. - Georgios Gkagkas; Dimitrios J. Vergados; Angelos Michalas; Michael Dossis (Sensors, 2024)