Mark d'Inverno | Academic Influence

Mark d'Inverno's AcademicInfluence.com Rankings

Mark d'Inverno

Computer Science

#10421

World Rank

#10945

Historical Rank

Artificial Intelligence

#5276

World Rank

#5347

Historical Rank

Database

#8193

World Rank

#8546

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Mark d'Inverno's Degrees

PhD Artificial Intelligence University of Sussex
Bachelors Mathematics University of Sussex

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Mark d'Inverno Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Mark d'Inverno is a British computer scientist, currently a professor of Computer Science at Goldsmiths, University of London, in east London, England. Biography d'Inverno studied for an MA in Mathematics and an MSc in Computation at St Catherine's College, Oxford. He was awarded a PhD from University College London in artificial intelligence.

(See a Problem?)

Mark d'Inverno's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Formal Specification of dMARS (1997) (397)
A Formal Framework for Agency and Autonomy (1995) (303)
Understanding Agent Systems (2001) (264)
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System (2004) (195)
Agent-Based Software Development (2004) (187)
Constraining autonomy through norms (2002) (164)
A normative framework for agent-based systems (2006) (159)
Negotiation in multi-agent systems (1999) (143)
Agents in bioinformatics, computational and systems biology (2006) (116)
Engineering AgentSpeak(L): A Formal Computational Model (1998) (109)
Learning in multi-agent systems (2001) (103)
AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (2003) (98)
A Conceptual Framework for Agent Definition and Development (2001) (96)
From Agent Theory to Agent Construction: A Case Study (1996) (87)
Communicating open systems (2012) (85)
Proceedings of the First International Conference on Multi-Agent Systems (1995) (83)
Computers and Creativity (2012) (82)
Formalisms for multi-agent systems (1997) (75)
Interaction protocols in Agentis (1998) (70)
Linked Data and You: Bringing Music Research Software into the Semantic Web (2010) (61)
Proceedings of the Third Mexican International Conference on Computer Science (2001) (59)
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes (1997) (54)
Understanding cell lineages as complex adaptive systems. (2004) (54)
Formalising the Contract Net as a Goal-Directed System (1996) (51)
Autonomy: Variable and Generative (2003) (46)
A Formal View of Social Dependence Networks (1995) (44)
Normative agent reasoning in dynamic societies (2004) (44)
Agent-Based Modelling of Stem Cell Self-organisation in a Niche (2004) (44)
Engagement and Cooperating in Motivated Agent Modelling (1995) (44)
Development and application of a formal agent framework (1997) (44)
Cooperation Structures (1997) (43)
Knowledge interchange protocols (1990) (42)
Reflexive loopers for solo musical improvisation (2013) (41)
Motivated Behavior for Goal Adoption (1998) (39)
Motivated Behaviour for Goal Adoption (1998) (37)
Mathematical Modeling of Stem Cells: A Complexity Primer for the Stem-Cell Biologist (2006) (35)
In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound (2019) (34)
Understanding Autonomous Interaction (1996) (34)
INTELLIGENT AGENTS IV (1998) (32)
A Framework for Norm-based Inter-Agent Dependence (2001) (31)
Fluid gesture interaction design: Applications of continuous recognition for the design of modern gestural interfaces (2014) (31)
Foundations and Applications of Multi-Agent Systems (2002) (31)
Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques (2018) (30)
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems (1995) (30)
Heroic versus Collaborative AI for the Arts (2015) (28)
Proceedings of the Third International Conference on Multi-Agent Systems (1998) (28)
Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery (2011) (26)
Autonomy: A Nice Idea in Theory (2000) (26)
Understanding agent systems, Second Edition (2004) (25)
Computers and Creativity: The Road Ahead (2012) (24)
A Formal Architecture for the 3APL Agent Programming Language (2000) (23)
Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (2002) (22)
Investigating Music Collections at Different Scales with AudioDB (2010) (21)
On the future of computers and creativity (2014) (20)
Creativity Through Autonomy and Interaction (2012) (20)
Explainable Computational Creativity (2022) (19)
Computational systems for music improvisation (2018) (19)
A History of Creativity for Future AI Research (2016) (16)
Design Considerations for Real-Time Collaboration with Creative Artificial Intelligence (2020) (16)
The Extended Composer (2012) (15)
Motivation-based selection of negotiation partners (2004) (15)
Formal framework for hypertext systems (1997) (14)
The Challenge of Artificial Socio-Cognitive Systems (2014) (14)
Using Song Social Tags and Topic Models to Describe and Compare Playlists (2010) (14)
Designing Improvisational Interfaces (2016) (14)
Towards Motivation-Based Decisions for Worth Goals (2003) (14)
A Z Specification of the Soft-Link Hypertext Model (1997) (14)
Architecture for Agent Programming Languages (2000) (14)
Intelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages (1997) (14)
Foundations of Multi-Agent Systems: Techniques, Tools and Theory (1998) (13)
Towards a Framework for Socio-Cognitive Technical Systems (2014) (13)
Designing Educational Social Machines for Effective Feedback. (2014) (12)
Infrastructure Support for Agent-Based Development (2002) (12)
On Identifying and Managing Relationships in Multi-Agent Systems (2003) (12)
A Manifesto for Conscientious Design of Hybrid Online Social Systems (2016) (12)
The intelligent street: responsive sound environments for social interaction (2004) (11)
Formal Agent Development: Framework to System (2000) (11)
Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence (2004) (11)
New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia. (2009) (11)
Experience Driven Design of Creative Systems (2016) (11)
Plan Analysis for Autonomous Sociological Agents (2000) (10)
Specification, design, and implementation of an interactive conferencing system (1991) (10)
STEAM WORKS: Student coders experiment more and experimenters gain higher grades (2017) (10)
Annotating Cooperative Plans with Trusted Agents (2002) (10)
Multiuser museum interactives for shared cultural experiences: an agent-based approach (2013) (9)
Net Work: an interactive artwork designed using an interdisciplinary performative approach (2007) (9)
A formal framework for specifying design methods (1996) (9)
WeCurate: Designing For Synchronised Browsing And Social Negotiation (2012) (9)
Unifying Agent Systems (2004) (8)
Sociological agents for effective social action (2000) (8)
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems (1995) (8)
Transdisciplinary Research in CELL (2006) (8)
Making and Breaking Engagements: An Operational Analysis of Agent Relationships (1996) (8)
Engineering multiuser museum interactives for shared cultural experiences (2015) (8)
Understanding Agent Systems (2004) (8)
AGENTS IN PRINCIPLE, AGENTS IN PRACTICE (2011) (8)
Evaluation of Creative Aesthetics (2012) (8)
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users (1995) (8)
Multi-agent systems research into the 21st century (2001) (7)
Multidisciplinary Investigation into Adult Stem Cell Behavior (2005) (7)
Agency and Autonomy: A Formal Framework (1995) (7)
From SMART to agent systems development (2005) (6)
Can Machines Be Artists? A Deweyan Response in Theory and Practice (2019) (6)
Crowd-Based Socio-Cognitive Systems (2014) (6)
Goal Generation and Adoption in Hierarchical Agent Models (1995) (6)
WeCurate: multiuser museum interactives for shared cultural experiences (2013) (6)
Creative reflection and extension with generative tools (2010) (6)
A Social Timeline for Exchanging Feedback about Musical Performances (2014) (6)
Formal Methods and Agent-Based Systems (2006) (6)
Querying Improvised Music: Do You Sound Like Yourself? (2010) (5)
Towards a Distributed Research Environment for Music Informatics and Computational Musicology (2010) (5)
Pedagogical Agents for Social Music Learning in Crowd-Based Socio-Cognitive Systems (2014) (5)
Identifying Affordances for Modelling Second-Order Emergent Phenomena with the WIT Framework (2017) (5)
Towards a motivation-based approach for evaluating goals (2003) (5)
Sharing Online Cultural Experiences: An Argument-Based Approach (2012) (5)
Sketches vs skeletons: video annotation can capture what motion capture cannot (2015) (5)
Cooperative plan annotation through trust (2002) (5)
Evidencing the Value of Inquiry Based, Constructionist Learning for Student Coders (2017) (5)
09291 Summary - Computational Creativity: an interdisciplinary approach (2009) (5)
A CSP model with flexible parallel termination semantics (2009) (5)
Investigating Swarm Intelligence for Performance Prediction (2016) (4)
Towards Community Browsing for Shared Experiences: The WeBrowse System (2012) (4)
Predicting student grades from online, collaborative social learning metrics using K-NN (2016) (4)
Proceedings of the First International Symposium on Normative Multi-Agent Systems (2005) (4)
Embedded intelligent music–or iHiFi the intelligent HiFi (2003) (4)
Agents, agency and autonomy: a formal computational model (1998) (4)
Transdisciplinary Collaboration (4)
Social machines for education driven by feedback agents (2014) (4)
CONFESSIONS OF COMPUTER SCIENTISTS WORKING IN THE ARTS: A TALE OF TWO TECHIES (2006) (3)
Creative Feedback: a Manifesto for Social Learning (2014) (3)
Stimulating collaborative activity in online social learning environments with Markov decision processes (2016) (3)
Agent-Based Modeling of Stem Cells (2009) (3)
Towards a Design Framework for Controlled Hybrid Social Games (2013) (3)
Net Work: an interactive artwork (2006) (3)
Heroic vs Collaborative AI for the Arts (2015) (3)
Around and around (2012) (3)
Weaving a Fabric of Socially Aware Agents (2011) (3)
Proceedings of the First IEEE International Conference on Formal Engineering Methods (1997) (3)
Pedagogical agent models for massive online education (2015) (3)
Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, LNAI 1986 (2001) (2)
ECAI 2000 - Proceedings of the 15th European Conference on Artificial Intelligence (2000) (2)
Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000 (2002) (2)
Boolean prediction of final grades based on weekly and cumulative activities (2017) (2)
Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence (1996) (2)
Count on It (2012) (2)
Design Heuristics for Ethical Online Institutions (2022) (2)
Multi-Agent Systems: Theories, Languages and Applications - Proceedings of the Fourth Australian Workshop on Distributed Artificial Intelligence, LNAI 1544 (1998) (2)
Identifying opportunities and constraints for goal achievement through relationship analysis (2004) (1)
Duplicate Detection in Facsimile Scans of Early Printed Music (2014) (1)
An experience-based BDI logic: Motivating shared experiences and intentionality (2013) (1)
Wouldn't you love to know (2012) (1)
Intelligent Agents IV : Proceedings of the Fourth International Workshop on Agent Theories , Architectures and Languages (2014) (1)
2 . Autonomy : Variable and Generative 9 Chapter 2 Autonomy : Variable and Generative (2003) (1)
Specifying termination in CSP (2013) (1)
Agent Technology from a Formal Perspective (2006) (1)
Transdisciplinary collaboration in "Cell" (2006) (1)
Towards Intelligent Responsive Sound (2005) (1)
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity) (2013) (1)
Why does Computing matter to Creativity (2012) (1)
act smart: Building a smart System (2004) (1)
Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance (2019) (1)
Revealing and interpreting crowd stories in online social environments (2015) (1)
WeCurate: Enriching the Sociocultural Practices of the Museum Experience (2013) (1)
Modelling , Simulation and Visualisation of Stem Cell Behaviour (2004) (1)
09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach (2009) (1)
Ashri , Ronald , Luck , Michael and d ' Inverno , Mark Infrastructure Support for Agent-Based Development (2014) (0)
Communicating Open Systems: Extended Abstract (2013) (0)
A computational framework of human values for ethical AI (2023) (0)
An Architecture for 3 APL (2007) (0)
(De)Constructing Artificial Socio-Cognitive Systems (2014) (0)
Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis (2020) (0)
Designing Systems to Support Student Learning and Improve Instruction (2019) (0)
A benchmark study on the model-based estimation of the go-kart side-slip angle (2021) (0)
Agents, emergence and modelling: What value for communication networks? (2005) (0)
Tfg Bioagent (agents in Bioinformatics) (2004) (0)
Creativity Through Autonomy and Interaction (2012) (0)
Couldn't be better (2012) (0)
Agent Models and Plans (1999) (0)
Agents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing (1999) (0)
3 Formal Methods and Agent-Based Systems (2019) (0)
May's Dance (2011) (0)
Computational Architecture for BDI Agents (2004) (0)
VERSIONS of the Composition (2012) (0)
Never so easy (2009) (0)
So sweet of you (2012) (0)
Net Work: Lessons from collaboratively designing an interactive artwork (2006) (0)
Now make a wish (2012) (0)
Automatic Group-Interactive Radio Using Social-Networks of Musicians (2011) (0)
BEST PAPERS FROM EUMAS 2003: THE 1ST EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS (2004) (0)
Forest Fire Dynamics In Sonic Organisation (2010) (0)
Chapter 2 Autonomy: Variable and Generative (2003) (0)
The Agent Landscape (2004) (0)
Designing Physical Artefacts from Computational Simulations and Building Computational Simulations of Physical Systems (2021) (0)
Languages and Formal Methods (2015) (0)
in Multi-Agent Systems Methodologies and Applications: Proceedings of the Second Australian Workshop on Distributed Artificial Intelligence (1997) (0)
A typology of relationships and goals for coordination and regulation (2004) (0)
Funny you should say that (2012) (0)
I just can't remember (2012) (0)
3 21 Questions : Computers and Creativity and the Road Ahead (2014) (0)
Mathematical modelling of stem cells (2005) (0)
A typology of relationships and goals for regulation and coordination (2004) (0)
Responsive and generative music for public installations (2005) (0)
Successful Termination in Timed CSP (2013) (0)
Negotiation-Based Partner Selection (2004) (0)
Proceedings of the ECAI 2004 Workshop in Coordination in Emerging Agent Societies (2004) (0)
Goldsmiths Statement on Open Access (2014) (0)
The smart Agent Framework (2001) (0)
Evaluating Social Dependence Networks (2001) (0)
Soft-link hypertext for information retrieval (2002) (0)
Flexible termination semantics (2013) (0)
1 Formal Methods and Agent-Based Systems (2004) (0)
Unit of Assessment: 11, Computer Science and Informatics Title of case study: AI as Creative Collaborator: empowering human creativity Period when the underpinning research was undertaken: 2000-2020 Details of staff conducting the underpinning research from the submitting unit: Name(s): (2021) (0)
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems (2002) (0)
The Contract Net as a Goal Directed System (2004) (0)
Experiences - A Forgotten Component of Epistemic States (2012) (0)
Formalising high-performance systems methodologies (1999) (0)
Theory and application of intelligent agent systems (2006) (0)
Proceedings of the Fifth International Workshop on Decepetion, Fraud and Trust in Agent Societies (2002) (0)
Reflexive VirtualBand and pianist Mark d'Inverno performing Now is the Time (2013) (0)
Human Values in Multiagent Systems (2023) (0)
Formal framework development: framework to system (2001) (0)
An Operational Analysis of Agent Relationships (2001) (0)
An Experience-Based BDI Agent Architecture (2012) (0)

This paper list is powered by the following services:

Other Resources About Mark d'Inverno

en.wikipedia.org

What Schools Are Affiliated With Mark d'Inverno?

Mark d'Inverno is affiliated with the following schools: