Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Iliano Cervesato

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Edmund Soon Lee Lam

> Home > Persons > Iliano Cervesato

Publications

2016
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CervesatoLE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CervesatoLE16
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar:
Choreographic Compilation of Decentralized Comprehension Patterns. RuleML 2016: 113-129
[c54]
- view
  - electronic edition @ unimi.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/LamC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/LamC16
Edmund Soon Lee Lam, Iliano Cervesato:
Let's Unify With Scala Pattern Matching! UNIF 2016: 43-48
[c53]
- view
  - electronic edition @ unimi.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/CervesatoL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/CervesatoL16
Iliano Cervesato, Edmund S. L. Lam:
Overlap and Independence in Multiset Comprehension Patterns. UNIF 2016: 51-56
2015
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/LamCF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LamCF15
Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima:
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. COORDINATION 2015: 51-66
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/CervesatoL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/CervesatoL15
Iliano Cervesato, Edmund S. L. Lam:
Modular Multiset Rewriting. LPAR 2015: 515-531
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/wimob/LamCE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wimob/LamCE15
Edmund S. L. Lam, Iliano Cervesato, Ali Elgazar:
Programmable orchestration of time-synchronized events across decentralized Android ensembles. WiMob 2015: 659-666
2014
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/LamC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/LamC14
Edmund Soon Lee Lam, Iliano Cervesato:
Optimized Compilation of Multiset Rewriting with Comprehensions. APLAS 2014: 19-38
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/LamC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/LamC14
Edmund S. L. Lam, Iliano Cervesato:
Reasoning About Set Comprehensions. SMT 2014: 27-37
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LamC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LamC14
Edmund S. L. Lam, Iliano Cervesato:
Constraint Handling Rules with Multiset Comprehension Patterns. CoRR abs/1406.2121 (2014)
2013
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LamC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LamC13
Edmund S. L. Lam, Iliano Cervesato:
Decentralized execution of constraint handling rules for ensembles. PPDP 2013: 205-216
2012
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LamC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LamC12
Edmund Soon Lee Lam, Iliano Cervesato:
Modeling datalog fact assertion and retraction in linear logic. PPDP 2012: 67-78

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.