フォロー
Etienne Lozes
Etienne Lozes
Université Côte d'Azur
確認したメール アドレス: univ-cotedazur.fr - ホームページ
タイトル
引用先
引用先
Proving copyless message passing
J Villard, É Lozes, C Calcagno
Asian Symposium on Programming Languages and Systems, 194-209, 2009
852009
On the almighty wand
R Brochenin, S Demri, E Lozes
Information and Computation 211, 106-137, 2012
742012
Separability, expressiveness, and decidability in the ambient logic
D Hirschkoff, É Lozes, D Sangiorgi
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 423-432, 2002
532002
Tracking heaps that hop with heap-hop
J Villard, É Lozes, C Calcagno
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
Elimination of quantifiers and undecidability in spatial logics for concurrency
L Caires, E Lozes
International Conference on Concurrency Theory, 240-257, 2004
382004
From pointer systems to counter systems using shape analysis
S Bardin, A Finkel, E Lozes, A Sangnier
AVIS’06, 2006
352006
On the almighty wand
R Brochenin, S Demri, E Lozes
International Workshop on Computer Science Logic, 323-338, 2008
342008
Adjuncts elimination in the static ambient logic
É Lozes
Electronic Notes in Theoretical Computer Science 96, 51-72, 2004
302004
Minimality results for the spatial logics
D Hirschkoff, É Lozes, D Sangiorgi
International Conference on Foundations of Software Technology and …, 2003
282003
Synchronizability of communicating finite state machines is not decidable
A Finkel, E Lozes
arXiv preprint arXiv:1702.07213, 2017
272017
Reasoning about sequences of memory states
R Brochenin, S Demri, E Lozes
Annals of Pure and Applied Logic 161 (3), 305-323, 2009
272009
On the relationship between higher-order recursion schemes and higher-order fixpoint logic
N Kobayashi, É Lozes, F Bruse
ACM SIGPLAN Notices 52 (1), 246-259, 2017
262017
Separation logic preserves the expressive power of classical logic
E Lozes
As published at: http://www. diku. dk/topps/space2004/space final/etienne. pdf, 2004
262004
Elimination of spatial connectives in static spatial logics
E Lozes
Theoretical Computer Science 330 (3), 475-499, 2005
252005
The effects of adding reachability predicates in propositional separation logic
S Demri, É Lozes, A Mansutti
International Conference on Foundations of Software Science and Computation …, 2018
232018
Beyond shapes: Lists with ordered data
K Bansal, R Brochenin, E Lozes
International Conference on Foundations of Software Science and …, 2009
192009
Reasoning about sequences of memory states
R Brochenin, S Demri, É Lozes
International Symposium on Logical Foundations of Computer Science, 100-114, 2007
192007
Towards model-checking programs with lists
A Finkel, É Lozes, A Sangnier
International Conference on Infinity in Logic and Computation, 56-86, 2007
172007
Elimination of quantifiers and undecidability in spatial logics for concurrency
L Caires, E Lozes
Theoretical computer science 358 (2-3), 293-314, 2006
172006
On the expressiveness of the ambient logic
D Hirschkoff, E Lozes, D Sangiorgi
arXiv preprint cs/0510010, 2005
172005
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20