Cerone, Antonio.
Overview
| Works: | 1 works in 8 publications in 1 languages | |
|---|---|---|
Titles
Information technology and open source: applications for education, innovation, and sustainabilitySEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Formal methods for an informal worldICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
(1998 :); Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methodsSEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
(1998 :); Cerone, Antonio.; Roveri, Marco.; SpringerLink (Online service)
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings /
by:
(1998 :); Barkaoui, Kamel.; Cavalcanti, Ana.; Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methodsSEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers /
by:
(1998 :); Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings /
by:
(1998 :); Boer, Frank de.; Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 202118th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings /
by:
(1998 :); Cerone, Antonio.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
(1998 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computingICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings /
by:
(1998 :); Cerone, Antonio.; Pihlajasaari, Pekka.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Computing Methodologies.
Input/Output and Data Communications.
Electronic data processing
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Programming Language.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Control Structures and Microprogramming.
Control and Systems Theory.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer science
Artificial Intelligence.
Control, Robotics, Automation.
Computer Science.
Computer Communication Networks.
Information technology
Simulation and Modeling.
Computers and Society.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Information theory
Education
Computers and Education.
Artificial intelligence.
Computers, Special purpose.
Computer Applications.