Daniel Jackson

Available identifiers

zbMath Open jackson.danielWikidataQ5217654 ScholiaQ5217654MaRDI QIDQ192238

List of research outcomes

Publication	Date of Publication	Type
Alloy*: a general-purpose higher-order relational constraint solver	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	2009-07-24	Paper
Kodkod: A Relational Model Finder	2007-09-03	Paper
Invariant curves for birational surface maps	2007-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q5714456	2006-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4472224	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436952	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417952	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2763957	2002-01-22	Paper
A Nitpick analysis of Mobile IPv6	2001-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q2722045	2001-07-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel Jackson