Zeitschriftenartikel (248)
201.
Zeitschriftenartikel
3 (1), 8 (2014)
Characterization of Online Groups Along Space, Time, and Social Dimensions. EPJ Data Science 202.
Zeitschriftenartikel
9 (3), e92196 (2014)
Entangling Mobility and Interactions in Social Media. PLoS ONE 203.
Zeitschriftenartikel
1 (2), 01, S. 1 - 22 (2014)
Blocking Optimality in Distributed Real-time Locking Protocols. Leibniz Transactions on Embedded Systems 204.
Zeitschriftenartikel
132 (1), S. 63 - 77 (2014)
Certificates of Non-membership for Classes of Read-once Functions. Fundamenta Informaticae 205.
Zeitschriftenartikel
24 (5), S. 529 - 607 (2014)
F-ing Modules. Journal of Functional Programming 206.
Zeitschriftenartikel
59 (12), S. 3151 - 3163 (2014)
Towards Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control 207.
Zeitschriftenartikel
59 (12), S. 3135 - 3150 (2014)
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Transactions on Automatic Control 208.
Zeitschriftenartikel
17 (2), S. 277 - 342 (2013)
The OMLP Family of Optimal Multiprocessor Real-time Locking Protocols. Design Automation for Embedded Systems 209.
Zeitschriftenartikel
42 (2), S. 146 - 174 (2013)
Code Aware Resource Management. Formal Methods in System Design 210.
Zeitschriftenartikel
24 (2), S. 165 - 185 (2013)
The Complexity of Coverage. International Journal of Foundations of Computer Science 211.
Zeitschriftenartikel
192 (3), S. 359 - 374 (2013)
Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 212.
Zeitschriftenartikel
23 (4), S. 357 - 401 (2013)
How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming 213.
Zeitschriftenartikel
15 (4), S. 291 - 303 (2013)
From Tests to Proofs. International Journal on Software Tools for Technology Transfer 214.
Zeitschriftenartikel
13 (3), 48, S. 1 - 27 (2013)
A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 215.
Zeitschriftenartikel
35 (2), 6, S. 1 - 41 (2013)
Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems 216.
Zeitschriftenartikel
35 (1), 2, S. 2:1 - 2:84 (2013)
Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems 217.
Zeitschriftenartikel
60 (3), 22, S. 1 - 50 (2013)
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 218.
Zeitschriftenartikel
62 (10), S. 949 - 962 (2013)
Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 219.
Zeitschriftenartikel
22 (4-5), S. 382 - 438 (2012)
Lazy Tree Splitting. Journal of Functional Programming 220.
Zeitschriftenartikel
56 (3), S. 1066 - 1076 (2012)
Delayed Information Cascades in Flickr: Measurement, Analysis, and Modeling. Computer Networks