publication venue for
- Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. abs/1802.07362. 2018
- State of the Practice for GIS Software. abs/1802.03422. 2018
- An exact upper bound on the size of minimal clique covers. abs/1705.06326. 2017
- On normalization of inconsistency indicators in pairwise comparisons.. abs/1702.07205. 2017
- Secure and trusted white-box verification. abs/1605.03932. 2016
- Multiset Theories of Cardinality-based Feature Diagrams. abs/1601.06242. 2016
- Andrews' Type Theory with Undefinedness. abs/1406.7492. 2014
- Simple Type Theory with Undefinedness, Quotation, and Evaluation. abs/1406.6706. 2014
- Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation. abs/1308.2149. 2013
- Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation. abs/1305.6206. 2013
- Feasible combinatorial matrix theory. abs/1303.6453. 2013
- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. abs/1305.6052. 2013
- Computational Lower Bounds for Colourful Simplicial Depth. abs/1210.7621. 2012
- Unshuffling a Square is NP-Hard.. abs/1211.7161. 2012
- The MathScheme Library: Some Preliminary Experiments. abs/1106.1862. 2011
- The Power of Vocabulary: The Case of Cyclotomic Polynomials. abs/1002.0012. 2010
- A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem. abs/0811.3959. 2008
- A canonical form for some piecewise defined functions. abs/cs/0702010. 2007
- Abstract Computability, Algebraic Specification and Initiality. cs.LO/0109001. 2001
- Abstract versus Concrete Computation on Metric Partial Algebras. cs.LO/0108007. 2001