default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Saaltink
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Charles J. Colbourn, Colin Ingalls, Jonathan Jedwab, Mark Saaltink, Ken W. Smith, Brett Stevens:
Sets of mutually orthogoval projective and affine planes. Comb. Theory 4(1) (2024)- 2023
- [j7]Mark Saaltink
:
Generalized trigonometry and Chebyshev functions in finite fields. Finite Fields Their Appl. 86: 102143 (2023) - 2022
- [j6]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: 104953 (2022) - [i1]Charles J. Colbourn, Colin Ingalls, Jonathan Jedwab, Mark Saaltink, Ken W. Smith, Brett Stevens:
Sets of mutually orthogoval projective and affine planes. CoRR abs/2210.11961 (2022) - 2020
- [j5]Mark Saaltink, Daniel Wevrick:
General results on the divisibility of low weight polynomials in Fq[x]. Finite Fields Their Appl. 61 (2020)
2010 – 2019
- 2019
- [j4]Daniel Panario, Mark Saaltink, Brett Stevens, Daniel Wevrick:
A General Construction of Ordered Orthogonal Arrays Using LFSRs. IEEE Trans. Inf. Theory 65(7): 4316-4326 (2019)
2000 – 2009
- 2009
- [j3]Sergio Andres Bea, Jesús Carrera, Carlos Ayora, F. Batlle, Mark Saaltink:
CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models. Comput. Geosci. 35(6): 1098-1112 (2009)
1990 – 1999
- 1998
- [c11]Steve Michell, Mark Saaltink:
Guidance on the Use of Ada95 in High Integrity Systems. Ada-Europe 1998: 276-287 - [c10]Stephen Michell, Mark Saaltink, Brian A. Wichmann:
Looking into Safety with the Safety and Security Rapporteur Group. SIGAda 1998: 7-11 - 1997
- [c9]Stephen Michell, Dan Craigen, Mark Saaltink:
Using analytical approaches for high integrity Ada95 systems. IRTAW 1997: 65-70 - [c8]Mark Saaltink:
The Z/EVES System. ZUM 1997: 72-85 - 1996
- [c7]Dan Craigen, Mark Saaltink, Steve Michell:
Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe 1996: 171-182 - 1993
- [c6]Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels:
An EVES Data Abstraction Example. FME 1993: 578-596 - [c5]Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels:
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373 - 1992
- [c4]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
Eves System Description. CADE 1992: 771-775 - 1991
- [c3]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
EVES: An Overview. VDM Europe (1) 1991: 389-405 - [c2]Mark Saaltink:
Z and Eves. Z User Workshop 1991: 223-242
1980 – 1989
- 1988
- [c1]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink:
m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333 - 1985
- [j2]Dan Craigen, Mark Saaltink:
An EVES update. ACM SIGSOFT Softw. Eng. Notes 10(4): 33-34 (1985) - [j1]Mark Saaltink:
Relational semantics. ACM SIGSOFT Softw. Eng. Notes 10(4): 82-83 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-26 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
