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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
24
click to vote
CORR
2009
Springer
79
views
Education
»
more
CORR 2009
»
Modelling an Ammonium Transporter with SCLS
13 years 6 months ago
Download
www.iist.unu.edu
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike...
claim paper
Read More »
21
click to vote
CORR
2009
Springer
71
views
Education
»
more
CORR 2009
»
Uniqueness Typing for Resource Management in Message-Passing Concurrency
13 years 6 months ago
Download
staff.um.edu.mt
Edsko de Vries, Adrian Francalanza, Matthew Hennes...
claim paper
Read More »
24
click to vote
CORR
2009
Springer
80
views
Education
»
more
CORR 2009
»
Resource-Bound Quantification for Graph Transformation
13 years 6 months ago
Download
www.cs.le.ac.uk
Paolo Torrini, Reiko Heckel
claim paper
Read More »
23
click to vote
CORR
2009
Springer
76
views
Education
»
more
CORR 2009
»
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications
13 years 6 months ago
Download
web.cs.wpi.edu
Daniel J. Dougherty
claim paper
Read More »
23
click to vote
CORR
2009
Springer
85
views
Education
»
more
CORR 2009
»
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
13 years 6 months ago
Download
www.irisa.fr
Benoît Boyer, Thomas Genet
claim paper
Read More »
19
click to vote
CORR
2009
Springer
70
views
Education
»
more
CORR 2009
»
A Type System for Tom
13 years 6 months ago
Download
www.loria.fr
Claude Kirchner, Pierre-Etienne Moreau, Clá...
claim paper
Read More »
17
click to vote
CORR
2009
Springer
86
views
Education
»
more
CORR 2009
»
Rewriting Logic Semantics of a Plan Execution Language
13 years 6 months ago
Download
shemesh.larc.nasa.gov
Gilles Dowek, César Muñoz, Camilo Ro...
claim paper
Read More »
20
click to vote
CORR
2009
Springer
70
views
Education
»
more
CORR 2009
»
Causality in the Semantics of Esterel: Revisited
13 years 6 months ago
Download
www.win.tue.nl
Mohammad Reza Mousavi
claim paper
Read More »
25
click to vote
CORR
2009
Springer
85
views
Education
»
more
CORR 2009
»
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
13 years 6 months ago
Download
homepages.di.fc.ul.pt
Vasco Thudichum Vasconcelos, Francisco Martins, Ti...
claim paper
Read More »
25
click to vote
CORR
2009
Springer
87
views
Education
»
more
CORR 2009
»
A Concurrent Language with a Uniform Treatment of Regions and Locks
13 years 6 months ago
Download
www.softlab.ntua.gr
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
claim paper
Read More »
1
2
3
4
5
6
next ›
last »