Sciweavers

CSEDU
2009
136views Education» more  CSEDU 2009»
14 years 10 months ago
Learning about Social Accounting in the Knowledge Society - A wiki-Webquest
Carmen-Pilar Martí-Ballester, Soledad Moya-...
CORR
2009
Springer
79views Education» more  CORR 2009»
14 years 10 months ago
Modelling an Ammonium Transporter with SCLS
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike...
89
Voted
CORR
2009
Springer
71views Education» more  CORR 2009»
14 years 10 months ago
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennes...
93
Voted
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 10 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
75
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
14 years 10 months ago
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
77
Voted
CORR
2009
Springer
70views Education» more  CORR 2009»
14 years 10 months ago
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Clá...
83
Voted
CORR
2009
Springer
86views Education» more  CORR 2009»
14 years 10 months ago
Rewriting Logic Semantics of a Plan Execution Language
Gilles Dowek, César Muñoz, Camilo Ro...
92
Voted
CORR
2009
Springer
70views Education» more  CORR 2009»
14 years 10 months ago
Causality in the Semantics of Esterel: Revisited
Mohammad Reza Mousavi