Marco Bellia
Marco Bellia publishes mostly in Hardware and Architecture, Artificial Intelligence and Molecular Biology, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Advanced biosensing and bioanalysis techniques.
- World rank
- #1,309,832 of 1,633,909 ranked researchers
- Rank in Italy
- #53,205 of 65,712
- Works
- 18
- Citations
- 9
- Citations per work
- 0.5
What does Marco Bellia research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture15% of their works
- 2Artificial Intelligence15% of their works
- 3Molecular Biology10% of their works
- 4Economics and Econometrics10% of their works
- 5Computational Theory and Mathematics5% of their works
- 6Computer Networks and Communications5% of their works
Research topics
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Advanced biosensing and bioanalysis techniques
- DNA and Biological Computing
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Advanced Database Systems and Queries
- Context-Aware Activity Recognition Systems
Which keywords describe Marco Bellia's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Parallel Computing, Performance Optimization, Static Analysis, Activity Recognition, Autonomic Computing and Continuous Queries.
- Self-Assembly
- Satisfiability Modulo Theories
- Molecular Computation
- DNA nanotechnology
- Continuous Queries
- Activity Recognition
- Performance Optimization
- Formal Verification
- Model Checking
- Parallel Computing
- Static Analysis
- Autonomic Computing
- DNA Computing
- Data Stream Management
- Pervasive Computing
- Self-Adaptive Systems
- Symbolic Model Checker
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking32 topics
- Formal Verification21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Static Analysis21 topic
- Activity Recognition11 topic
- Autonomic Computing11 topic
- Continuous Queries11 topic
- DNA Computing11 topic
- DNA nanotechnology11 topic
- Data Stream Management11 topic
- Molecular Computation11 topic
- Pervasive Computing11 topic
- Satisfiability Modulo Theories11 topic
- Self-Adaptive Systems11 topic
- Self-Assembly11 topic
- Symbolic Model Checker11 topic
Where does Marco Bellia work?
Marco Bellia's main affiliation in the publication record is Libera Università Internazionale degli Studi Sociali Guido Carli, Italy.
How many publications and citations does Marco Bellia have?
Science Explorer counts 18 works and 9 citations for Marco Bellia, ranking #1,309,832 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.