Formenti, Enrico.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Formenti, Enrico.; SpringerLink (Online service); International Conference on Reachability Problems (2023 :); Bournez, Olivier.; Potapov, Igor.
(Electronic resources)
Cellular automata technology = 4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6-8, 2025 : revised selected papers /
by:
Formenti, Enrico.; SpringerLink (Online service); Asian Symposium on Cellular Automata Technology (2025 :); Kamilya, Supreeti.; Das, Sukanta.
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics = 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013 : revised selected papers /
by:
Formenti, Enrico.; Tagliaferri, Roberto.; Wit, Ernst.; SpringerLink (Online service)
(Electronic resources)
Cellular automata technology = third Asian Symposium, ASCAT 2024, Durgapur, India, February 29-March 2, 2024 : revised selected papers /
by:
Formenti, Enrico.; SpringerLink (Online service); Asian Symposium on Cellular Automata Technology (2024 :); Dalui, Mamata.; Das, Sukanta.
(Electronic resources)
Machines, computations, and universality = 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024 : revised selected papers /
by:
Formenti, Enrico.; SpringerLink (Online service); MCU (Conference) (2024 :); Durand-Lose, Jérôme.
(Electronic resources)
Subjects
Image Processing and Computer Vision.
Software Engineering.
Pattern Recognition.
Logic in AI.
Mathematics of Computing.
Biometry
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer systems- Verification
Cellular automata
Computer science- Mathematics
Computer Science Logic and Foundations of Programming.
Data Mining and Knowledge Discovery.
Computational Intelligence.
Computer Engineering and Networks.
Computational intelligence
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer science
Computer Science.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Bioinformatics
Computational Biology/Bioinformatics.