Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.

Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. (2016), 12 pp.

Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.

Shirazi, F.; Simeonovski, M.; Asghar, M. R.; Backes, M.; Diaz, C.: A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.

Tabibian, B.; Valera, I.; Farajtabar, M.; Song, L.; Schölkopf, B.; Gomez Rodriguez, M.: Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 pp.

Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 pp.

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 pp.

Zarezade, A.; Upadhyay, U.; Rabiee, H.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 pp.

Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.

Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. (2013)

Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces - Extended Version. (2013)

Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)

Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures pp.

Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.

Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.

Francis, P.: Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 pp.

Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.

Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.

Bozhko, S.; Brandenburg, B. B.: Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Max Planck Institute for Software Systems, Saarbrücken (2020), 26 pp.

Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.