Author of the publication

Satisfiability of Linear Time Mu-Calculus on Finite Traces.

, , , and . COCOON, volume 9797 of Lecture Notes in Computer Science, page 611-622. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Intrinsic Bayesian model for high-dimensional unsupervised reduction., , , , and . Neurocomputing, (2012)Evaluating MAX and MIN over Sliding Windows with Various Size Using the Exemplary Sketch., , , , and . DASFAA, volume 4443 of Lecture Notes in Computer Science, page 652-663. Springer, (2007)CUTE: Querying Knowledge Graphs by Tabular Examples., , , and . APWeb/WAIM (1), volume 10987 of Lecture Notes in Computer Science, page 461-465. Springer, (2018)Finding a Wise Group of Experts in Social Networks., , and . ADMA (1), volume 7120 of Lecture Notes in Computer Science, page 381-394. Springer, (2011)Hotness-aware buffer management for flash-based hybrid storage systems., , , and . CIKM, page 1631-1636. ACM, (2013)SketchML: Accelerating Distributed Machine Learning with Data Sketches., , , and . SIGMOD Conference, page 1269-1284. ACM, (2018)Temporal provenance discovery in micro-blog message streams (abstract only)., , and . SIGMOD Conference, page 864. ACM, (2012)Accelerating sequence searching: dimensionality reduction method., , , , and . Knowl. Inf. Syst., 20 (3): 301-322 (2009)Distinguishing re-sharing behaviors from re-creating behaviors in information diffusion., , , , and . World Wide Web, 19 (6): 1203-1230 (2016)Cross-layer approach to joint transmitter selection for cooperative transmission., , and . ISCIT, page 426-430. IEEE, (2016)