Mark Saaltink

According to our database, Mark Saaltink authored at least 19 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Generalized trigonometry and Chebyshev functions in finite fields.

Mark Saaltink

Finite Fields Their Appl., February, 2023

2022

A general and efficient numerical solution of reactive transport with multirate mass transfer.

Jingjing Wang, Jesús Carrera, Mark Saaltink, Cristina Valhondo

Comput. Geosci., 2022

Sets of mutually orthogoval projective and affine planes.

Charles J. Colbourn, Colin Ingalls, Jonathan Jedwab, Mark Saaltink, Ken W. Smith, Brett Stevens

CoRR, 2022

2020

General results on the divisibility of low weight polynomials in Fq[x].

Mark Saaltink, Daniel Wevrick

Finite Fields Their Appl., 2020

2019

A General Construction of Ordered Orthogonal Arrays Using LFSRs.

Daniel Panario, Mark Saaltink, Brett Stevens, Daniel Wevrick

IEEE Trans. Inf. Theory, 2019

2009

CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models.

Sergio Andres Bea, Jesús Carrera, Carlos Ayora, F. Batlle, Mark Saaltink

Comput. Geosci., 2009

1998

Looking into Safety with the Safety and Security Rapporteur Group.

Stephen Michell, Mark Saaltink, Brian A. Wichmann

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Guidance on the Use of Ada95 in High Integrity Systems.

Steve Michell, Mark Saaltink

Proceedings of the Reliable Software Technologies, 1998

1997

The Z/EVES System.

Mark Saaltink

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Using analytical approaches for high integrity Ada95 systems.

Stephen Michell, Dan Craigen, Mark Saaltink

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1996

Ada 95 and Critical Systems: An Analytical Approach.

Dan Craigen, Mark Saaltink, Steve Michell

Proceedings of the Reliable Software Technologies, 1996

1993

The EVES System.

Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels

Proceedings of the Functional Programming, 1993

An EVES Data Abstraction Example.

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Eves System Description.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the Automated Deduction, 1992

1991

Z and Eves.

Mark Saaltink

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

EVES: An Overview.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the VDM '91, 1991

1988

m-EVES: A Tool for Verifying Software.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink

Proceedings of the Proceedings, 1988

1985

Relational semantics.

Mark Saaltink

ACM SIGSOFT Softw. Eng. Notes, 1985

An EVES update.

Dan Craigen, Mark Saaltink

ACM SIGSOFT Softw. Eng. Notes, 1985