David Pearce

MaRDI QIDQ532424zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A new logical characterisation of stable models and answer sets	2024-10-24	Paper
Computational resources Handbook of the Tutte Polynomial and Related Topics	2023-04-28	Paper
Verifying Whiley programs with Boogie Journal of Automated Reasoning	2022-12-12	Paper
Computing Tutte polynomials ACM Transactions on Mathematical Software	2017-05-19	Paper
On logics of group belief in structured coalitions Logics in Artificial Intelligence	2016-11-30	Paper
A space-efficient algorithm for finding strongly connected components Information Processing Letters	2015-11-05	Paper
Sound and complete flow typing with unions, intersections and negations Lecture Notes in Computer Science	2014-11-03	Paper
Edge-selection heuristics for computing Tutte polynomials Chicago Journal of Theoretical Computer Science	2014-05-06	Paper
Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types Science of Computer Programming	2011-05-04	Paper
A dynamic topological sort algorithm for directed acyclic graphs ACM Journal of Experimental Algorithmics	2008-06-20	Paper
scientific article; zbMATH DE number 2087809 (Why is no real title available?)	2004-08-11	Paper
From here to there: Stable negation in logic programming	2002-01-31	Paper
scientific article; zbMATH DE number 1696829 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1612562 (Why is no real title available?)	2001-07-01	Paper

Research outcomes over time

This page was built for person: David Pearce