Working Paper (79)

1061.
Working Paper
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.
1062.
Working Paper
Shirazi, F.; Simeonovski, M.; Asghar, M. R.; Backes, M.; Diaz, C.: A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.
1063.
Working Paper
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.
1064.
Working Paper
Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 pp.
1065.
Working Paper
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.
1066.
Working Paper
Zarezade, A.; Upadhyay, U.; Rabiee, H.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 pp.
1067.
Working Paper
Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.
1068.
Working Paper
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. (2013)
1069.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces - Extended Version. (2013)
1070.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1071.
Working Paper
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.
1072.
Working Paper
Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.
1073.
Working Paper
Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.

Report (27)

1074.
Report
Francis, P.: Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 pp.
1075.
Report
Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.
1076.
Report
Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.
1077.
Report
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.
1078.
Report
Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.
1079.
Report
Francis, P.: Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbrücken (2020), 34 pp.
1080.
Report
Rajani, V.; Gaboardi, M.; Garg, D.; Hoffmann, J.: A Type-theory for Higher-order Amortized Cost Analysis. Max Planck Institute for Software Systems, Saarbrücken (2020), 205 pp.
Go to Editor View