Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8949
search results - page 169 / 1790
»
is 1998
Sort
relevance
views
votes
recent
update
View
thumb
title
111
click to vote
TYPES
1998
Springer
117
views
Formal Methods
»
more
TYPES 1998
»
A Modal Lambda Calculus with Iteration and Case Constructs
15 years 8 months ago
Download
hal.inria.fr
Joëlle Despeyroux, Pierre Leleu
claim paper
Read More »
110
click to vote
TYPES
1998
Springer
95
views
Formal Methods
»
more
TYPES 1998
»
An Interpretation of the Fan Theorem in Type Theory
15 years 8 months ago
Download
www.brics.dk
Daniel Fridlender
claim paper
Read More »
134
click to vote
VECPAR
1998
Springer
177
views
Distributed And Parallel Com...
»
more
VECPAR 1998
»
A Parallel N-Body Integrator Using MPI
15 years 8 months ago
Download
www.estig.ipbeja.pt
Nuno Sidónio Andrade Pereira
claim paper
Read More »
97
click to vote
VLDB
1998
ACM
87
views
Database
»
more
VLDB 1998
»
R-Tree Based Indexing of Now-Relative Bitemporal Data
15 years 8 months ago
Download
www.vldb.org
Rasa Bliujute, Christian S. Jensen, Simonas Salten...
claim paper
Read More »
84
click to vote
VLDB
1998
ACM
70
views
Database
»
more
VLDB 1998
»
Plan-Per-Tuple Optimization Solution - Parallel Execution of Expensive User-Defined Functions
15 years 8 months ago
Download
www.vldb.org
Felipe Cariño, William O'Connell
claim paper
Read More »
« Prev
« First
page 169 / 1790
Last »
Next »