Berndt Müller

Orcid: 0000-0002-9590-4517

Affiliations:
  • Swansea University, UK


According to our database1, Berndt Müller authored at least 41 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Designing for Situated AI-Human Decision Making: Lessons Learned from a Primary Care Deployment Ben Wilson.
Proceedings of the 1st International Workshop on Designing and Building Hybrid Human-AI Systems co-located with 17th International Conference on Advanced Visual Interfaces (AVI 2024), 2024

2023
All that glitters is not gold: trustworthy and ethical AI principles.
AI Ethics, November, 2023

Future Proofing Systems Engineering: Reliability, Responsibility, and Resilience.
Proceedings of the Intelligent Distributed Computing XVI, 2023

2022
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.
CoRR, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

2021
SLIDR and SLOPPR: flexible identification of spliced leader trans-splicing and prediction of eukaryotic operons from RNA-Seq data.
BMC Bioinform., 2021

2018
Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia.
Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity.
Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

2016
Agents and Dementia - Smart Risk Assessment.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Towards Efficient Verification of Elementary Object Systems.
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
Editorial.
Connect. Sci., 2015

2014
Preface.
Fundam. Informaticae, 2014

Engineering MAS - A Device Integration Framework for Smart Home Environments.
Fundam. Informaticae, 2014

Incorporating BDI-Agent Concepts into Object-Oriented Programming.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2010
On the (Un-)Decidability of Model Checking Resource-Bounded Agents.
Proceedings of the ECAI 2010, 2010

2009
Expressing Properties of Resource-Bounded Systems: The Logics RTL<sup>*</sup> and RTL.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008
Petri Net Controlled Finite Automata.
Fundam. Informaticae, 2008

Automated Verification of Multi-Agent Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Task Suspension in Agent Systems.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Theoretical and experimental results on the goal-plan tree problem.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A flexible framework for verifying agent programs.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Concurrent Turing Machines.
Fundam. Informaticae, 2007

A Common Semantic Basis for BDI Languages.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Object Nets for Mobility.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.
Fundam. Informaticae, 2006

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
Fundam. Informaticae, 2006

2005
Petri Net Processes for Zero-Safe Nets.
Fundam. Informaticae, 2005

2004
A New Synchronisation Model for Multi-Level Object Petri Nets.
Fundam. Informaticae, 2004

Mobile Object-Net Systems and their Processes.
Fundam. Informaticae, 2004

Model checking object petri nets in prolog.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Modelling with Hierarchical Object Petri Nets.
Fundam. Informaticae, 2003

Some Considerations on Higher-Order Petri Nets.
Fundam. Informaticae, 2003

Controller Synthesis for Object Petri Nets.
Proceedings of the Formal Methods and Software Engineering, 2003

Dynamic Modification of System Structures Using LLPNs.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.
Fundam. Informaticae, 2002

2001
Comparing Concepts of Object Petri Net Formalisms.
Fundam. Informaticae, 2001

A Systematic Approach towards Object-Based Petri Net Formalisms.
Proceedings of the Perspectives of System Informatics, 2001

omega-Automata.
Proceedings of the Automata, 2001

2000
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
Fundam. Informaticae, 2000

Linear logic based calculi for object Petri nets.
Logos, ISBN: 978-3-89722-539-8, 2000

1999
A Linear Logic View of Object Petri Nets.
Fundam. Informaticae, 1999


  Loading...