المؤلفون: Eickmeyer, Kord

وصف الملف: text

Relation: http://tuprints.ulb.tu-darmstadt.de/13503/

الاتاحة: https://tuprints.ulb.tu-darmstadt.de/13503/1/habil.pdf

المؤلفون: Eickmeyer, Kord, Heuvel, Jan van den, Kawarabayashi, Ken-ichi, Kreutzer, Stephan, de Mendez, Patrice Ossona, Pilipczuk, Michał, Quiroz, Daniel A., Rabinovich, Roman, Siebertz, Sebastian

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Mathematics - Combinatorics

URL الوصول: http://arxiv.org/abs/1812.08003

المؤلفون: Bae, Sang Won, Baffier, Jean-Francois, Chun, Jinhee, Eades, Peter, Eickmeyer, Kord, Grilli, Luca, Hong, Seok-Hee, Korman, Matias, Montecchiani, Fabrizio, Rutter, Ignaz, Tóth, Csaba D.

المصدر: Theoretical Computer Science 745 (2018), 36-52

مصطلحات موضوعية: Computer Science - Computational Geometry

URL الوصول: http://arxiv.org/abs/1708.07653

المؤلفون: Eickmeyer, Kord, Giannopoulou, Archontia C., Kreutzer, Stephan, Kwon, O-joung, Pilipczuk, Michał, Rabinovich, Roman, Siebertz, Sebastian

مصطلحات موضوعية: Computer Science - Discrete Mathematics, Mathematics - Combinatorics

URL الوصول: http://arxiv.org/abs/1612.08197

المؤلفون: Eickmeyer, Kord, Kawarabayashi, Ken-ichi

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

URL الوصول: http://arxiv.org/abs/1605.01198

المؤلفون: Eickmeyer, Kord, Elberfeld, Michael, Harwath, Frederik

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1603.09055

المؤلفون: Eickmeyer, Kord

Thesis Advisors: Grohe, Martin, Schweikardt, Nicole, Miltersen, Peter Bro

مصطلحات موضوعية: Randomisierung, deskriptive Komplexitätstheorie, Derandomisierung, Logik, endliche Modelltheorie, descriptive complexity theory, randomisation, derandmisation, logics, finite model theory, 004 Informatik, 28 Informatik, Datenverarbeitung, ST 134, SK 890, ddc:004

وصف الملف: application/pdf

الاتاحة: http://edoc.hu-berlin.de/18452/17016

المؤلفون: Eickmeyer, Kord, Grohe, Martin

المصدر: Logical Methods in Computer Science, Volume 7, Issue 3 (September 21, 2011) lmcs:714

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.1.2

URL الوصول: http://arxiv.org/abs/1107.3430

المؤلفون: Eickmeyer, Kord, Yoshida, Ruriko

المصدر: It is published in the proceedings of Algebraic Biology, Springer LNC Series (2008), p82-96

مصطلحات موضوعية: Mathematics - Combinatorics

URL الوصول: http://arxiv.org/abs/0908.0098

المؤلفون: Eickmeyer, Kord, Huggins, Peter, Pachter, Lior, Yoshida, Ruriko

مصطلحات موضوعية: Quantitative Biology - Quantitative Methods, Quantitative Biology - Populations and Evolution

URL الوصول: http://arxiv.org/abs/0710.5142

المؤلفون: Eickmeyer, Kord, Yoshida, Ruriko

مصطلحات موضوعية: Mathematics - Combinatorics, Quantitative Biology - Populations and Evolution

URL الوصول: http://arxiv.org/abs/math/0703081

المؤلفون: Eickmeyer, Kord, Giannopoulou, Archontia C., Kreutzer, Stephan, Kwon, O-joung, Pilipczuk, Michal, Rabinovich, Roman, Siebertz, Sebastian

المساهمون: Kord Eickmeyer and Archontia C. Giannopoulou and Stephan Kreutzer and O-joung Kwon and Michal Pilipczuk and Roman Rabinovich and Sebastian Siebertz

مصطلحات موضوعية: Graph Structure Theory, Nowhere Dense Graphs, Parameterized Complexity, Kernelization, Dominating Set

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 80, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.63

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2017.63
https://nbn-resolving.org/urn:nbn:de:0030-drops-74288
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.63

المؤلفون: Bae, Sang Won, Baffier, Jean-Francois, Chun, Jinhee, Eades, Peter, Eickmeyer, Kord, Grilli, Luca, Hong, Seok-Hee, Korman, Matias, Montecchiani, Fabrizio, Rutter, Ignaz, Tóth, Csaba D.

المساهمون: National Research Foundation of Korea, ERATO, ARC, MEXT, University of Perugia, NSF

المصدر: Theoretical Computer Science ; volume 745, page 36-52 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2018.05.029
https://api.elsevier.com/content/article/PII:S0304397518303670?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397518303670?httpAccept=text/plain

المؤلفون: Eickmeyer, Kord

المساهمون: Grohe, Martin, Bro Miltersen, Peter, Schweikardt, Nicole

الاتاحة: http://data.europeana.eu/aggregation/europeana/2048441/item_PJT7LJTBJCHYHF5PNDZHI6VMZ54NWM6B

المؤلفون: Eickmeyer, Kord

المساهمون: Kord Eickmeyer

مصطلحات موضوعية: descriptive complexity, randomised logics, derandomisation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.218

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2011.218
https://nbn-resolving.org/urn:nbn:de:0030-drops-32333
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.218

المؤلفون: Pachter Lior, Huggins Peter, Eickmeyer Kord, Yoshida Ruriko

المصدر: Algorithms for Molecular Biology, Vol 3, Iss 1, p 5 (2008)

مصطلحات موضوعية: Biology (General), QH301-705.5, Genetics, QH426-470

Relation: http://www.almob.org/content/3/1/5; https://doaj.org/toc/1748-7188; https://doaj.org/article/499a2494a67c44e08a5ea9ae75c3bda8

الاتاحة: https://doi.org/10.1186/1748-7188-3-5
https://doaj.org/article/499a2494a67c44e08a5ea9ae75c3bda8

المؤلفون: Eickmeyer, Kord, Heuvel, Jan van den, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Micha, Quiroz, Daniel A., Rabinovich, Roman, Siebertz, Sebastian

مصطلحات موضوعية: QA Mathematics

Relation: Eickmeyer, Kord, Heuvel, Jan van den orcid:0000-0003-0897-9148 , Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Micha, Quiroz, Daniel A., Rabinovich, Roman and Siebertz, Sebastian (2020) Model-checking on ordered structures. ACM Transactions on Computational Logic, 21 (2). ISSN 1529-3785

الاتاحة: http://eprints.lse.ac.uk/103733/
https://dl.acm.org/journal/tocl

المؤلفون: Eickmeyer, Kord, Huggins, Peter, Pachter, Lior, Yoshida, Ruriko

Relation: http://www.almob.org/content/3/1/5

الاتاحة: http://www.almob.org/content/3/1/5

المؤلفون: Eickmeyer, Kord, Kawarabayashi, Ken-ichi

المصدر: Fundamentals of Computation Theory ; Lecture Notes in Computer Science ; page 204-216 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662557501 9783662557518

الاتاحة: http://dx.doi.org/10.1007/978-3-662-55751-8_17
http://link.springer.com/content/pdf/10.1007/978-3-662-55751-8_17

المؤلفون: Ossona De Mendez, Patrice, Eickmeyer, Kord, Heuvel, Jan van den, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Michał, Quiroz, Daniel, Rabinovich, Roman, Siebertz, Sebastian

المساهمون: Centre d'Analyse et de Mathématique sociales (CAMS), École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS), National Institute of Informatics (NII), Technische Universität Berlin (TU), Faculty of Mathematics, Informatics, and Mechanics [Warsaw] (MIMUW), University of Warsaw (UW), Dirección nacional del patrimonio (Chile), Subdirección de investigación, Universität Bremen

المصدر: ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (2), pp.1-28. ⟨10.1145/3360011⟩

مصطلحات موضوعية: Model checking, Successor cardinal, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, General Computer Science, Relation (database), Discrete Mathematics (cs.DM), Logic, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Computer Science - Data Structures and Algorithms, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], FOS: Mathematics, Mathematics - Combinatorics, Order (group theory), Data Structures and Algorithms (cs.DS), 0101 mathematics, ComputingMilieux_MISCELLANEOUS, Mathematics, Discrete mathematics, Structure (mathematical logic), 010102 general mathematics, 16. Peace & justice, Logic in Computer Science (cs.LO), Treewidth, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Bounded function, Line (geometry), Combinatorics (math.CO), Computer Science - Discrete Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99e8b25895b56c841676d97c3ce8f30b