Daniel Jackson

From MaRDI portal
Person:192238

zbMath Openjackson.danielDBLP80/1906-1WikidataQ5217654 ScholiaQ5217654MaRDI QIDQ192238


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!

PublicationDate of PublicationType
Alloy*: a general-purpose higher-order relational constraint solver2019-11-29Paper
Computer Generated Images for Quadratic Rational Maps with a Periodic Critical Point2011-12-19Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
Kodkod: A Relational Model Finder2007-09-03Paper
Invariant curves for birational surface maps2007-03-07Paper
https://portal.mardi4nfdi.de/entity/Q57144562006-01-02Paper
https://portal.mardi4nfdi.de/entity/Q44722242004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44369522003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44179522003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27639572002-01-22Paper
A Nitpick analysis of Mobile IPv62001-10-01Paper
https://portal.mardi4nfdi.de/entity/Q27220452001-07-11Paper


Research outcomes over time


This page was built for person: Daniel Jackson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:192238&oldid=6249934"
Powered by MediaWiki