Zeitschriftenartikel (252)
181.
Zeitschriftenartikel
54 (2), S. 191 - 215 (2017)
Verification of population protocols. Acta Informatica 182.
Zeitschriftenartikel
16 (5s), 190, S. 1 - 19 (2017)
Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 183.
Zeitschriftenartikel
64 (12), S. 9854 - 9863 (2017)
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 184.
Zeitschriftenartikel
21 (3), S. 48 - 55 (2017)
Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing 185.
Zeitschriftenartikel
4 (1), S. 6 - 21 (2017)
Type Systems for Information Flow Control: The Question of Granularity. ACM SIGLOG News 186.
Zeitschriftenartikel
27 (2), S. 261 - 299 (2017)
Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 187.
Zeitschriftenartikel
47 (5), S. 12 - 24 (2017)
Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. SIGCOMM Computer Communication Revíew 188.
Zeitschriftenartikel
54 (2), S. 217 - 242 (2017)
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 189.
Zeitschriftenartikel
1, 89 (2017)
Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages 190.
Zeitschriftenartikel
2, e87 (2016)
OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 191.
Zeitschriftenartikel
41 (2), S. 16 - 21 (2016)
Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 192.
Zeitschriftenartikel
39 (1), S. 81 - 92 (2016)
Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 193.
Zeitschriftenartikel
63 (1), 10 (2016)
Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 194.
Zeitschriftenartikel
17, 90, S. 1 - 29 (2016)
Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 195.
Zeitschriftenartikel
34 (2), 9, S. 1 - 33 (2016)
Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 196.
Zeitschriftenartikel
2016 (4), S. 436 - 453 (2016)
Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 197.
Zeitschriftenartikel
26 (1), S. 5 - 32 (2016)
Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 198.
Zeitschriftenartikel
28 (2), S. 354 - 381 (2016)
Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation 199.
Zeitschriftenartikel
38 (9), S. 1816 - 1828 (2016)
Infinite Factorial Unbounded-State Hidden Markov Model. IEEE Transactions on Pattern Analysis and Machine Intelligence 200.
Zeitschriftenartikel
11 (1), 20 (2015)
Aspect-oriented Linearizability Proofs. Logical Methods in Computer Science