Forschungspapier (120)
1361.
Forschungspapier
Compositional Synthesis of Finite State Abstractions. (2016), 10 S.
1362.
Forschungspapier
Computing Distances between Reach Flowpipes. (2016), 12 S.
1363.
Forschungspapier
Modeling the Dynamics of Online Learning Activity. (2016), 14 S.
1364.
Forschungspapier
A Survey on Routing in Anonymous Communication Protocols. (2016), 24 S.
1365.
Forschungspapier
Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 S.
1366.
Forschungspapier
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 S.
1367.
Forschungspapier
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 S.
1368.
Forschungspapier
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 S.
1369.
Forschungspapier
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 S.
1370.
Forschungspapier
A Theory of Partitioned Global Address Spaces. (2013)
1371.
Forschungspapier
Dynamic Package Interfaces - Extended Version. (2013)
1372.
Forschungspapier
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1373.
Forschungspapier
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures S.
1374.
Forschungspapier
A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 S.
1375.
Forschungspapier
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 S.
Bericht (27)
1376.
Bericht
Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 S.
1377.
Bericht
Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 S.
1378.
Bericht
Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 S.
1379.
Bericht
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Max Planck Institute for Software Systems, Saarbrücken (2020), 26 S.
1380.
Bericht
Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 S.