Working Paper (120)
1361.
Working Paper
The Case for Temporal Transparency: Detecting Policy Change Events in Black-Box Decision Making Systems. Fairness, Accountability, and Transparency in Machine Learning (2016), 7 pp.
1362.
Working Paper
The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 pp.
1363.
Working Paper
Sparsity Preserving Algorithms for Octagons. (2016), 14 pp.
1364.
Working Paper
Smart Broadcasting: Do you Want to Be Seen? (2016), 17 pp.
1365.
Working Paper
Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.
1366.
Working Paper
Computing Distances between Reach Flowpipes. (2016), 12 pp.
1367.
Working Paper
Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.
1368.
Working Paper
A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.
1369.
Working Paper
Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 pp.
1370.
Working Paper
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 pp.
1371.
Working Paper
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 pp.
1372.
Working Paper
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 pp.
1373.
Working Paper
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.
1374.
Working Paper
A Theory of Partitioned Global Address Spaces. (2013)
1375.
Working Paper
Dynamic Package Interfaces - Extended Version. (2013)
1376.
Working Paper
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1377.
Working Paper
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures pp.
1378.
Working Paper
A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.
1379.
Working Paper
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.
Report (27)
1380.
Report
Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 pp.