読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて表示
すべて
2019 年以来
引用
106
53
h 指標
2
2
i10 指標
2
1
0
18
9
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
3
2
11
10
12
10
18
10
14
5
5
1
オープン アクセス
すべて表示
すべて表示
1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
確認したメール アドレス: tecnico.ulisboa.pt
フォロー
Luísa Lourenço
Departamento de Informática, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa
確認したメール アドレス: campus.fct.unl.pt -
ホームページ
Computer Science
論文
引用先
オープン アクセス
共著者
タイトル
並べ替え
引用回数順
公開年順
タイトル順
引用先
引用先
年
Dependent Information Flow Types
L Lourenço, L Caires
POPL'15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on …
, 2015
82
2015
Information flow analysis for valued-indexed data security compartments
L Lourenço, L Caires
International Symposium on Trustworthy Global Computing, 180-198
, 2013
22
2013
Segurança de dados em aplicações centradas em dados por análise de fluxo de informação
L Lourenço, L Caires
Proc. of INForum
, 2012
1
2012
A Core Language for Data-Centric Processes
L Lourenço
1
2011
Inference of Conversation Types for Distributed Multiparty Systems
L Lourenço, L Caires
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–5
さらに表示
プライバシー
規約
ヘルプ
Google Scholar について
ヘルプを検索