Cerone, Antonio.
Overview
Works: | 2 works in 3 publications in 1 languages |
---|
Titles
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Oliveira, José N.; Kutrib, Martin.; Moreira, Nelma.; Luckcuck, Matt.; Guidotti, Riccardo.; Marmsoler, Diego.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Sekerinski, Emil.; Farrell, Marie.; Cerone, Antonio.; Campos, José.; Dongol, Brijesh.; SpringerLink (Online service); Couto, Luis.; Astarte, Troy.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Information technology and open source: applications for education, innovation, and sustainability = SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service)
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
Cerone, Antonio.; SpringerLink (Online service); Ölveczky, Peter Csaba.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
SpringerLink (Online service); Cerone, Antonio.; Ölveczky, Peter Csaba.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
Schneider, Gerardo.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
SpringerLink (Online service); Cerone, Antonio.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops = CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers /
by:
SpringerLink (Online service); Bucaioni, Alessio.; Palmieri, Maurizio.; Venture, Gentiane.; Graziani, Pierluigi.; Cerone, Antonio.; Temperini, Marco.; Gomes, Cláudio.; Autili, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings /
by:
SpringerLink (Online service); Cerone, Antonio.; Pihlajasaari, Pekka.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
de Boer, Frank.; SpringerLink (Online service); Cerone, Antonio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service); Roveri, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Cerone, Antonio.; Campos, José.; Farrell, Marie.; Dongol, Brijesh.; SpringerLink (Online service); Couto, Luis.; Astarte, Troy.; Oliveira, José N.; Delmas, David.; Kutrib, Martin.; Moreira, Nelma.; Luckcuck, Matt.; Marmsoler, Diego.; Guidotti, Riccardo.; Gonnord, Laure.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Show more
Fewer
Subjects
Computer System Implementation.
Artificial intelligence.
Software engineering.
Mathematical and Computational Engineering Applications.
Theory of Computation.
Logics and Meanings of Programs.
Computer science
Computer and Information Systems Applications.
Application software.
Computers.
Control and Systems Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Engineering—Data processing.
Architecture, Computer.
Computer Science.
Microprogramming .
Special purpose computers.
Education
Special Purpose and Application-Based Systems.
Engineering mathematics.
Computing Milieux.
Computer science.
Computation by Abstract Devices.
Input-output equipment (Computers).
Computer Science Logic and Foundations of Programming.
Computer input-output equipment.
Mathematical logic.
Computer organization.
Computer science—Mathematics.
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Computers and Education.
Education—Data processing.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer Applications.
Robotics.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Automation.
Information technology
Programming Language.
Computers and Society.
Control Structures and Microprogramming.
Simulation and Modeling.
Control engineering.
Control, Robotics, Automation.
Computer hardware.
Computer Hardware.
Input/Output and Data Communications.