กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ดูทั้งหมด
ทั้งหมด
ตั้งแต่ปี 2019
การอ้างอิง
102
51
ดัชนี h
2
2
ดัชนี i10
2
1
0
18
9
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2
2
11
10
12
10
18
9
14
6
4
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด
ดูทั้งหมด
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
79
2015
Information flow analysis for valued-indexed data security compartments
L Lourenço, L Caires
International Symposium on Trustworthy Global Computing, 180-198
, 2013
21
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
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search