Daniel Jackson

MaRDI QIDQ192238zbMATH 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
Alloy*: a general-purpose higher-order relational constraint solver Formal Methods in System Design	2019-11-29	Paper
Computer Generated Images for Quadratic Rational Maps with a Periodic Critical Point	2011-12-19	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
Kodkod: A Relational Model Finder Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Invariant curves for birational surface maps Transactions of the American Mathematical Society	2007-03-07	Paper
scientific article; zbMATH DE number 2242603 (Why is no real title available?)	2006-01-02	Paper
scientific article; zbMATH DE number 2080037 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2013571 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1956604 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1693426 (Why is no real title available?)	2002-01-22	Paper
A Nitpick analysis of Mobile IPv6 Formal Aspects of Computing	2001-10-01	Paper
scientific article; zbMATH DE number 1617314 (Why is no real title available?)	2001-07-11	Paper

Research outcomes over time

This page was built for person: Daniel Jackson