โปรไฟล์

โปรไฟล์

โปรไฟล์ของฉัน ห้องสมุดของฉัน

Max Planck Institute for Software Systems ดูข้อมูลเพิ่มเติม

หน้านี้แสดงรายชื่อโปรไฟล์สาธารณะสำหรับ Max Planck Institute for Software Systems หากต้องการรวมโปรไฟล์ของคุณไว้ที่นี่ ให้ตั้งค่าองค์กรที่สังกัดของคุณเป็น Max Planck Institute for Software Systems และยืนยันที่อยู่อีเมลที่สถาบันนี้ ซ่อน

Peter Druschel

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย46497

Distributed systems

Krishna P. Gummadi

Head, Networked Systems Group, MPI-SWS

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย42992

Distributed Systems Networking Social Networks Information Retrieval Security and Privacy

Manuel Gomez Rodriguez

Faculty, Max Planck Institute for Software Systems (MPI-SWS)

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย13061

Machine Learning Artificial Intelligence Temporal Point Processes

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย6924

Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving

Joel Ouaknine

Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics …

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย6805

Foundations of algorithmic verification linear dynamical systems model checking logic theoretical computer science

Derek Dreyer

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย6771

Programming languages type systems semantics verification

Björn B. Brandenburg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย5294

real-time systems operating systems embedded systems cyber-physical systems verification

Adish Singla

Tenured Faculty, Max Planck Institute for Software Systems (MPI-SWS), Germany

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย4672

Machine Teaching AI for Education Programming Education Reinforcement Learning

Deepak Garg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย3553

Formal Logic Security Privacy Programming Languages

Sadegh Soudjani

Max Planck Institute for Software Systems

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย2791

Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Synthesis Smart Energy Systems

1 - 10