Journal Article (210)

161.
Journal Article
Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming 25, e12 (2015)
162.
Journal Article
Grabowicz, P.; Aiello, L. M.; Menczer, F.: Fast Filtering and Animation of Large Dynamic Networks. EPJ Data Science 3 (1), 27 (2014)
163.
Journal Article
Martin-Borregon, D.; Aiello, L. M.; Grabowicz, P.; Jaimes, A.; Baeza-Yates, R.: Characterization of Online Groups Along Space, Time, and Social Dimensions. EPJ Data Science 3 (1), 8 (2014)
164.
Journal Article
Grabowicz, P.; Ramasco, J. J.; Gonçalves, B.; Eguíluz, V. M.: Entangling Mobility and Interactions in Social Media. PLoS ONE 9 (3), e92196 (2014)
165.
Journal Article
Brandenburg, B.: Blocking Optimality in Distributed Real-time Locking Protocols. Leibniz Transactions on Embedded Systems 1 (2), 01, pp. 1 - 22 (2014)
166.
Journal Article
Chistikov, D.; Fedorova, V.; Voronenko, A.: Certificates of Non-membership for Classes of Read-once Functions. Fundamenta Informaticae 132 (1), pp. 63 - 77 (2014)
167.
Journal Article
Rossberg, A.; Russo, C.; Dreyer, D.: F-ing Modules. Journal of Functional Programming 24 (5), pp. 529 - 607 (2014)
168.
Journal Article
Tabuada, P.; Caliskan, S. Y.; Rungger, M.; Majumdar, R.: Towards Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control 59 (12), pp. 3151 - 3163 (2014)
169.
Journal Article
Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Transactions on Automatic Control 59 (12), pp. 3135 - 3150 (2014)
170.
Journal Article
Brandenburg, B.; Anderson, J. H.: The OMLP Family of Optimal Multiprocessor Real-time Locking Protocols. Design Automation for Embedded Systems 17 (2), pp. 277 - 342 (2013)
171.
Journal Article
Chatterjee, K.; de Alfaro, L.; Faella, M.; Majumdar, R.; Raman, V.: Code Aware Resource Management. Formal Methods in System Design 42 (2), pp. 146 - 174 (2013)
172.
Journal Article
Chatterjee, K.; de Alfaro, L.; Majumdar, R.: The Complexity of Coverage. International Journal of Foundations of Computer Science 24 (2), pp. 165 - 185 (2013)
173.
Journal Article
Chistikov, D. V.: Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 192 (3), pp. 359 - 374 (2013)
174.
Journal Article
Gonthier, G.; Ziliani, B.; Nanevski, A.; Dreyer, D.: How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming 23 (4), pp. 357 - 401 (2013)
175.
Journal Article
Gupta, A.; Majumdar, R.; Rybalchenko, A.: From Tests to Proofs. International Journal on Software Tools for Technology Transfer 15 (4), pp. 291 - 303 (2013)
176.
Journal Article
Majumdar, R.; Render, E.; Pabuada, P.: A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 13 (3), 48, pp. 1 - 27 (2013)
177.
Journal Article
Nanevski, A.; Benerjee, A.; Garg, D.: Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems 35 (2), 6, pp. 1 - 41 (2013)
178.
Journal Article
Rossberg, A.; Dreyer, D.: Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems 35 (1), 2, pp. 2:1 - 2:84 (2013)
179.
Journal Article
Sevcik, J.; Vafeiadis, V.; Zappa Nardelli, F.; Jagannathan, S.; Sewell, P.: CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 60 (3), 22, pp. 1 - 50 (2013)
180.
Journal Article
Zamania, M.; van de Wouw, N.; Majumdar, R.: Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 62 (10), pp. 949 - 962 (2013)
Go to Editor View