Paulo Tabuada

Q: What Schools Are Affiliated With Paulo Tabuada

Paulo Tabuada is affiliated with the following schools: University of California, Berkeley, University of California, Los Angeles

Paulo Tabuada's AcademicInfluence.com Rankings

Paulo Tabuada

Engineering

#3596

World Rank

#4698

Historical Rank

Applied Physics

#705

World Rank

#727

Historical Rank

Electrical Engineering

#821

World Rank

#889

Historical Rank

engineering Degrees

Download Badge

Engineering

Paulo Tabuada's Degrees

PhD Electrical Engineering University of California, Berkeley
Masters Electrical Engineering University of California, Berkeley
Bachelors Electrical Engineering University of California, Berkeley

Why Is Paulo Tabuada Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Paulo Tabuada's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks (2007) (3325)
An introduction to event-triggered and self-triggered control (2012) (1388)
Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks (2012) (997)
Periodic Event-Triggered Control for Linear Systems (2013) (924)
Control Barrier Function Based Quadratic Programs for Safety Critical Systems (2016) (884)
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems (2008) (791)
Verification and Control of Hybrid Systems - A Symbolic Approach (2009) (727)
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks (2010) (630)
Control Barrier Functions: Theory and Applications (2019) (582)
A Framework for the Event-Triggered Stabilization of Nonlinear Systems (2015) (541)
Control barrier function based quadratic programs with application to adaptive cruise control (2014) (507)
An ISS self-triggered implementation of linear controllers (2009) (396)
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (2008) (349)
Robustness of Control Barrier Functions for Safety Critical Control (2016) (336)
Verification and Control of Hybrid Systems (2009) (330)
Linear Time Logic Control of Discrete-Time Linear Systems (2006) (320)
Approximately bisimilar symbolic models for nonlinear control systems (2007) (289)
Event-Triggered State Observers for Sparse Sensor Noise/Attacks (2013) (288)
On event-triggered and self-triggered control over sensor/actuator networks (2008) (272)
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions (2010) (254)
Non-invasive Spoofing Attacks for Anti-lock Braking Systems (2013) (219)
Robustness of attack-resilient state estimators (2014) (219)
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (209)
PESSOA: A Tool for Embedded Controller Synthesis (2010) (164)
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems (2014) (146)
Self-triggered linear quadratic control (2014) (145)
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations (2007) (143)
Feasible formations of multi-agent systems (2001) (141)
Self-triggered stabilization of homogeneous control systems (2008) (140)
Correct-by-Construction Adaptive Cruise Control: Two Approaches (2016) (138)
Bisimulation relations for dynamical, control, and hybrid systems (2005) (138)
On self-triggered control for linear systems: Guarantees and complexity (2009) (131)
Secure state-estimation for dynamical systems under active adversaries (2011) (125)
An Approximate Simulation Approach to Symbolic Control (2008) (123)
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control (2016) (113)
Motion feasibility of multi-agent formations (2005) (107)
Secure State Estimation Against Sensor Attacks in the Presence of Noise (2015) (103)
Event-triggered and self-triggered stabilization of distributed networked control systems (2011) (93)
Model Checking LTL over Controllable Linear Systems Is Decidable (2003) (90)
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks (2016) (89)
Preliminary results on state-trigered scheduling of stabilizing control tasks (2006) (84)
A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems (2011) (81)
Computing Robust Controlled Invariant Sets of Linear Systems (2016) (78)
Compositional Transient Stability Analysis of Multimachine Power Networks (2013) (77)
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN (2009) (76)
Bisimilar control affine systems (2002) (75)
Symbolic models for nonlinear time-delay systems using approximate bisimulations (2009) (75)
Privacy-aware quadratic optimization using partially homomorphic encryption (2016) (71)
Backstepping Design for Incremental Stability (2010) (69)
Automatic verification of control system implementations (2010) (67)
Attack-resilient state estimation in the presence of noise (2015) (64)
Compositional Abstractions of Hybrid Control Systems (2001) (63)
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (2013) (63)
Supervisory Control of Discrete-Event Systems Under Attacks (2017) (62)
Periodic event-triggered control of nonlinear systems using overapproximation techniques (2018) (61)
Security for control systems under sensor and actuator attacks (2012) (59)
Towards Robustness for Cyber-Physical Systems (2014) (57)
Input-to-state stability of self-triggered control systems (2009) (55)
On the Stability of Zeno Equilibria (2006) (55)
Controller synthesis for bisimulation equivalence (2007) (52)
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming (2017) (50)
Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design (2012) (49)
Self-triggered control over wireless sensor and actuator networks (2011) (48)
Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars (2015) (47)
Bisimulation Relations for Dynamical and Control Systems (2003) (47)
SMC: Satisfiability Modulo Convex Optimization (2017) (47)
PrOLoc: Resilient Localization with Private Observers Using Partial Homomorphic Encryption (2017) (47)
A Notion of Robustness for Cyber-Physical Systems (2013) (46)
Minimum attention control for linear systems (2014) (45)
Event-Triggered and Self-Triggered Control (2015) (45)
Data driven stability analysis of black-box switched linear systems (2018) (44)
Exploiting Isochrony in Self-Triggered Control (2010) (43)
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems (2007) (42)
Quotients of Fully Nonlinear Control Systems (2005) (42)
Pessoa 2.0: a controller synthesis tool for cyber-physical systems (2011) (42)
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption (2018) (42)
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise (2015) (42)
On compositional symbolic controller synthesis inspired by small-gain theorems (2015) (41)
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control (2014) (39)
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving (2015) (39)
Robust Linear Temporal Logic (2015) (38)
Guest Editorial Special Issue on Control of Cyber-Physical Systems (2014) (38)
Symbolic approximate time-optimal control (2010) (38)
Towards Kron reduction of generalized electrical networks (2014) (38)
Composing Abstractions of Hybrid Systems (2002) (37)
Robust discrete synthesis against unspecified disturbances (2011) (37)
Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds (2017) (35)
Minimax control for cyber-physical systems under network packet scheduling attacks (2013) (35)
SMC: Satisfiability Modulo Convex Programming (2018) (35)
Approximate reduction of dynamic systems (2008) (32)
Abstractions of Hamiltonian control systems (2001) (32)
Scalable lazy SMT-based motion planning (2016) (31)
Data-driven control for feedback linearizable single-input systems (2017) (31)
From discrete specifications to hybrid control (2003) (31)
On the minimum attention and anytime attention problems for nonlinear systems (2010) (30)
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications (2010) (30)
Hierarchical trajectory refinement for a class of nonlinear systems (2005) (29)
Finite bisimulations of controllable linear systems (2003) (28)
Approximate Reduction of Dynamical Systems (2006) (28)
Kron reduction of power networks with lossy and dynamic transmission lines (2012) (27)
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT (2018) (27)
Hierarchical trajectory generation for a class of nonlinear systems (2003) (27)
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving (2015) (27)
Uses and abuses of the swing equation model (2015) (27)
From nonlinear to Hamiltonian via feedback (2002) (27)
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks (2014) (27)
Input-output robustness for discrete systems (2012) (26)
Toward an Internet of Battlefield Things: A Resilience Perspective (2018) (25)
Isochronous manifolds in self-triggered control (2009) (25)
Periodic Event-Triggered Control (2018) (25)
Position paper on the challenges posed by modern applications to cyber-physical systems theory (2019) (24)
Open Maps, Alternating Simulations and Control Synthesis (2004) (24)
Abstracting Partially Feedback Linearizable Systems Compositionally (2017) (24)
Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems (2016) (22)
Symbolic control of linear systems based on symbolic subsystems (2006) (22)
Symbolic models for control systems (2007) (22)
On Simulations and Bisimulations of General Flow Systems (2007) (22)
Secure state estimation and control using multiple (insecure) observers (2014) (20)
Symbolic models for nonlinear control systems using approximate bisimulation (2007) (20)
On the minimum attention control problem for linear systems: A linear programming approach (2011) (19)
Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria (2020) (19)
Computing controlled invariant sets in two moves (2019) (18)
Data-driven Stabilization of SISO Feedback Linearizable Systems (2020) (18)
I MHOTEP-SMT : A Satisfiability Modulo Theory Solver For Secure State Estimation ∗ (2015) (18)
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models (2017) (17)
Computing controlled invariant sets for hybrid systems with applications to model-predictive control (2018) (17)
Self-triggered controllers and hard real-time guarantees (2016) (16)
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach (2014) (16)
Synthesis of safety controllers robust to unmodeled intermittent disturbances (2016) (16)
Hybrid Abstractions that Preserve Timed Languages (2001) (16)
Symmetries and Isomorphisms for Privacy in Control Over the Cloud (2019) (16)
First steps toward formal controller synthesis for bipedal robots with experimental implementation (2017) (16)
First steps toward formal controller synthesis for bipedal robots (2015) (15)
Universal approximation power of deep residual neural networks via nonlinear control theory (2021) (15)
Networked Embedded Sensing and Control (2006) (15)
Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory (2020) (15)
Comparing asynchronous l-complete approximations and quotient based abstractions (2015) (14)
Securing state reconstruction under sensor and actuator attacks: Theory and design (2020) (14)
A theory of robust omega-regular software synthesis (2013) (14)
Abstracting and refining robustness for cyber-physical systems (2013) (13)
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications (2018) (13)
PESSOA : A tool for embedded control software synthesis (2009) (13)
Space-time scaling laws for self-triggered control (2008) (12)
Scaling up controller synthesis for linear systems and safety specifications (2012) (12)
Special Issue Technical Notes and Correspondence Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks (2011) (12)
System identification in the presence of adversarial outputs (2016) (11)
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic (2021) (11)
Non-local Linearization of Nonlinear Differential Equations via Polyflows (2019) (11)
Decomposing controller synthesis for safety specifications (2016) (11)
On the Computational Complexity of the Secure State-Reconstruction Problem (2021) (11)
Towards backstepping design for incremental stability (2010) (10)
Cyclic directed formations of multi-agent systems (2001) (10)
Position Tracking for Underactuated Rigid Bodies on SE(3) (2001) (10)
Approximate time-optimal control via approximate alternating simulations (2010) (10)
From LTL to rLTL monitoring: improved monitorability through robust semantics (2018) (10)
An SMT-based approach to secure state estimation under sensor and actuator attacks (2017) (9)
Plausible deniability as a notion of privacy (2019) (9)
A symbolic approach to the design of robust cyber-physical systems (2013) (9)
An enhanced hierarchy for (robust) controlled invariance (2021) (9)
Symbolic models for linear control systems with disturbances (2007) (8)
When is the Secure State-Reconstruction Problem Hard? (2019) (8)
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control (2014) (8)
Kron Reduction of Generalized Electrical Networks (2012) (8)
Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud (2018) (8)
Data-driven control for SISO feedback linearizable systems with unknown control gain (2019) (7)
Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control (2020) (7)
Towards a compositional analysis of multi-machine power systems transient stability (2013) (7)
Underminer: A framework for automatically identifying non-converging behaviors in black box system models (2016) (7)
Safety and Stability Guarantees for Control Loops With Deep Learning Perception (7)
Mode-Target Games: Reactive Synthesis for Control Applications (2015) (7)
Symbolic models for unstable nonlinear control systems (2010) (7)
Towards synthesis of platform-aware attack-resilient control systems: extended abstract (2013) (7)
Scalable Motion Planning Using Lazy SMT-Based Solving (2016) (6)
A simple hierarchy for computing controlled invariant sets (2020) (6)
Closed-form controlled invariant sets for pedestrian avoidance (2017) (6)
Guest editorial: special issue on formal methods in control (2017) (6)
Training deep residual networks for uniform approximation guarantees (2021) (5)
Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud (2018) (5)
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks (2015) (5)
Flatness and finite bisimulations in discrete time (2004) (5)
Evrostos: the rLTL verifier (2019) (5)
A theory of robust software synthesis (2011) (5)
Symbolic sub-systems and symbolic control of linear systems (2005) (5)
Controller Synthesis for Mode-Target Games (2015) (4)
An improved self-triggered implementation for linear controllers (2012) (4)
Controlled invariant sets: implicit closed-form representations and applications (2021) (4)
On the benefits of relaxing the periodicity assumption for control tasks (2008) (4)
Verifying rLTL formulas: now faster than ever before! (2018) (4)
A predictive algorithm for attitude stabilization and spin control of small satellites (1999) (4)
A symbolic model approach to the digital control of nonlinear time-delay systems (2009) (4)
Networked embedded sensing and control : Workshop NESC'05 : University of Notre Dame, USA, October 2005 proceedings (2006) (4)
Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control (2023) (4)
Distorting an Adversary's View in Cyber-Physical Systems (2018) (4)
Simulation-guided Contraction Analysis (2015) (4)
On the factorization of trajectory lifting maps (2005) (3)
Secure State-Reconstruction Over Networks Subject to Attacks (2021) (3)
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs (2021) (3)
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings (2009) (3)
Secure system identification (2016) (3)
Satellite Attitude Control (3)
Demo Abstract: PrOLoc: Resilient Localization with Private Observers Using Partial Homomorphic Encryption (2017) (3)
On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach (2011) (3)
Discrete synchronization of hybrid systems (2002) (3)
Decentralized Resilient State-Tracking (2021) (3)
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems (2010) (3)
Input-Output stability for discrete systems (2012) (2)
Exact symbolic models for verification (2009) (2)
Correction to “Compositional Transient Stability Analysis of Multimachine Power Networks” (2017) (2)
Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems (2013) (2)
Synthesis of trajectory-dependent control Lyapunov functions by a single linear program (2009) (2)
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry (2019) (2)
Sensor/Actuator Abstractions for Symbolic Embedded Control Design (2005) (2)
Synthesis of Large-Scale Instant IoT Networks (2021) (2)
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets (2021) (2)
Improving sparsity in time and space via self-triggered sparse optimal controllers (2017) (2)
Deciding Stability of a Switched System Without Identifying It (2018) (2)
Rapid Top-Down Synthesis of Large-Scale IoT Networks (2020) (2)
A Behavioral Algorithm for State of Charge Estimation (2012) (2)
Hybrid abstractions: A search and rescue case study (2001) (2)
Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances (2008) (2)
Networked Embedded Sensing and Control: Workshop NESC'05: University of Notre Dame, USAOctober 2005 Proceedings (Lecture Notes in Control and Information Sciences) (2006) (2)
Approximate symbolic models for verification (2009) (2)
Satellite Attitude Control Problem, pp 393-432 in Control of Complex Systems (Edd.: K. Åström, P. Albertos, M. Blanke, A. Isidori, W. Schaufelberger) (2000) (1)
Distortion-Based Lightweight Security for Cyber-Physical Systems (2020) (1)
Split to win: near-optimal sensor network synthesis via path-greedy subproblems (2021) (1)
Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations (2022) (1)
Local factorization of trajectory lifting morphisms for single-input affine control systems (2006) (1)
Why not both? Exact continuous and discrete optimization with submodularity (2020) (1)
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge* (2019) (1)
Compositional Abstractions of Hybrid Control Systems 1 (2001) (1)
Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations * (2021) (1)
Underminer (2017) (1)
Small Satellites Attitude Determination Using A Predictive Algorithm For Attitude Stabilization And (2002) (1)
Symbolic synthesis for cyber-physical systems (2017) (1)
To beam or not to beam? Beamforming with submodularity-inspired group sparsity (2020) (1)
On event based state estimation (2009) (1)
Self-Triggered Control: trading actuation for computation (2009) (1)
The Secure State Estimation Problem (2021) (1)
Robust Monitoring of Linear Temporal Properties (2018) (1)
Symbolic Control of Linear Systems Based on (2006) (1)
Learned Uncertainty Calibration for Visual Inertial Localization (2021) (1)
TuM 051 Finite Bisimulations of Controllable Linear Systems 1 (2016) (0)
Session details: Control I (2013) (0)
Finite quotients of controllable systems (2003) (0)
Pablo A. Iglesias [People in Control] (2017) (0)
Nonlinear Analysis: Hybrid Systems (2019) (0)
Approximate symbolic models for control (2009) (0)
FROM NONLINEAR TO HAMILTONIAN VIA FEEDBACKPAULO (2007) (0)
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design (2019) (0)
Hierarchical trajectory refine ment for a class of nonlinear systems (2005) (0)
LiDAR Point Cloud Registration with Formal Guarantees (2022) (0)
3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems 2012 : Santa Barbara, California, USA, 14-15 September 2012 (2013) (0)
Evrostos (2019) (0)
Yiguang Hong [People in Control] (2017) (0)
Joint Continuous and Discrete Model Selection via Submodularity (2021) (0)
Dirty derivatives for output feedback stabilization (2022) (0)
Discounting the past in robust finite-state systems (2014) (0)
Learning to control known feedback linearizable systems from demonstrations (2023) (0)
Abstractions of Hamiltonian Control Systems 1 (2001) (0)
Bisimilar Hybrid Systems (2003) (0)
Network synthesis for tactical environments: scenario, challenges, and opportunities (2022) (0)
Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9] (2006) (0)
Controller Synthesis for CPS (2020) (0)
Exact system relationships (2009) (0)
Decentralized Learning Robust to Data Poisoning Attacks (2022) (0)
Decentralized Secure State-Tracking in Multi-Agent Systems (2021) (0)
Embedded Systems Specification and Modeling (2010) (0)
Preface for the SYNT (2019) (0)
Give the problem a lift: solving quadratic programs with combinatorial costs (2022) (0)
Supervisory Control of Discrete-Event Systems Under Attacks (2018) (0)
Learning to control from expert demonstrations (2022) (0)
Bookshelf [Cold, small, hot, and queued] (2007) (0)
Privacy Against Adversarial Classification in Cyber-Physical Systems (2020) (0)
Finite Bisimulations of Controllable Linear Systems 1 (2003) (0)
Paulo Tabuada [People in Control] (2017) (0)
Event-triggered and self-triggered control design with guaranteed performance (2012) (0)
Approximate system relationships (2009) (0)
Departmental Papers ( ESE ) Department of Electrical & Systems Engineering December 2002 Bisimilar Control Affine Systems (2016) (0)
CONTROL SYNTHESIS VIA ALTERNATING SIMULATIONS AND OPEN MAPS (2006) (0)
Hybrid Systems: Computation and Control (2009) (0)
Feasible Formations of Multi-Agent Systems 1 (2006) (0)
Guest editorial: special issue on formal methods in control (2017) (0)
A coding approach to localization using landmarks (2020) (0)
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation (2019) (0)
Synthesizing Robust Software: Invited Presentation at the First Workshop on Synthesis (2012) (0)
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems (2021) (0)
Transactions on Cyber-Physical Systems 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 (2016) (0)
Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (2009) (0)
PROJECT CONSAT : CONTROL OF SMALL SATELLITES † (2006) (0)
Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles (2020) (0)
Preface for the SYNT (2019) (0)
Minimum attention control for linear systems (2012) (0)
ThA 095 From Discrete Specifications to Hybrid Control ' (2016) (0)
Fundamental Study Bisimulation relations for dynamical, control, and hybrid systems (2005) (0)
FEASIBLE FORMATIONS OF MULTI-AGENT SYSTEMSPAULO TABUADA (2001) (0)
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices (2022) (0)
Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708] (2006) (0)
Exact symbolic models for control (2009) (0)
A Coding Theoretic View of Secure State Reconstruction (2020) (0)
Donald P. Eckman award (2009) (0)

This paper list is powered by the following services:

Other Resources About Paulo Tabuada

www.seas.ucla.edu

What Schools Are Affiliated With Paulo Tabuada?

Paulo Tabuada is affiliated with the following schools:

Paulo Tabuada's Academic­Influence.com Rankings

Paulo Tabuada's Degrees

Why Is Paulo Tabuada Influential?

Paulo Tabuada's Published Works

Published Works

Other Resources About Paulo Tabuada

What Schools Are Affiliated With Paulo Tabuada?

Paulo Tabuada's AcademicInfluence.com Rankings