E-LIB Suche - Ergebnisse für: Kotek, Tomer

1

Contributors:

, In: Essentials of Evidence-Based Practice of Neuroanesthesia and Neurocritical Care,

Anania, Pasquale ; Barnes, Christopher R. ; Barra, Megan... - p. xv-xvii , 2022

Link: https://doi.org/10.1016/..

2

Hyperosmolar therapy:

, In: Essentials of Evidence-Based Practice of Neuroanesthesia and Neurocritical Care,

Kotek, Tomer ; Zlotnik, Alexander ; Rozet, Irene - p. 53-65 , 2022

Link: https://doi.org/10.1016/..

3

Pebble-Intervals Automata and FO$$^2$$ with Two Orders:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,

Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena. - p. 208-221 , 2020

Link: https://doi.org/10.1007/..

4

Parameterized model checking of rendezvous systems:

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha..
Distributed Computing. 31 (2017) 3 - p. 187-222 , 2017

Link: https://doi.org/10.1007/..

5

Extending ALCQIO with Trees:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Kotek, Tomer ; imkus, Mantas ; Veith, Helmut. - p. 511-522 , 2015

Link: https://dl.acm.org/doi/1..

6

Recurrence relations for graph polynomials on bi-iterative ..:

Kotek, Tomer ; Makowsky, Johann A.
European Journal of Combinatorics. 41 (2014) - p. 47-67 , 2014

Link: https://doi.org/10.1016/..

7

Subset-Sum Representations of Domination Polynomials:

Kotek, Tomer ; Preen, James ; Tittmann, Peter
Graphs and Combinatorics. 30 (2013) 3 - p. 647-660 , 2013

Link: https://doi.org/10.1007/..

8

Complexity of Ising Polynomials:

KOTEK, TOMER
Combinatorics, Probability and Computing. 21 (2012) 5 - p. 743-772 , 2012

Link: https://doi.org/10.1017/..

9

On the Tutte and matching polynomials for complete graphs:

Kotek, Tomer ; Makowsky, Johann A
http://arxiv.org/abs/2112.06581. , 2021

Link: http://arxiv.org/abs/211..

10

The exact complexity of the Tutte polynomial:

Kotek, Tomer ; Makowsky, Johann A
http://arxiv.org/abs/1910.08915. , 2019

Link: http://arxiv.org/abs/191..

11

Pebble-Intervals Automata and FO2 with Two Orders (Extended..:

Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena.
http://arxiv.org/abs/1912.00171. , 2019

Link: http://arxiv.org/abs/191..

12

On the Automated Verification of Web Applications with Embe..:

Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam...
doi:10.4230/LIPIcs.ICDT.2017.16. , 2017

Link: https://doi.org/10.4230/..

13

Monadic Second Order Finite Satisfiability and Unbounded Tr..:

Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian
Is Part Of LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). , 2016

Link: https://doi.org/10.4230/..

14

On the automated verification of web applications with embe..:

Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam...
http://arxiv.org/abs/1610.02101. , 2016

Link: http://arxiv.org/abs/161..

15

Parameterized Systems in BIP: Design and Model Checking:

Konnov, Igor ; Kotek, Tomer ; Wang, Qiang...
doi:10.4230/LIPIcs.CONCUR.2016.30. , 2016

Link: https://doi.org/10.4230/..