Travelled to:1 × France
1 × Italy
1 × Poland
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:K.Claessen J.Hughes M.Johansson A.Lillieström H.Svensson T.Arts D.Rosén J.C.Blanchette S.Böhme A.Popescu M.Algehed J.Svenningsson U.Norell M.H.Palka U.T.Wiger
Talks about:quick (3) theori (2) explor (2) order (2) logic (2) first (2) encod (2) spec (2) sort (2) use (2)
Person: Nicholas Smallbone
DBLP: Smallbone:Nicholas
Contributed to:
2014
2013
20132011
2010
2009
2018
2017Wrote 8 papers:
- FASE-2014-SvenningssonSSANH #semantics
- An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.
- CADE-2013-ClaessenJRS #automation #induction #proving #using
- Automating Inductive Proofs Using Theory Exploration (KC, MJ, DR, NS), pp. 392–406.
- TACAS-2013-BlanchetteBPS #encoding #polymorphism
- Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
- CADE-2011-ClaessenLS #first-order #logic
- Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.
- TAP-2010-ClaessenSH #named #specification #testing #using
- QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.
- ICFP-2009-ClaessenPSHSAW #erlang #quickcheck
- Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
- IJCAR-2018-ClaessenS #encoding #equation #first-order #logic #performance
- Efficient Encodings of First-Order Horn Formulas in Equational Logic (KC, NS), pp. 388–404.
- Haskell-2017-AlgehedCJS #lightweight #named
- QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) (MA, KC, MJ, NS), pp. 38–39.