Concepedia

Marina De Vos

MD

Statistics

Publications

26

Citations

702

H-Index

15

Active since

2003

Affiliations

University of Bath(Current)

National Institute of Informatics

University of Surrey

Imperial College London

University of Aberdeen

Marina De Vos is an author at University of Bath specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationAnswer Set ProgrammingLawSocial SciencesVerificationDecision Theory

Publications per year

2003–2019

26

Publications

26

Shoot P status regulates cluster‐root growth and citrate exudation in <i>Lupinus albus</i> grown with a divided root system

Michael W. Shane, Marina De Vos, Sytze de Roock et al. · Plant Cell & Environment · 2003 · 150 citations · Full text

Biology, Shoot P Status, Developmental Biology +13

Energy efficient zone based routing protocol for MANETs

Shadi Basurra, Marina De Vos, Julián Padget et al. · Ad Hoc Networks · 2014 · 72 citations

Engineering, Wireless Routing, Energy Efficiency +3

Debugging logic programs under the answer set semantics

Martin Brain, Marina De Vos · 2005 · 57 citations

Engineering, Answer Set Semantics, Automated Reasoning +15

Norm emergence in multiagent systems: a viewpoint paper

Andreasa Morris-Martin, Marina De Vos, Julián Padget · Autonomous Agents and Multi-Agent Systems · 2019 · 46 citations · Full text

Norm Emergence, Social Influence, Collective Behavior +17

Normative design using inductive learning

Domenico Corapi, Alessandra Russo, Marina De Vos et al. · Theory and Practice of Logic Programming · 2011 · 33 citations

Artificial Intelligence, Normative Design, Engineering +25

1–5 of 26