Journal Article (252)
201.
Journal Article
51 (6), pp. 440 - 483 (2015)
Multiprocessor Real-time Scheduling with Arbitrary Processor Affinities: From Practice to Theory. Real-Time Systems 202.
Journal Article
9 (3), 12 (2015)
Sampling Content from Online Social Networks: Comparing Random vs. Expert Sampling of the Twitter Stream. ACM Transactions on the Web 203.
Journal Article
25, e12 (2015)
Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming 204.
Journal Article
3 (1), 27 (2014)
Fast Filtering and Animation of Large Dynamic Networks. EPJ Data Science 205.
Journal Article
3 (1), 8 (2014)
Characterization of Online Groups Along Space, Time, and Social Dimensions. EPJ Data Science 206.
Journal Article
9 (3), e92196 (2014)
Entangling Mobility and Interactions in Social Media. PLoS ONE 207.
Journal Article
1 (2), 01, pp. 1 - 22 (2014)
Blocking Optimality in Distributed Real-time Locking Protocols. Leibniz Transactions on Embedded Systems 208.
Journal Article
132 (1), pp. 63 - 77 (2014)
Certificates of Non-membership for Classes of Read-once Functions. Fundamenta Informaticae 209.
Journal Article
24 (5), pp. 529 - 607 (2014)
F-ing Modules. Journal of Functional Programming 210.
Journal Article
59 (12), pp. 3151 - 3163 (2014)
Towards Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control 211.
Journal Article
59 (12), pp. 3135 - 3150 (2014)
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Transactions on Automatic Control 212.
Journal Article
17 (2), pp. 277 - 342 (2013)
The OMLP Family of Optimal Multiprocessor Real-time Locking Protocols. Design Automation for Embedded Systems 213.
Journal Article
42 (2), pp. 146 - 174 (2013)
Code Aware Resource Management. Formal Methods in System Design 214.
Journal Article
24 (2), pp. 165 - 185 (2013)
The Complexity of Coverage. International Journal of Foundations of Computer Science 215.
Journal Article
192 (3), pp. 359 - 374 (2013)
Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 216.
Journal Article
23 (4), pp. 357 - 401 (2013)
How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming 217.
Journal Article
15 (4), pp. 291 - 303 (2013)
From Tests to Proofs. International Journal on Software Tools for Technology Transfer 218.
Journal Article
13 (3), 48, pp. 1 - 27 (2013)
A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 219.
Journal Article
35 (2), 6, pp. 1 - 41 (2013)
Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems 220.
Journal Article
35 (1), 2, pp. 2:1 - 2:84 (2013)
Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems