REMIS

Redlog Example Management and Information System

The Redlog Example Management and Information System (REMIS) contains publications on Redlog and example computations discussed in these publications. Publications are linked to the examples discussed in there, and vice versa.

Search Expressions

REMIS is case insensitive.

The empty search: outputs the entire Remis database.
regexp: full text search for regexp in the Remis database. Example: ax.s
keyword:regexp: output data for which regexp has been explicitly stored in the field keyword. Example: series:lncs
Multiple expressions: are separated by space. The results will match all expressions. Example: geometry year:1998

Important Keywords

BibTeX field names: are available as keywords for papers. Example: author:weispfenning
domain: Papers and examples can be filtered by the domain of computation. Example: domain:reals
example: result contains all papers referring to an example with the given file ID. Example: example:dsw96_ex01
fileid: Use the unique file ID of papers and examples for later reference. Example: fileid:dsw_96

Get all existing keywords via a Remis search.