default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kesamsta/kesamsta2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/kesamsta/AkhmetsharipovK17,
author = {Ruslan Akhmetsharipov and
Murad Khafizov and
Alexey Lushnikov and
Shamil Zigantdinov},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {The Soft Tissue Implementation with Triangulated Mesh for Virtual
Surgery System},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {163--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_16},
doi = {10.1007/978-3-319-59394-4\_16},
timestamp = {Thu, 17 Sep 2020 17:55:39 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/AkhmetsharipovK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/AljehaniI17,
author = {Maher Aljehani and
Masahiro Inoue},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Communication and Autonomous Control of Multi-UAV System in Disaster
Response Tasks},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {123--132},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_12},
doi = {10.1007/978-3-319-59394-4\_12},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/AljehaniI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/BasegioB17,
author = {T{\'{u}}lio L. Bas{\'{e}}gio and
Rafael H. Bordini},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {99--109},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_10},
doi = {10.1007/978-3-319-59394-4\_10},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/BasegioB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/Consoli17,
author = {Angela Consoli},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Enhancing Tactical Information Assessment Using an Agent-Based Cognitive
Architecture},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {32--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_4},
doi = {10.1007/978-3-319-59394-4\_4},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/Consoli17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/CristaniR17,
author = {Matteo Cristani and
Antonino Rotolo},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Meaning Negotiation with Defeasible Logic},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {67--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_7},
doi = {10.1007/978-3-319-59394-4\_7},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/CristaniR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/DisekSK17,
author = {Miroslav Disek and
Roman Sperka and
Jan Koles{\'{a}}r},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Conversion of Real Data from Production Process of Automotive Company
for Process Mining Analysis},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {223--233},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_22},
doi = {10.1007/978-3-319-59394-4\_22},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/DisekSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/DrezewskiK17,
author = {Rafal Drezewski and
Maciej Kleczar},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Artificial Intelligence Techniques for the Puerto Rico Strategy Game},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {77--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_8},
doi = {10.1007/978-3-319-59394-4\_8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/DrezewskiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/GhlalaAS17,
author = {Riadh Ghlala and
Zahra Kodia Aouina and
Lamjed Ben Said},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Multi-Agent {BPMN} Decision Footprint},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {234--244},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_23},
doi = {10.1007/978-3-319-59394-4\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/GhlalaAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/IvanovicN17,
author = {Mirjana Ivanovic and
Srdan Ninkovic},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Personalized HealthCare and Agent Technologies},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {3--11},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_1},
doi = {10.1007/978-3-319-59394-4\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/IvanovicN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/KrivicSKJ17,
author = {Petar Krivic and
Pavle Skocir and
Mario Kusek and
Gordan Jezic},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Microservices as Agents in IoT Systems},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {22--31},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_3},
doi = {10.1007/978-3-319-59394-4\_3},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/KrivicSKJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MagidS17,
author = {Evgeni Magid and
Artur Sagitov},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Towards Robot Fall Detection and Management for Russian Humanoid {AR-601}},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {200--209},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_20},
doi = {10.1007/978-3-319-59394-4\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/MagidS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MarochkoJM17,
author = {Vladimir Marochko and
Leonard Johard and
Manuel Mazzara},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Pseudorehearsal in Value Function Approximation},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {178--189},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_18},
doi = {10.1007/978-3-319-59394-4\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/MarochkoJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/Mielcova17,
author = {Elena Mielcov{\'{a}}},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Application of I-Fuzzy Approach to Prediction of Blockability Values
in Real-World Data},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {143--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_14},
doi = {10.1007/978-3-319-59394-4\_14},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/Mielcova17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/PavlovskayaGD17,
author = {Margarita Pavlovskaya and
Ruslan Gaisin and
Rustem Dautov},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Finding Correlations Between Driver Stress and Traffic Accidents:
An Experimental Study},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {190--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_19},
doi = {10.1007/978-3-319-59394-4\_19},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/PavlovskayaGD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/PerzinaR17,
author = {Radom{\'{\i}}r Perzina and
Jaroslav Ram{\'{\i}}k},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Generalized Dynamic Model of Rating Alternatives by Agents with Interactions},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {153--162},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_15},
doi = {10.1007/978-3-319-59394-4\_15},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/PerzinaR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/SametKG17,
author = {Donies Samet and
Farah Barika Ktata and
Khaled Gh{\'{e}}dira},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Security and Trust on Mobile Agent Platforms: {A} Survey},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {42--52},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_5},
doi = {10.1007/978-3-319-59394-4\_5},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/SametKG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/SperkaM17,
author = {Roman Sperka and
Dominik Musil},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Decision Function Implementation in {MAREA} Simulations Influencing
Financial Balance of Small-Sized Enterprise},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {133--142},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_13},
doi = {10.1007/978-3-319-59394-4\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/SperkaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/SuchanekB17,
author = {Petr Such{\'{a}}nek and
Robert Bucki},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Modelling of the Logistic Supplier-Consumer Behavior},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {213--222},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_21},
doi = {10.1007/978-3-319-59394-4\_21},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/SuchanekB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ToschevTK17,
author = {Alexander S. Toschev and
Max Talanov and
Vitaliy Kurnosov},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {"Thinking-Understanding" Approach in Spiking Reasoning System},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {171--177},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_17},
doi = {10.1007/978-3-319-59394-4\_17},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/ToschevTK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/TrikiH17,
author = {Sameh Triki and
Chihab Hanachi},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Self-adaptive System for Improving Autonomy and Public Spaces Accessibility
for Elderly},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {53--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_6},
doi = {10.1007/978-3-319-59394-4\_6},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/TrikiH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/Zargayouna17,
author = {Mahdi Zargayouna},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Multiagent Environments for Dynamic Transportation Applications},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {12--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_2},
doi = {10.1007/978-3-319-59394-4\_2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/Zargayouna17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/Zbrzezny17,
author = {Agnieszka M. Zbrzezny},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {SAT-Versus SMT-Based {BMC} for {TWIS} and the Existential Fragment
of {WCTL} with Knowledge},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {110--120},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_11},
doi = {10.1007/978-3-319-59394-4\_11},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/Zbrzezny17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ZbrzeznyZ17,
author = {Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Simple Bounded {MTLK} Model Checking for Timed Interpreted Systems},
booktitle = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
pages = {88--98},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4\_9},
doi = {10.1007/978-3-319-59394-4\_9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/ZbrzeznyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kesamsta/2017,
editor = {Gordan Jezic and
Mario Kusek and
Yun{-}Heh Jessica Chen{-}Burger and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Agent and Multi-Agent Systems: Technology and Applications, 11th {KES}
International Conference, {KES-AMSTA} 2017, Vilamoura, Algarve, Portugal,
June 21-23, 2017, Proceedings},
series = {Smart Innovation, Systems and Technologies},
volume = {74},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59394-4},
doi = {10.1007/978-3-319-59394-4},
isbn = {978-3-319-59393-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesamsta/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-28 22:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
