Forschungspapier (118)
1341.
Forschungspapier
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 S.
1342.
Forschungspapier
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 S.
1343.
Forschungspapier
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 S.
1344.
Forschungspapier
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 S.
1345.
Forschungspapier
A Theory of Partitioned Global Address Spaces. (2013)
1346.
Forschungspapier
Dynamic Package Interfaces - Extended Version. (2013)
1347.
Forschungspapier
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1348.
Forschungspapier
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures S.
1349.
Forschungspapier
A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 S.
1350.
Forschungspapier
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 S.
Bericht (27)
1351.
Bericht
Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 S.
1352.
Bericht
Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 S.
1353.
Bericht
Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 S.
1354.
Bericht
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Max Planck Institute for Software Systems, Saarbrücken (2020), 26 S.
1355.
Bericht
Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 S.
1356.
Bericht
Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbrücken (2020), 34 S.
1357.
Bericht
A Type-theory for Higher-order Amortized Cost Analysis. Max Planck Institute for Software Systems, Saarbrücken (2020), 205 S.
1358.
Bericht
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. Max Planck Institute for Software Systems, Saarbrücken (2020), 77 S.
1359.
Bericht
Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbrücken (2018), 33 S.
1360.
Bericht
UniTraX: Protecting Data Privacy with Discoverable Biases. Max Planck Institute for Software Systems, Saarbrücken (2018), 29 S.