انتشارات

ساخت وبلاگ

توجه: با توجه به انتشار پایگاه داده جدید Tu Wien ، لیست زیر ممکن است کمی منسوخ شود. پس از اتمام مهاجرت ، همه چیز دوباره به روز خواهد شد.

2022

  • برنامه های الگوریتمی از عرض برش درخت / گانیان ، R. ، کیم ، E. J. ، و Szeider ، S. (2022). برنامه های الگوریتمی از عرض برش درخت. مجله سیام در مورد ریاضیات گسسته ، 36 (4) ، 2635-2666. https://doi. org/10. 1137/20M137478x/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz ، آشکار
  • یافتن یک خوشه در داده های ناقص / Eiben ، E. ، Ganian ، R. ، Kanj ، I. ، Ordyniak ، S. ، & Szeider ، S. (2022). پیدا کردن یک خوشه در داده های ناقص. در سی امین سمپوزیوم سالانه اروپایی در مورد الگوریتم ها (ESA 2022) (صص 1-14). Schloss Dagstuhl-Leibniz-zentrum für informatik. https://doi. org/10. 4230/lipics. esa. 2022. 47/پروژه ها: ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz ، Slim
  • تعداد مانع و محاسبات تعداد نمودارها / Balko ، M. ، Chaplick ، S. ، Ganian ، R. ، Gupta ، S. ، Hoffmann ، M. ، Valtr ، P. ، & Wolff ، A. (2022). محدودیت و محاسبه تعداد مانع از نمودارها. در S. Chechik ، G. Navarro ، E. Rotenberg ، & G. Herman (Eds.) ، سی امین سمپوزیوم سالانه اروپایی در مورد الگوریتم ها (ESA 2022) (صص 1-13). Schloss Dagstuhl - Leibni z-zentrum für informatik. https://doi. org/10. 4230/lipics. esa. 2022. 11/پروژه: ParameterIsierTe تجزیه و تحلیل در Der Künstlichen Intelligenz
  • چهارمین سمپوزیوم بین المللی مبانی ریاضی علوم کامپیوتر (MFCS 2022) / Szeider ، S. ، Ganian ، R. ، & Silva ، A. (Eds.).(2022). چهارمین سمپوزیوم بین المللی در مورد مبانی ریاضی علوم کامپیوتر (MFCS 2022). https://doi. org/10. 4230/lipics. mfcs. 2022. 0
  • آستانه درخت و عرض Hypertree / Ganian ، R. ، Schidler ، A. ، Sorge ، M. ، & Szeider ، S. (2022). عرض درخت آستانه و عرض Hypertree. مجله تحقیقات هوش مصنوعی ، 74 ، 1687-1713. https://doi. org/10. 1613/jair. 1. 13661/پروژه ها: NFPC ، Analyze ParameterIsierte در Der Künstlichen Intelligenz ، آشکار کردن ، Slim
  • شمارش مدل وزنی با عرض دوقلو / گانیان ، R. ، Pokrývka ، F. ، Schidler ، A. ، Simonov ، K. ، & Szeider ، S. (2022). شمارش مدل وزنی با عرض دوقلو. در K. S. Meel & O. Strichman (Eds.) ، 25 مین کنفرانس بین المللی نظریه و کاربردهای آزمایش رضایت بخش (SAT 2022) (صص 1-17). Schloss Dagstuhl - Leibni z-zentrum für informatik. https://doi. org/10. 4230/lipics. sat. 2022. 15/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz ، آشکار کردن ، SLIM
  • پیچیدگی ریز دانه گرافیک پارامتر شده توسط Clique-Wide / Ganian ، R. ، Hamm ، T. ، Korchemna ، V. ، Okrasa ، K. ، & Simonov ، K. (2022). پیچیدگی ریز دانه از همرفیسم گراف پارامتر شده توسط کلیک. در 49th کنفرانس بین المللی EATCS در مورد اتومات ، زبانها و برنامه نویسی (صص 66: 1-66: 20). Schloss Dagstuhl-Leibniz-zentrum für informatik Gmbh. https://doi. org/10. 4230/lipics. icalp. 2022. 66/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • بازی های تنوع Hedonic: یک تصویر پیچیدگی با بیش از دو رنگ / گانیان ، R. ، Hamm ، T. ، Knop ، D. ، Schierreich ، Š. ، & Supued ، O. (2022). بازی های تنوع Hedonic: یک تصویر پیچیدگی با بیش از دو رنگ. در مجموعه مقالات 36 کنفرانس AAAI در مورد هوش مصنوعی (صفحات 5034-5042). مطبوعات AAAI. https://doi. org/10. 1609/aaai. v36i5. 20435/پروژه ها: NFPC ، تجزیه و تحلیل پارامتری در Der Künstlichen Intelligenz ، رویکردهای ساختاری در پایداری تحت محدودیت های تنوع
  • الگوریتم های پارامتر شده برای برنامه ریزی رو به بالا / Chaplick ، S. ، Di Giacomo ، E. ، Frati ، F. ، Ganian ، R. ، Raftopoulou ، C. ، & Simonov ، K. (2022). الگوریتم های پارامتر شده برای برنامه ریزی رو به بالا. در X. Goaoc & M. Kerber (Eds.) ، 38 ام سمپوزیوم بین المللی در هندسه محاسباتی (SOCG 2022) (صص 1-16). Schloss Dagstuhl - Leibni z-zentrum für informatik. https://doi. org/10. 4230/lipics. socg. 2022. 26/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • الگوریتم های پارامتر شده برای چیدمان صف / Bhore ، S. ، Ganian ، R. ، Montecchiani ، F. ، & Nöllenburg ، M. (2022). الگوریتم های پارامتر شده برای چیدمان صف. مجله الگوریتم ها و برنامه های نمودار ، 26 (3) ، 335-352. https://doi. org/10. 7155/jgaa. 00597/پروژه ها: Humalgo ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • مقدمه: نهمین کارگاه در کلاسهای نمودار ، بهینه سازی و پارامترهای عرض ، وین ، اتریش / گانیان ، R. ، Kratochvíl ، J. ، & Szeider ، S. (2022). پیشگفتار: نهمین کارگاه در مورد کلاس های نمودار ، بهینه سازی و پارامترهای عرض ، وین ، اتریش. در S. Szeider ، R. Ganian ، & J. Kratochwill (Eds.) ، نهمین کارگاه در کلاس های نمودار ، بهینه سازی و پارامترهای عرض (جلد 312). https://doi. org/10. 1016/j. dam. 2022. 02. 009
  • یک الگوریتم کارآمد برای شمارش DAGS معادل Markov / Ganian ، R. ، Hamm ، T. ، & Talvitie ، T. (2022). یک الگوریتم کارآمد برای شمارش DAG های معادل مارکوف. هوش مصنوعی ، 304 ، 1-13. https://doi. org/10. 1016/j. artint. 2021. 103648
  • مبلغ محصولات با مقادیر پیش فرض: الگوریتم ها و نتایج پیچیدگی / گانیان ، R. ، کیم ، E. J. ، Slivovsky ، F. ، & Szeider ، S. (2022). جمع محصولات با مقادیر پیش فرض: الگوریتم ها و نتایج پیچیدگی. مجله تحقیقات هوش مصنوعی ، 73 ، 535-552. https://doi. org/10. 1613/jair. 1. 12370/پروژه ها: NFPC ، QBF
  • در پوشش بخش هایی با فواصل واحد / Bergren ، D. ، Eiben ، E. ، Ganian ، R. ، & Kanj ، I. (2022). در پوشش بخش هایی با فواصل واحد. مجله سیام در مورد ریاضیات گسسته ، 36 (2) ، 1200-1230. https://doi. org/10. 1137/20M1336412/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • عرض برش: یک آنالوگ الگوریتمی از پهنای درخت مبتنی بر برش های لبه / برند ، C. ، Ceylan ، E. ، Ganian ، R. ، Hatschka ، C. ، & Korchemna ، V. (2022). عرض برش: یک آنالوگ الگوریتمی محور Treeidth بر اساس برش های لبه. در M. A. Bekos & M. Kaufmann (Eds.) ، مفاهیم گرافیک نظری در علوم کامپیوتر (صفحات 98-113). Nature Springer Nature Switzerland AG. https://doi. org/10. 1007/978-3-031-15914-5_8
  • پیچیدگی خوشه بندی k-means که کمی شناخته شده است / گانیان ، R. ، هام ، T. ، Korchemna ، V. ، Okrasa ، K. ، & Simonov ، K. (2022). پیچیدگی خوشه بندی k-mean در هنگام شناخته شدن کمی. در مجموعه مقالات 39 مین کنفرانس بین المللی یادگیری ماشین (صص 6960-6987). https://doi. org/10. 34726/3070/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • پیچیدگی برش نمودار بدون حسادت / Deligkas ، A. ، Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، & Ordyniak ، S. (2022). پیچیدگی برش نمودار بدون حسادت. در L. de Raedt (ویرایش) ، مجموعه مقالات سی و یکمین کنفرانس مشترک بین المللی اطلاعات مصنوعی (صص 237-243). کنفرانس های مشترک بین المللی در مورد هوش مصنوعی. https://doi. org/10. 24963/ijcai. 2022/34/پروژه ها: NFPC ، ParameterIsierte تجزیه و تحلیل در Der Künstlichen Intelligenz
  • یک چارچوب متحد برای توصیف و محاسبه اندازه های عرض / Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، Jaffke ، L. ، & Kwon ، O.-J.(2022). یک چارچوب متحد برای توصیف و محاسبه اقدامات عرض. در سیزدهمین نوآوری در کنفرانس نظری علوم کامپیوتر (ITCS 2022) (صص 1-23). Schloss Dagstuhl-Leibniz-zentrum für informatik Gmbh. https://doi. org/10. 4230/lipics. itcs. 2022. 63/پروژه: ParameterIsierte تجزیه

2021

  • در نمودارهای محکم (بیرونی) / Förster ، H. ، Ganian ، R. ، Klute ، F. ، & Nöllenburg ، M. (2021). در نمودارهای محکم (بیرونی). مجله الگوریتم ها و برنامه های نمودار ، 25 (1) ، 481-512. https://doi. org/10. 7155/jgaa. 00568
  • اندازه گیری موارد مهم: رویکرد ahybrid به برنامه نویسی پویا با Treewidth / Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، & Kwon ، O. (2021). اندازه گیری آنچه مهم است: رویکرد ahybrid به برنامه نویسی پویا با پهنای درخت. مجله علوم رایانه و سیستم ، 121 ، 57-75. https://doi. org/10. 1016/j. jcss. 2021. 04. 005
  • پارامترهای عرض جدید برای SAT و #SAT / Ganian ، R. ، & Szeider ، S. (2021). پارامترهای عرض جدید برای SAT و #SAT. هوش مصنوعی ، 295 (103460) ، 103460. https://doi. org/10. 1016/j. artint. 2021. 103460
  • چشم انداز پیچیدگی پارامترهای تجزیه کننده برای ILP: برنامه هایی با چند متغیر جهانی و محدودیت ها / Dvořák ، P. ، Eiben ، E. ، Ganian ، R. ، Knop ، D. ، & Ordyniak ، S. (2021). چشم انداز پیچیدگی پارامترهای تجزیه کننده برای ILP: برنامه هایی با چند متغیر و محدودیت جهانی. هوش مصنوعی ، 300 (103561) ، 103561. https://doi. org/10. 1016/j. artint. 2021. 103561
  • در پارامترهای ساختاری مشکل مسیرهای جداگانه Edge / Ganian ، R. ، Ordyniak ، S. ، & Ramanujan ، M. S. (2021). در پارامترهای ساختاری مشکل مسیرهای جدا شده لبه. الگوریتمیکا ، 83 (6) ، 1605-1637. https://doi. org/10. 1007/s00453-020-00795-3
  • نمودارها با دو Moplexes / Dallard ، C. ، Ganian ، R. ، Hatzel ، M. ، Kc ، M. ، & Milanič ، M. (2021). نمودارها با دو مولکس. در مجموعه مقالات الگوریتم های لاتین و آمریکایی XI ، نمودارها و سمپوزیوم بهینه سازی (صفحات 248-256). Elsevierhttps://doi. org/10. 1016/j. procs. 2021. 11. 031/پروژه: ParameterIsierte تجزیه و تحلیل در der Künstlichen Intelligenz
  • پیچیدگی انجمن شی در ردیابی شیء چندگانه / Ganian ، R. ، Hamm ، T. ، & Ordyniak ، S. (2021). پیچیدگی ارتباط شی در ردیابی شیء چندگانه. در سی و پنجمین کنفرانس AAAI در مورد هوش مصنوعی (AAAI-21) (صص 1388-1396). مطبوعات AAAI. http://hdl. handle. net/20. 500. 12708/58619
  • عبور بهینه از نقاشی های ساده / گانیان ، R. ، Hamm ، T. ، Klute ، F. ، Parada ، I. ، & Vogtenhuber ، B. (2021). عبور از پسوند بهینه از نقشه های ساده. در 48 مین Colloquium بین المللی در مورد اتوماتیک ، زبانها و برنامه نویسی (ICALP 2021) (صص 1-17). لیپیکhttps://doi. org/10. 4230/lipics. icalp. 2021. 72
  • پیچیدگی پارامتری تقسیم منصفانه تقسیم / Deligkas ، A. ، Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، & Ordyniak ، S. (2021). پیچیدگی پارامتری تقسیم عادلانه متصل. در مجموعه مقالات سی و یکمین کنفرانس مشترک بین المللی اطلاعات مصنوعی. IJCAI 2021 - سی امین کنفرانس مشترک بین المللی اطلاعات مصنوعی ، مونترال ، کانادا ، بین المللی. https://doi. org/10. 24963/ijcai. 2021/20
  • پیچیدگی پارامتری در طراحی نمودار / گانیان ، R. ، Montecchiani ، F. ، Nöllenburg ، M. ، & Zehavi ، M. (2021). پیچیدگی پارامتری در ترسیم نمودار. در سمینار در مورد پیچیدگی پارامتری در ترسیم نمودار (صفحات 82–123). گزارش های Dagstuhl. https://doi. org/10. 4230/dagrep. 11. 6. 82
  • Worbel: برچسب های نقطه جمع آوری ابرهای Intoword / Bhore ، S. ، Ganian ، R. ، Li ، G. ، Nöllenburg ، M. ، & Wulms ، J. (2021). WORBEL: برچسب های نقطه جمع آوری ابرهای Intoword. در مجموعه مقالات بیست و نهمین کنفرانس بین المللی پیشرفت در سیستم های اطلاعات جغرافیایی. کنفرانس بین المللی ACM Sigspatial در مورد پیشرفت در سیستم های اطلاعات جغرافیایی ، ایروین ، کالیفرنیا ، غیر اتحادیه اروپا. ACMhttps://doi. org/10. 1145/3474717. 3483959
  • پیچیدگی پارامتری خوشه بندی داده های ناقص / Eiben ، E. ، Ganian ، R. ، Kanj ، I. ، Ordyniak ، S. ، & Szeider ، S. (2021). پیچیدگی پارامتری داده های ناقص خوشه بندی. در سی و پنجمین کنفرانس AAAI در مورد هوش مصنوعی (صص 7296-7304). مطبوعات AAAI. http://hdl. handle. net/20. 500. 12708/58587
  • چشم انداز پیچیدگی برنامه ریزی محدود شده منابع / گانیان ، R. ، هام ، T. ، و Mescoff ، G. (2021). چشم انداز پیچیدگی برنامه ریزی محدود شده از منابع. در مجموعه مقالات بیست و نهمین کنفرانس مشترک بین المللی اطلاعات مصنوعی. IJCAI 2020 ، یوکوهاما ، غیر اتحادیه اروپا. https://doi. org/10. 24963/ijcai. 2020/241
  • آستانه درخت و عرض Hypertree / Ganian ، R. ، Schidler ، A. ، Sorge ، M. ، & Szeider ، S. (2021). عرض درخت آستانه و عرض Hypertree. در مجموعه مقالات بیست و نهمین کنفرانس مشترک بین المللی اطلاعات مصنوعی. IJCAI - کنفرانس مشترک بین المللی اطلاعات مصنوعی ، استکهلم ، اتحادیه اروپا. https://doi. org/10. 24963/ijcai. 2020/263
  • مطابقت پایدار با محدودیت های تنوع: اقدام مثبت فراتر از NP / Chen ، J. ، Ganian ، R. ، & Hamm ، T. (2021). مطابقت پایدار با محدودیت های تنوع: اقدام مثبت فراتر از NP است. در مجموعه مقالات بیست و نهمین کنفرانس مشترک بین المللی اطلاعات مصنوعی (صص 1-7). http://hdl. handle. net/20. 500. 12708/55573

2020

  • الگوریتم های پارامتر شده برای مشکلات تعبیه شده کتاب / Bhore ، S. ، Ganian ، R. ، Montecchiani ، F. ، & Nöllenburg ، M. (2020). الگوریتم های پارامتر شده برای مشکلات تعبیه کتاب. مجله الگوریتم ها و برنامه های نمودار ، 24 (4) ، 603-620. https://doi. org/10. 7155/jgaa. 00526
  • با استفاده از decomposition- parametersforqbf: mindtheprefix!/ Eiben ، E. ، Ganian ، R. ، & Ordyniak ، S. (2020). با استفاده از decomposition- parametersforqbf: mindtheprefix! مجله علوم رایانه و سیستم ، 110 ، 1-21. https://doi. org/10. 1016/j. jcss. 2019. 12. 005
  • در پارامترهای ساختاری مشکل حذف vertex degree محدود / Ganian ، R. ، Klute ، F. ، & Ordyniak ، S. (2020). در پارامترهای ساختاری مشکل حذف ورتکس محدود شده. الگوریتمیکا ، 83 (1) ، 297-336. https://doi. org/10. 1007/s00453-020-00758-8
  • قدرت پارامترهای مبتنی بر برش برای محاسبات Edge - Disjoint Paths / Ganian ، R. ، & Ordyniak ، S. (2020). قدرت پارامترهای مبتنی بر برش برای محاسبه مسیرهای لبه disjoint. الگوریتمیکا ، 83 (2) ، 726-752. https://doi. org/10. 1007/s00453-020-00772-
  • به سمت یک هسته چند جمله ای برای بازخورد کارگردانی Vertexset / Bergougnoux ، B. ، Eiben ، E. ، Ganian ، R. ، Ordyniak ، S. ، & Ramanujan ، M. S. (2020). به سمت یک هسته چند جمله ای برای راس بازخورد هدایت شده. الگوریتمیکا ، 83 (5) ، 1201-1221. https://doi. org/10. 1007/s00453-020-00777-5
  • در مورد MSO وجودی و ارتباط آن با ETH / Ganian ، R. ، Haan ، R. De ، Kanj ، I. ، & Szeider ، S. (2020). در مورد MSO وجودی و ارتباط آن با ETH. معاملات ACM در تئوری محاسبه ، 12 (4) ، 1-32. https://doi. org/10. 1145/3417759
  • پارامتری ثابت از وابستگی QBF با پارامترهای ساختاری / گانیان ، R. ، Peitl ، T. ، Slivovsky ، F. ، & Szeider ، S. (2020). پارامتری ثابت قابلیت وابستگی QBF با پارامترهای ساختاری. در مجموعه مقالات هفدهمین کنفرانس بین المللی در مورد اصول بازنمایی دانش و استدلال. هفدهمین کنفرانس بین المللی اصول نمایندگی و استدلال دانش ، KR 2020 ، رودز ، یونان ، غیر اتحادیه اروپا. https://doi. org/10. 24963/kr. 2020/40
  • پیشگفتار: هشتمین کارگاه در مورد کلاس های نمودار ، بهینه سازی و پارامترهای عرض ، تورنتو ، انتاریو ، کانادا / کورنیل ، D. G. ، گانیان ، R. ، و Proskurowski ، A. (2020). پیشگفتار: هشتمین کارگاه در کلاسهای نمودار ، بهینه سازی و پارامترهای عرض ، تورنتو ، انتاریو ، کانادا. در ریاضیات کاربردی گسسته (صفحات 1-2). ناشران علوم Elsevier. https://doi. org/10. 1016/j. dam. 2020. 04. 001
  • در مورد پوشش بخش هایی با فواصل واحد / Bergren ، D. ، Eiben ، E. ، Ganian ، R. ، & Kanj ، I. (2020). در پوشش بخش هایی با فواصل واحد. در 37 سمپوزیوم بین المللی در مورد جنبه های نظری علوم کامپیوتر (STACS 2020) (ص 17). لیپیکhttps://doi. org/10. 4230/lipics. stacs. 2020. 13
  • یک الگوریتم کارآمد برای شمارش DAGS معادل Markov / Ganian ، R. ، Hamm ، T. ، & Talvitie ، T. (2020). یک الگوریتم کارآمد برای شمارش DAG های معادل مارکوف. در مجموعه مقالات کنفرانس AAAI در مورد هوش مصنوعی (صص 10136-10143). مطبوعات AAAI. https://doi. org/10. 1609/aaai. v34i06. 6573
  • پیچیدگی پارامتری تخصیص منابع بدون حسادت در شبکه های اجتماعی / Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، & Ordyniak ، S. (2020). پیچیدگی پارامتری تخصیص منابع بدون حسادت در شبکه های اجتماعی. در مجموعه مقالات کنفرانس AAAI در مورد هوش مصنوعی (صص 7135-7142). مطبوعات AAAI. https://doi. org/10. 1609/aaai. v34i05. 6201
  • گسترش نقشه های تقریباً کامل 1 مسطح در زمان چند جمله ای / Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، Klute ، F. ، & Nöllenburg ، M. (2020). گسترش نقشه های تقریباً کامل 1 مسطح در زمان چند جمله ای. در 45 سمپوزیوم بین المللی در مورد مبانی ریاضی علوم کامپیوتر (صفحات 1-16). لیپیکhttps://doi. org/10. 4230/lipics. mfcs. 2020. 31
  • در پیچیدگی پارامتری داده های ناقص خوشه بندی به زیر مجموعه های رتبه کوچک / گانیان ، R. ، Kanj ، I. ، Ordyniak ، S. ، & Szeider ، S. (2020). در پیچیدگی پارامتری داده های ناقص خوشه بندی به زیر مجموعه های رتبه کوچک. در مجموعه مقالات کنفرانس AAAI در مورد هوش مصنوعی (صص 3906-3913). مطبوعات AAAI. https://doi. org/10. 1609/aaai. v34i04. 5804
  • گسترش نقاشی های جزئی 1 پلاناری / Eiben ، E. ، Ganian ، R. ، Hamm ، T. ، Klute ، F. ، & Nöllenburg ، M. (2020). گسترش نقشه های جزئی 1 پلانار. در 47 مین Colloquium بین المللی در مورد اتوماتیک ، زبانها و برنامه نویسی (صفحات 1-19). مجموعه مقالات بین المللی Leibniz در انفورماتیک. https://doi. org/10. 4230/lipics. icalp. 2020. 0

2019

  • پیچیدگی پارامتر شده از به حداقل رساندن مرزهای ناهمزمان / گانیان ، R. ، Kronegger ، M. ، Pfandler ، A. ، & Popa ، A. (2019). پیچیدگی پارامتری به حداقل رساندن مرز ناهمزمان. Algorithmica ، 81 (1) ، 201–223. https://doi. org/10. 1007/s00453-018-0442-5/پروژه ها: نمایشگاه ، شروع ، X-Tract
  • نتایج پیچیدگی پارامتری برای تکمیل و خوشه بندی داده های ناقص / Szeider ، S. ، Ganian ، R. ، Kanj ، I. ، & Ordyniak ، S. (2019). نتایج پیچیدگی پارامتری برای تکمیل و خوشه بندی داده های ناقص. کارگاه Kocoon ، Arras ، Frankreich ، EU. http://hdl. handle. net/20. 500. 12708/86961
  • در نمودارهای مخلوط سخت (بیرونی) / Förster ، H. ، Ganian ، R. ، Klute ، F. ، & Nöllenburg ، M. (2019). در نمودارهای محکم (بیرونی). در یادداشت های سخنرانی در علوم کامپیوتر (صص 147-161). LNCShttps://doi. org/10. 1007/978-3-030-35802-0_12
  • الگوریتم های پارامتر شده برای مشکلات تعبیه شده کتاب / Bhore ، S. ، Ganian ، R. ، Montecchiani ، F. ، & Nöllenburg ، M. (2019). الگوریتم های پارامتر شده برای مشکلات تعبیه کتاب. در یادداشت های سخنرانی در علوم کامپیوتر (صفحات 365-378). LNCShttps://doi. org/10. 1007/978-3-030-35802-0_28
  • SAT-ENCODINGS برای عرض TREECT و TREEDEPTH / GANIAN ، R. ، LODHA ، N. ، ORDYNIAK ، S. ، & SZEIDER ، S. (2019). رمزگذاری های SAT برای عرض TREECT و TREEDEPTH. در S. G. Kobourov & H. Meyerhenke (Eds.) ، مجموعه مقالات بیست و یکم کارگاه مهندسی الگوریتم و آزمایشات (ALENEX). سیامhttps://doi. org/10. 1137/1. 9781611975499

2018

  • یک الگوریتم پارامتری ثابت یکپارچه برای حذف راس از راه دور / Eiben ، E. ، Ganian ، R. ، & Kwon ، O. (2018). یک الگوریتم پارامتر ثابت تک درجه برای حذف راس از راه دور. مجله علوم رایانه و سیستم ، 97 ، 121-146. https://doi. org/10. 1016/j. jcss. 2018. 05. 005
  • در مورد پیچیدگی مشکلات رنگ آمیزی رنگین کمان / Eiben ، E. ، Ganian ، R. ، & Lauri ، J. (2018). در مورد پیچیدگی مشکلات رنگ آمیزی رنگین کمان. ریاضیات کاربردی گسسته ، 246 ، 38-48. https://doi. org/10. 1016/j. dam. 2016. 10. 021
  • چشم انداز پیچیدگی پارامترهای تخلیه برای ILP / Ganian ، R. ، & Ordyniak ، S. (2018). چشم انداز پیچیدگی پارامترهای تجزیه کننده برای ILP. هوش مصنوعی ، 257 ، 61-71. https://doi. org/10. 1016/j. artint. 2017. 12. 006
  • متا هسته سازی با استفاده از تعدیل کننده های خوب ساختار یافته / Eiben ، E. ، Ganian ، R. ، & Szeider ، S. (2018). متا هسته سازی با استفاده از تعدیل کننده های خوب ساختار یافته. ریاضیات کاربردی گسسته ، 248 ، 153-167. https://doi. org/10. 1016/j. dam. 2017. 09. 018
  • در پارامترهای ساختاری مشکل حذف ورتکس درجه محدود / گانیان ، R. ، Klute ، F. ، & Ordyniak ، S. (2018). در پارامترهای ساختاری مشکل حذف راس درجه محدود. در مجموعه مقالات سمپوزیوم 35 در مورد جنبه های نظری علوم کامپیوتر (صفحات 1-14). 35 سمپوزیوم در مورد جنبه های نظری علوم کامپیوتر. http://hdl. handle. net/20. 500. 12708/57666
  • اثبات وضوح كوچك برای QBF با استفاده از وابستگی Treewidth / Eiben ، E. ، Ganian ، R. ، & Ordyniak ، S. (2018). اثبات وضوح كوچك برای QBF با استفاده از Tree WideTh. در مجموعه مقالات 35 سمپوزیوم در مورد جنبه های نظری علوم کامپیوتر ، STACS 2018 ، 28 فوریه تا 3 مارس 2018 ، Caen ، فرانسه (صص 1-14). 35 سمپوزیوم در مورد جنبه های نظری علوم کامپیوتر. http://hdl. handle. net/20. 500. 12708/57665
  • برنامه نویسی خطی عدد صحیح Unary با محدودیت های ساختاری / Eiben ، E. ، Ganian ، R. ، & Knop ، D. (2018). برنامه نویسی خطی عدد صحیح Unary با محدودیت های ساختاری. در مجموعه مقالات بیست و هفتمین کنفرانس مشترک بین المللی اطلاعات مصنوعی (صص 1284–1290). کنفرانس های مشترک بین المللی در مورد هوش مصنوعی. http://hdl. handle. net/20. 500. 12708/57664
  • یک رویکرد ساختاری برای انتخاب فعالیت / Eiben ، E. ، Ganian ، R. ، & Ordyniak ، S. (2018). یک رویکرد ساختاری برای انتخاب فعالیت. در مجموعه مقالات بیست و هفتمین کنفرانس مشترک بین المللی اطلاعات مصنوعی (صص 203-209). کنفرانس های مشترک بین المللی در مورد هوش مصنوعی. http://hdl. handle. net/20. 500. 12708/57663
  • الگوریتم های پارامتر شده برای مشکل تکمیل ماتریس / Ganian ، R. ، Kanj ، I. ، Ordyniak ، S. ، & Szeider ، S. (2018). الگوریتم های پارامتر شده برای مشکل تکمیل ماتریس. در ادامه ICML (صص 1642-1651). مجله تحقیقات یادگیری ماشین. http://hdl. handle. net/20. 500. 12708/57440

2017

  • کشف مجمع الجزایر از قابلیت تراکت برای رضایت محدودیت و شمارش / گانیان ، R. ، Ramanujan ، M. S. ، & Szeider ، S. (2017). کشف مجمع الجزایر از قابلیت تراکت برای رضایت و شمارش محدودیت. معاملات ACM در الگوریتم ها ، 13 (2) ، 1-32. https://doi. org/10. 1145/3014587
  • حل مشکلات در نمودارهای دارای رتبه بالا / Eiben ، E. ، Ganian ، R. ، & Szeider ، S. (2017). حل مشکلات در نمودارهای عرض درجه بالا. الگوریتمیکا ، 80 (2) ، 742-771. https://doi. org/10. 1007/s00453-017-0290-8
  • به سمت یک هسته چند جمله ای برای مجموعه بازخورد کارگردانی مجموعه راس / Bergnougnoux ، B. ، Eiben ، E. ، Ganian ، R. ، Ordyniak ، S. ، & Ramanujan ، M. S. (2017). به سمت یک هسته چند جمله ای برای مجموعه بازخورد هدایت شده. در مجموعه مقالات 42 مین سمپوزیوم بین المللی در مورد مبانی ریاضی علوم کامپیوتر (صص 1-15). مجموعه مقالات 42 مین سمپوزیوم بین المللی در مورد مبانی ریاضی علوم کامپیوتر. http://hdl. handle. net/20. 500. 12708/57302
  • پارامترهای عرض جدید برای شمارش مدل / Ganian ، R. ، & Szeider ، S. (2017). پارامترهای عرض جدید برای شمارش مدل. در تئوری و کاربردهای آزمایش رضایت بخش - SAT 2017 (صفحات 38-52). کنفرانس بین المللی نظریه و کاربردهای آزمایش رضایت بخش. https://doi. org/10. 1007/978-3-319-66263-3_3
  • فراتر از پهنای باند اولیه برای (M) ILP / Ganian ، R. ، Ordyniak ، S. ، & Ramanujan ، M. S. (2017). فراتر از پهنای درخت اولیه برای (M) ILP. در مجموعه مقالات سی و یکمین کنفرانس AAAI در مورد هوش مصنوعی (صص 815-821). http://hdl. handle. net/20. 500. 12708/57013
  • پهنای باند پشتی برای Sat / Ganian ، R. ، Ramanujan ، M. S. ، & Szeider ، S. (2017). پهنای درخت پشتی برای SAT. در تئوری و کاربردهای آزمایش رضایت بخش - SAT 2017 (صفحات 20-37). Springer-Verlag. https://doi. org/10. 1007/978-3-319-66263-3_2
  • ترکیب TreeWidth و Backdoors برای CSP / Ganian ، R. ، Ramanujan ، M. S. ، & Szeider ، S. (2017). ترکیب پهنای درخت و پشتی برای CSP. در سمپوزیوم 34 در مورد جنبه های نظری علوم کامپیوتر (صفحات 429-445). Schloss Dagstuhl - Leibni z-zentrum fuer informatik ، آلمان. https://doi. org/10. 4230/lipics. stacs. 2017. 36

2016

  • متا کیرلیزاسیون با پارامترهای ساختاری / گانیان ، R. ، Slivovsky ، F. ، & Szeider ، S. (2016). متا هسته سازی با پارامترهای ساختاری. مجله علوم رایانه و سیستم ، 82 (2) ، 333-346. https://doi. org/10. 1016/j. jcss. 2015. 08. 003
  • نمایش داده های ملتحمه کمی در مجموعه های جزئی سفارش داده شده / Bova ، S. ، Ganian ، R. ، & Szeider ، S. (2016). نمایش داده های ملتحمه کمی در مجموعه های جزئی سفارش داده شده. علوم کامپیوتر نظری ، 618 ، 72-84. https://doi. org/10. 1016/j. tcs. 2016. 01. 010
  • کشف مجمع الجزایر از قابلیت تراکت برای رضایت محدودیت و شمارش / گانیان ، R. ، Ramanujan ، M. S. ، و Szeider ، S. (2016). کشف مجمع الجزایر از قابلیت تراکت برای رضایت و شمارش محدودیت. در R. Krauthgamer (ویرایش) ، مجموعه مقالات بیست و هفتمین سمپوزیوم ACM-SIAM سالانه الگوریتم های گسسته (صص 1670-1681). انجمن ریاضیات صنعتی و کاربردی. https://doi. org/10. 1137/1. 978161197431. ch114
  • ساخت چند جمله ای از درختان داده شده بهینه MPI / Ganian ، R. ، Kalany ، M. ، Szeider ، S. ، & Träff ، J. L. (2016). ساخت و ساز زمان چند جمله ای درختان داده شده بهینه MPI. در سال 2016 سمپوزیوم پردازش موازی و توزیع بین المللی IEEE (IPDPS). IEEE سی امین سمپوزیوم پردازش موازی و توزیع شده بین المللی (IPDPS 2016) ، شیکاگو ، ایلینویز ، ایالات متحده ، غیر EU. انجمن رایانه IEEE. https://doi. org/10. 1109/ipdps. 2016. 13/پروژه: Epigram
  • یک الگوریتم پارامتری ثابت یکپارچه برای حذف راس از راه دور / Eiben ، E. ، Ganian ، R. ، & Kwon ، O.-J.(2016). یک الگوریتم پارامتر ثابت تک درجه برای حذف راس از راه دور. در مجموعه مقالات 41 مین سمپوزیوم بین المللی در مبانی ریاضی علوم کامپیوتر (صص 1-14). http://hdl. handle. net/20. 500. 12708/56801
  • شمارش پارامترهای پسوندهای خطی توسط TreeWidth / Eiben ، E. ، Ganian ، R. ، Kangas ، K. ، & Ordyniak ، S. (2016). شمارش پارامترهای پسوندهای خطی توسط TreeWidth. در مجموعه مقالات بیست و چهارمین سمپوزیوم سالانه اروپا در مورد الگوریتم ها (صفحات 1-18). http://hdl. handle. net/20. 500. 12708/56800
  • در منظره پیچیدگی مشکلات F-Factor متصل* / Ganian ، R. ، Narayanaswamy ، N. S. ، Ordyniak ، S. ، Rahul ، C. S. ، & Ramanujan ، M. S. (2016). در منظره پیچیدگی مشکلات F-Factor متصل*. در مجموعه مقالات 41 مین سمپوزیوم بین المللی در مبانی ریاضی علوم کامپیوتر (صص 1-14). http://hdl. handle. net/20. 500. 12708/56689
  • با استفاده از پارامترهای تجزیه برای QBF: پیشوند را در نظر بگیرید!/ Eiben ، E. ، Ganian ، R. ، & Ordyniak ، S. (2016). با استفاده از پارامترهای تجزیه برای QBF: پیشوند را در نظر بگیرید! در مجموعه مقالات کنفرانس سیزده AAAI در مورد هوش مصنوعی (صص 964-970). http://hdl. handle. net/20. 500. 12708/56686
  • چشم انداز پیچیدگی پارامترهای تجزیه برای ILP / گانیان، R.، و Ordyniak، S. (2016). چشم انداز پیچیدگی پارامترهای تجزیه برای ILP. در مجموعه مقالات سی امین کنفرانس AAAI در مورد هوش مصنوعی (صص 710-716). http://hdl. handle. net/20. 500. 12708/56685
  • در مورد MSO وجودی و رابطه آن با ETH / گانیان، R.، de Haan، R.، Kanj، I.، و Szeider، S. (2016). در مورد MSO وجودی و ارتباط آن با ETH. در مجموعه مقالات چهل و یکمین سمپوزیوم بین المللی مبانی ریاضی علوم کامپیوتر (ص 1-14). http://hdl. handle. net/20. 500. 12708/56669
  • درهای پشتی به CSP با ارزش قابل حمل / Ganian, R., Ramanujan, M. S., & Szeider, S. (2016). درهای پشتی برای Tractable Valued CSP. In Principles and Practice of Constraint Programming (مجموعه مقالات 22nd CP) (ص 233-250). LNCS. http://hdl. handle. net/20. 500. 12708/56665

2015

  • بررسی مدل FO نمودارهای بازه ای / گانیان، R.، Hlineny، P.، Kral، D.، Obdrzalek، J.، Schwartz، J.، و Teska، J. (2015). مدل FO بررسی نمودارهای فاصله. روشهای منطقی در علوم کامپیوتر , 11 (4). https://doi. org/10. 2168/lmcs-11(4:11)2015
  • مدل بررسی منطق وجودی در مجموعه های جزئی مرتب شده / Bova, S., Ganian, R., & Szeider, S. (2015). مدل بررسی منطق وجودی در مجموعه های جزئی مرتب شده. معاملات ACM در منطق محاسباتی، 17 (2)، 1-35. https://doi. org/10. 1145/2814937
  • بهبود پوشش راس به عنوان پارامتر نمودار / گانیان، R. (2015). بهبود پوشش Vertex به عنوان پارامتر نمودار. ریاضیات گسسته و علوم کامپیوتر نظری، 17/2، 77-100. http://hdl. handle. net/20. 500. 12708/151557
  • تعدیل کننده های خوش ساختار: الگوریتم ها و هسته های FPT / گانیان، R. (2015). تعدیل کننده های خوش ساختار: الگوریتم ها و هسته های FPT. کارگاه کلاس های نمودار، بهینه سازی و پارامترهای عرض (GROW)، جزیره سانتورینی، یونان، اتحادیه اروپا. http://hdl. handle. net/20. 500. 12708/86165
  • کاربردهای الگوریتمی مدولاتورهای بزرگ با ساختار خوب / گانیان، ر. (2015). کاربردهای الگوریتمی مدولاتورهای بزرگ با ساختار خوب. نشست نظریه مدل الگوریتمی 2015 - ALMOTH 2015، Bayreuth، Deutschland، اتحادیه اروپا. http://hdl. handle. net/20. 500. 12708/86163
  • کشف مجمع الجزایر قابل حمل برای رضایت و شمارش محدودیت / گانیان، ر. (2015). کشف مجمع الجزایر قابل حمل برای رضایت و شمارش محدودیت. روندهای معاصر در علوم کامپیوتر نظری 2015، پراگ، تشچین، اتحادیه اروپا. http://hdl. handle. net/20. 500. 12708/86164
  • حل مشکلات در نمودارهای دارای رتبه بالا / Eiben ، E. ، Ganian ، R. ، & Szeider ، S. (2015). حل مشکلات در نمودارهای عرض درجه بالا. در مجموعه مقالات چهاردهمین سمپوزیوم بین المللی در مورد الگوریتم ها و ساختار داده ها (صفحات 314-326). LNCShttp://hdl. handle. net/20. 500. 12708/56453
  • ساختار جامعه الگوریتم های الهام گرفته از SAT و #SAT / Ganian ، R. ، & Szeider ، S. (2015). ساختار جامعه الگوریتم های الهام بخش برای SAT و #SAT. در مجموعه مقالات هجدهمین کنفرانس بین المللی نظریه و کاربردهای آزمایش رضایت بخش (صفحات 223-238). LNCS / Springer. http://hdl. handle. net/20. 500. 12708/56452
  • برنامه های الگوریتمی از عرض برش درخت / گانیان ، R. ، کیم ، E. J. ، و Szeider ، S. (2015). برنامه های الگوریتمی از عرض برش درخت. در مجموعه مقالات چهلمین بنیادهای ریاضی بین المللی علوم کامپیوتر 2015 (صص 348-361). http://hdl. handle. net/20. 500. 12708/56451
  • متا هسته سازی با استفاده از تعدیل کننده های خوب ساختار یافته / Eiben ، E. ، Ganian ، R. ، & Szeider ، S. (2015). متا هسته سازی با استفاده از تعدیل کننده های خوب ساختار یافته. در T. Husfeldt & I. Kanj (Eds.) ، دهمین سمپوزیوم بین المللی در مورد محاسبات پارامتری و دقیق (IPEC 2015) (صص 114–126). لیپیکhttps://doi. org/10. 4230/lipics. ipec. 2015. 114
  • پیچیدگی پارامتر شده از به حداقل رساندن مرزهای ناهمزمان / گانیان ، R. ، Kronegger ، M. ، Pfandler ، A. ، & Popa ، A. (2015). پیچیدگی پارامتری به حداقل رساندن مرز ناهمزمان. در R. Jain ، S. Jain ، & F. Stephan (Eds.) ، یادداشت های سخنرانی در علوم کامپیوتر (صفحات 428-440). اسپرینگرhttps://doi. org/10. 1007/978-3-319-17142-5_36/پروژه: نمایشگاه

2014

  • اندازه گیری عرض Digraph در الگوریتم های پارامتری / گانیان ، R. ، Hliněný ، P. ، Kneis ، J. ، Langer ، A. ، Obdržálek ، J. ، & Rossmanith ، P. (2014). اندازه گیری عرض Digraph در الگوریتم های پارامتری. ریاضیات کاربردی گسسته ، 168 ، 88-107. https://doi. org/10. 1016/j. dam. 2013. 10. 038/پروژه ها: دلیل پیچیده ، x-tract
  • مرزهای پایین در پیچیدگی مدل MSO1 بررسی / گانیان ، R. ، Hliněný ، P. ، Langer ، A. ، Obdržálek ، J. ، Rossmanith ، P. ، & Sikdar ، S. (2014). مرزهای پایین تر در پیچیدگی بررسی مدل MSO1. مجله علوم رایانه و سیستم ، 80 (1) ، 180-194. https://doi. org/10. 1016/j. jcss. 2013. 07. 005/پروژه ها: دلیل پیچیده ، x-tract
  • نمایش داده های ملتحمه کمی در مجموعه های جزئی سفارش داده شده / Bova ، S. ، Ganian ، R. ، & Szeider ، S. (2014). نمایش داده های ملتحمه کمی در مجموعه های جزئی سفارش داده شده. در IPEC 2014 (صص 122-134). LNCS / Springer. http://hdl. handle. net/20. 500. 12708/55812/پروژه ها: تالیف ، دلیل پیچیده ، x-tract
  • مدل بررسی منطق وجودی در مجموعه های جزئی سفارش داده شده / Bova ، S. ، Ganian ، R. ، & Szeider ، S. (2014). مدل بررسی منطق وجودی در مجموعه های جزئی سفارش داده شده. در CSL-LICS 2014. جلسه مشترک کنفرانس سالانه بیست و سوم EACSL در مورد منطق علوم کامپیوتر (CSL) و بیست و نهمین سمپوزیوم سالانه ACM/IEEE در منطق در علوم کامپیوتر (LICS) ، وین ، اتریش. ACM نیویورک ، نیویورک ، ایالات متحده. http://hdl. handle. net/20. 500. 12708/55811/پروژه ها: تدوین ، دلیل پیچیده ، x-tract

2013

  • متا کیرلیزاسیون با پارامترهای ساختاری / گانیان ، R. (2013). متا هسته سازی با پارامترهای ساختاری. روندهای معاصر در علوم نظری رایانه (STTI 2013) ، پراگ ، جمهوری چک ، اتحادیه اروپا. http://hdl. handle. net/20. 500. 12708/85671/پروژه: دلیل پیچیده
  • متا کیرلیزاسیون با پارامترهای ساختاری / گانیان ، R. (2013). متا هسته سازی با پارامترهای ساختاری. کارگاه کلاسهای نمودار ، بهینه سازی و پارامترهای عرض (رشد) ، جزیره سانتورینی ، یونان ، اتحادیه اروپا. http://hdl. handle. net/20. 500. 12708/85670/پروژه: دلیل پیچیده
  • گسترش قدرت بیانگر منطق مرتبه دوم Monadic در کلاس های نمودار محدود / گانیان ، R. ، و Obdrálek ، J. (2013). گسترش قدرت بیانگر منطق مرتبه دوم Monadic در کلاس های نمودار محدود. در T. LeCroq & L. Mouchard (Eds.) ، الگوریتم های ترکیبی - 24 کارگاه بین المللی (صص 164-177). Springer / LNCS. http://hdl. handle. net/20. 500. 12708/54878/پروژه: دلیل پیچیده
  • بررسی مدل FO نمودارهای فاصله / گانیان ، R. ، Hlinený ، P. ، Král ، D. ، Obdrálek ، J. ، Schwartz ، J. ، & Teska ، J. (2013). بررسی مدل FO از نمودارهای بازه. در اتوماتیک ، زبانها و برنامه نویسی - چهلمین محاوره بین المللی (صفحات 250-262). Springer / LNCS. http://hdl. handle. net/20. 500. 12708/54877/پروژه: دلیل پیچیده
  • متا کیرلیزاسیون با پارامترهای ساختاری / گانیان ، R. ، Slivovsky ، F. ، & Szeider ، S. (2013). متا هسته سازی با پارامترهای ساختاری. در K. Chatterjee & J. Sgall (Eds.) ، مبانی ریاضی علوم کامپیوتر 2013 (صص 457-468). Springer / LNCS. https://doi. org/10. 1007/978-3-642-40313-2_41/پروژه: دلیل پیچیده

نظارت

توجه: با توجه به انتشار پایگاه داده جدید Tu Wien ، لیست زیر ممکن است کمی منسوخ شود. پس از اتمام مهاجرت ، همه چیز دوباره به روز خواهد شد.

  • پیشرفت های الگوریتمی از طریق تجزیه گراف / هام ، T. (2022). پیشرفت های الگوریتمی از طریق تجزیه گراف [پایان نامه ، دانشگاه فنی وین]. repositumhttps://doi. org/10. 34726/hss. 2022. 108300
  • الگوریتم های پارامتر شده برای یادگیری شبکه بیزی / Korchemna ، V. (2021). الگوریتم های پارامتر شده برای یادگیری شبکه بیزی [پایان نامه دیپلم ، دانشگاه فنی وین]. repositumhttps://doi. org/10. 34726/hss. 2021. 90847
  • پارامترهای ساختاری نمونه های ILP و MILP از Praxis / Dittmer ، V. (2018). پارامترهای ساختاری نمونه های ILP و MILP از تمرین [پایان نامه دیپلم ، دانشگاه فنی وین]. repositumhttps://doi. org/10. 34726/hss. 2018. 52362

انفورماتیک تو وین

  • خانه
  • مخاطب
  • نشان دادن
  • حریم خصوصی
  • وابسته به لینکدین
  • گروه فارغ التحصیلان
  • فیس بوک
  • #FUNZUNFUNFTSICHERN < SPAN> درجه: به دلیل انتشار بانک اطلاعات جدید انتشار Tu Vienna ، لیست زیر ممکن است کمی منسوخ شود. پس از اتمام مهاجرت ، همه چیز دوباره به روز خواهد شد.
مدرسه ی فارکس...
ما را در سایت مدرسه ی فارکس دنبال می کنید

برچسب : نویسنده : ارسلان فرهادی بازدید : 35 تاريخ : چهارشنبه 15 شهريور 1402 ساعت: 12:55