Mark Saaltink

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 5

Top Topics

Top Venues

Finite Fields Their Appl.

IEEE Trans. Inf. Theory

Comput. Geosci.

Publications

Mark Saaltink
Generalized trigonometry and Chebyshev functions in finite fields. Finite Fields Their Appl. 86 (2023)
Jingjing Wang, Jesús Carrera, Mark Saaltink, Cristina Valhondo
A general and efficient numerical solution of reactive transport with multirate mass transfer. Comput. Geosci. 158 (2022)
Charles J. Colbourn, Colin Ingalls, Jonathan Jedwab, Mark Saaltink, Ken W. Smith, Brett Stevens
Sets of mutually orthogoval projective and affine planes. CoRR (2022)
Mark Saaltink, Daniel Wevrick
General results on the divisibility of low weight polynomials in Fq[x]. Finite Fields Their Appl. 61 (2020)
Daniel Panario, Mark Saaltink, Brett Stevens, Daniel Wevrick
A General Construction of Ordered Orthogonal Arrays Using LFSRs. IEEE Trans. Inf. Theory 65 (7) (2019)
Sergio Andres Bea, Jesús Carrera, C. Ayora, F. Batlle, Mark Saaltink
CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models. Comput. Geosci. 35 (6) (2009)
Stephen Michell, Mark Saaltink, Brian A. Wichmann
Looking into Safety with the Safety and Security Rapporteur Group. SIGAda (1998)
Steve Michell, Mark Saaltink
Guidance on the Use of Ada95 in High Integrity Systems. Ada-Europe (1998)
Stephen Michell, Dan Craigen, Mark Saaltink
Using analytical approaches for high integrity Ada95 systems. IRTAW (1997)
Mark Saaltink
The Z/EVES System. ZUM (1997)
Dan Craigen, Mark Saaltink, Steve Michell
Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe (1996)
Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. FME (1993)
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. CADE (1992)
Mark Saaltink
Z and Eves. Z User Workshop (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. VDM Europe (1) (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. ICSE (1988)
Mark Saaltink
Relational semantics. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Dan Craigen, Mark Saaltink
An EVES update. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)