読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて
2019 年以来
引用
30
29
h 指標
3
3
i10 指標
1
1
0
8
4
2018
2019
2020
2021
2022
2023
2024
1
7
5
2
6
7
2
オープン アクセス
すべて表示
すべて表示
1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
Heather Miller
Carnegie Mellon University
確認したメール アドレス: cs.cmu.edu
Christopher Meiklejohn
Ph.D. Student
確認したメール アドレス: cs.cmu.edu
Russell Brown
Ditto.live
確認したメール アドレス: wombat.me
Ankush Das
Assistant Professor, Boston University
確認したメール アドレス: bu.edu
Andreia Mordido
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
確認したメール アドレス: fc.ul.pt
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
確認したメール アドレス: cs.cmu.edu
Peter Alvaro
Associate Professor of Computer Science, UC Santa Cruz
確認したメール アドレス: ucsc.edu
フォロー
Zeeshan Lakhani
Carnegie Mellon University
確認したメール アドレス: cs.cmu.edu
computer science
programming languages
software engineering
論文
引用先
オープン アクセス
共著者
タイトル
並べ替え
引用回数順
公開年順
タイトル順
引用先
引用先
年
Big (ger) Sets: decomposed delta CRDT Sets in Riak
R Brown, Z Lakhani, P Place
Proceedings of the 2nd Workshop on the Principles and Practice of …
, 2016
14
2016
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461
, 2022
7
2022
Towards a solution to the red wedding problem
C Meiklejohn, H Miller, Z Lakhani
USENIX Workshop on Hot Topics in Edge Computing (HotEdge 18)
, 2018
7
2018
Verifying interfaces between container-based components
CS Meiklejohn, Z Lakhani, P Alvaro, H Miller
2
2018
Checking-in on network functions
Z Lakhani, H Miller
Proceedings of the Applied Networking Research Workshop, 69-76
, 2019
2019
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–5
さらに表示
プライバシー
規約
ヘルプ
Google Scholar について
ヘルプを検索