Languages
Abate, Alessandro.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abate, Alessandro.; SpringerLink (Online service); Safranek, David.
(Language materials, printed)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
SpringerLink (Online service); Abate, Alessandro.; Wolf, Verena.; Petrov, Tatjana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
Boldo, Sylvie.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Abate, Alessandro.
(Language materials, printed)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
Geeraerts, Gilles.; Abate, Alessandro.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
by:
Abate, Alessandro.; Safranek, David.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Marin, Andrea.; SpringerLink (Online service); Abate, Alessandro.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Abate, Alessandro.; SpringerLink (Online service); Marin, Andrea.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Bioinformatics.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computational biology
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer simulation
Machine theory.
Computers.
System analysis
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.
Mathematics of Computing.
Computer Science.
Computer simulation.
Temporal automata
Computer communication systems.
Probability and Statistics in Computer Science.
Information Systems and Communication Service.
Mathematical statistics.
Data mining.
Simulation and Modeling.
Systems biology
Computer science.
Computational Biology/Bioinformatics.
Data Mining and Knowledge Discovery.
Computer software