Max Planck Institute for Software Systems Saiba mais

Esta página lista perfis públicos de Max Planck Institute for Software Systems. Para incluir seu perfil aqui, configure sua afiliação a Max Planck Institute for Software Systems e confirme um endereço de e-mail nessa instituição. ocultar
Peter Druschel

Peter Druschel

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
E-mail confirmado em mpi-sws.org
Citado por 46123
Distributed systems
Krishna P. Gummadi

Krishna P. Gummadi

Head, Networked Systems Group, MPI-SWS
E-mail confirmado em mpi-sws.org
Citado por 42026
Distributed Systems Networking Social Networks Information Retrieval Security and Privacy
Manuel Gomez Rodriguez

Manuel Gomez Rodriguez

Faculty, Max Planck Institute for Software Systems (MPI-SWS)
E-mail confirmado em mpi-sws.org
Citado por 12451
Machine Learning Artificial Intelligence Temporal Point Processes
Viktor Vafeiadis

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
E-mail confirmado em mpi-sws.org
Citado por 6553
Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving
Joel Ouaknine

Joel Ouaknine

Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics …
E-mail confirmado em mpi-sws.org
Citado por 6511
Foundations of algorithmic verification linear dynamical systems model checking logic theoretical computer science
Derek Dreyer

Derek Dreyer

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
E-mail confirmado em mpi-sws.org
Citado por 6286
Programming languages type systems semantics verification
Björn B. Brandenburg

Björn B. Brandenburg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
E-mail confirmado em mpi-sws.org
Citado por 5106
real-time systems operating systems embedded systems cyber-physical systems verification
Adish Singla

Adish Singla

Tenured Faculty, Max Planck Institute for Software Systems (MPI-SWS), Germany
E-mail confirmado em mpi-sws.org
Citado por 4321
Machine Teaching AI for Education Programming Education Reinforcement Learning
Deepak Garg

Deepak Garg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
E-mail confirmado em mpi-sws.org
Citado por 3361
Formal Logic Security Privacy Programming Languages
Sadegh Soudjani

Sadegh Soudjani

Max Planck Institute for Software Systems
E-mail confirmado em mpi-sws.org
Citado por 2576
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Synthesis Smart Energy Systems
1 - 10