Search Results

EPA-RIMM-V: Efficient Rootkit Detection for Virtualized Environments

by Vibhute, Tejaswini Ajay
Published 2018

Benchmark Experiments for Higher-Order and Full-Stokes Ice Sheet Models (ISMIP-HOM)

by Pattyn, F., Perichon, L., Aschwanden, A., Breuer, B., Smedt, B. de, Gagliardini, O., Gudmundsson, G. H., Hindmarsh, R. C. A., Hubbard, A., Johnson, Jesse V., Kleiner, T., Konovalov, Y., Martin, C., Payne, A. J., Pollard, D., Price, S., Rückamp, M., Saito, F., Soucek, O., Sugiyama, S., Zwinger, T.
Published 2008

Sensitivity of the Frozen/Melted Basal Boundary to Perturbations of Basal Traction and Geothermal Heat Flux : Isunnguata Sermia, Western Greenland

by Brinkerhoff, Douglas John, Meierbachtol, Toby Warren, Johnson, Jesse, Harper, Joel T.
Published 2011

Separating Touching Objects in Remote Sensing Imagery: The Restricted Growing Concept and Implementations

by Soh, Leen-Kiat, Tsatsoulis, Costas
Published 2000

A Methodology For Micro-Policies

by Azevedo De Amorim, Arthur
Published 2018

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack B: Algorithms, Automata, Complexity,...

by Aceto, Luca, Ann Goldberg, Leslie, Damgard, Ivan, Ingolfsdottir, Anna, M. Halldorsson, Magnus, Walukiewicz, Igor
Published 2008

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack B: Algorithms, Automata, Complexity,...

by Aceto, Luca, Ann Goldberg, Leslie, Damgard, Ivan, Ingolfsdottir, Anna, M. Halldorsson, Magnus, Walukiewicz, Igor
Published 2008

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity,...

by Aceto, Luca, Damgard, Ivan, Ann Goldberg, Leslie, M. Halldorsson, Magnus, Ingolfsdottir, Anna, Walukiewicz, Igor
Published 2008

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity,...

by Aceto, Luca, Damgard, Ivan, Ann Goldberg, Leslie, M. Halldorsson, Magnus, Ingolfsdottir, Anna, Walukiewicz, Igor
Published 2008

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008

On Expressiveness and Complexity in Real-time Model Checking

by Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published 2008

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens

by Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published 2017

Static Analysis of Deterministic Negotiations

by Esparza, Javier, Muscholl, Anca, Walukiewicz, Igor
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

An interpretation of system F through bar recursion

by Blot, Valentin
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Causally Learning an Optimal Rework Policy

by Schacht, Oliver, Klaassen, Sven, Schwarz, Philipp, Spindler, Martin, Grünbaum, Daniel, Imhof, Sebastian
Published 2023