Mark Saaltink - RankMe

20 papers A* 1A 1Misc 2Journal 9Unranked 7

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