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
10435
search results - page 237 / 2087
»
Computational Biology and Language
Sort
relevance
views
votes
recent
update
View
thumb
title
165
click to vote
CA
1996
IEEE
174
views
Computer Animation
»
more
CA 1996
»
AniLan - An Animation Language
15 years 10 months ago
Download
trevinca.ei.uvigo.es
Arno Formella, Peter Paul Kiefer
claim paper
Read More »
136
click to vote
TLCA
1997
Springer
101
views
Theoretical Computer Science
»
more
TLCA 1997
»
Typed Intermediate Languages for Shape Analysis
15 years 10 months ago
Download
www.disi.unige.it
Gianna Bellè, Eugenio Moggi
claim paper
Read More »
121
click to vote
MFCS
1994
Springer
86
views
Theoretical Computer Science
»
more
MFCS 1994
»
Full Abstraction for the Second Order Subset of an Algol-Like Language
15 years 10 months ago
Download
scidok.sulb.uni-saarland.de
Kurt Sieber
claim paper
Read More »
144
click to vote
FOCS
1992
IEEE
135
views
Theoretical Computer Science
»
more
FOCS 1992
»
Back to the Future: Towards a Theory of Timed Regular Languages
15 years 10 months ago
Download
www.cs.berkeley.edu
Rajeev Alur, Thomas A. Henzinger
claim paper
Read More »
151
click to vote
PODC
1994
ACM
105
views
Distributed and Parallel Com...
»
more
PODC 1994
»
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming
15 years 10 months ago
Download
pubs.doc.ic.ac.uk
Matthias Radestock, Susan Eisenbach
claim paper
Read More »
« Prev
« First
page 237 / 2087
Last »
Next »
