|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 31 keywords
|
|
|
Results
Found 135 publication records. Showing 128 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(4), pp. 193-202, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen |
85 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 330-337, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
66 | Derek Wong, Robert Kozma 0001, Edward W. Tunstel, Walter J. Freeman |
Navigation in a Challenging Martian Environment using Multi-sensory Fusion in KIV Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 672-677, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Xinyu Liu, Haidong Tang, Zhiping Fan, Bing Deng |
Quality Improvement Modeling and Practice in Baosteel Based on KIV-KOV Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, pp. 720-725, 2004, Springer, 3-540-22418-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Dieter Fensel, Arno Schönegge |
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 71-, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification |
56 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
56 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Bounded Relational Analysis of Free Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 99-115, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types |
52 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 65-102, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
52 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 78-95, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
47 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 41-59, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
47 | Wolfgang Reif |
The KIV System: Systematic Construction of Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 753-757, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
47 | Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
Implementing Verification Strategies in the KIV-System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 131-140, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
37 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 315-329, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Hima B. Puppala, Robert Kozma 0001 |
Identification of phase transitions in simulated EEG signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 3511-3517, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv |
Socio-Intentional Framework for Agile Methods Tailoring: Past, Present, and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agil-ISE@CAiSE ![In: Short Paper Proceedings of the Second International Workshop on Agile Methods for Information Systems Engineering (Agil-ISE 2023) co-located with the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), Zaragoza, Spain, June 13, 2023., pp. 36-42, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
30 | Oleh Kuzyk, Olesya Dan'Kiv, Ihor Stolyarchuk |
Using the Wolfram Mathematica Software Product and the Smartphone to Determine Kinematic Quantities in Physics Laboratory Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: 18th IEEE International Conference on Computer Science and Information Technologies, CSIT 2023, Lviv, Ukraine, October 19-21, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-6046-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Yves Wautelet, Stephan Poelmans, Manuel Kolp |
Using an ontology for systematic practice adoption in agile methods: Expert system and practitioners-based validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 195, pp. 116520, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Yves Wautelet, Samedi Heng, Manuel Kolp |
OBAMA, an Ontology-Based Software Tool for Agile Method Adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.02207, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk (eds.) |
Proceedings of the 4th Workshop for Young Scientists in Computer Science & Software Engineering (CS&SE@SW 2021), Virtual Event, Kryvyi Rih, Ukraine, December 18, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&SE@SW ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Arnold Kiv, Arkady Bryukhanov, Andrii Bielinskyi, Vladimir N. Soloviev, Taras Kavetskyy, Dmytro Dyachok, Ivan Donchev, Viktor Lukashin |
Irreversibility of Plastic Deformation Processes in Metals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITEST ![In: Information Technology for Education, Science, and Technics - Proceedings of ITEST 2022, Cherkasy, Ukraine, 23-25 June 2022., pp. 425-445, 2022, Springer, 978-3-031-35466-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Mariya P. Shyshkina (eds.) |
Proceedings of the 9th Workshop on Cloud Technologies in Education, CTE 2021, Kryvyi Rih, Ukraine, December 17, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Stamatios Papadakis, Arnold E. Kiv, Hennadiy M. Kravtsov, Viacheslav V. Osadchyi, Maiia V. Marienko, Olga P. Pinchuk, Mariya P. Shyshkina, Oleksandra M. Sokolyuk, Iryna S. Mintii, Tetiana A. Vakaliuk, Larysa E. Azarova, Larisa S. Kolgatina, Svitlana M. Amelina, Nataliia P. Volkova, Vladyslav Ye. Velychko, Andrii M. Striuk, Serhiy O. Semerikov |
Unlocking the power of synergy: the joint force of cloud technologies and augmented reality in education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE/AREdu ![In: Joint Proceedings of the 10th Workshop on Cloud Technologies in Education, and 5th International Workshop on Augmented Reality in Education (CTE+AREdu 2022), Kryvyi Rih, Ukraine, May 23, 2022., pp. 1-23, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Vadim Ermolayev, Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk (eds.) |
Proceedings of the 9th Illia O. Teplytskyi Workshop on Computer Simulation in Education (CoSinE 2021) co-located with 17th International Conference on ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI 2021), Kherson, Ukraine, October 1, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoSinE@ICTERI ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Andrii O. Bielinskyi, Vladimir N. Soloviev, Serhii V. Hushko, Arnold E. Kiv, Andriy V. Matviychuk |
High-order network analysis for financial crash identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected and Revised Papers of 10th International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2022), Virtual Event, Kryvyi Rih, Ukraine, November 17-18, 2022., pp. 132-149, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Natalia V. Moiseienko, Mykhailo V. Moiseienko, Vladyslav S. Kuznetsov, Bohdan A. Rostalny, Arnold E. Kiv |
Teaching computer game development with Unity engine: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3L-Person ![In: Proceedings of the VII International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2022), Virtual Event, Kryvyi Rih, Ukraine, October 25, 2022., pp. 237-251, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Stamatios Papadakis, Arnold E. Kiv, Hennadiy M. Kravtsov, Viacheslav V. Osadchyi, Maiia V. Marienko, Olga P. Pinchuk, Mariya P. Shyshkina, Oleksandra M. Sokolyuk, Iryna S. Mintii, Tetiana A. Vakaliuk, Andrii M. Striuk, Serhiy O. Semerikov |
Revolutionizing education: using computer simulation and cloud-based smart technology to facilitate successful open learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoSinE ![In: Joint Proceedings of the 10th Illia O. Teplytskyi Workshop on Computer Simulation in Education, and Workshop on Cloud-based Smart Technologies for Open Education (CoSinEi and CSTOE 2022) co-located with ACNS Conference on Cloud and Immersive Technologies in Education (CITEd 2022), Kyiv, Ukraine, December 22, 2022., pp. 1-18, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
30 | Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets |
smol: Sensing Soil Moisture using LoRa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.01501, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Oleksandr O. Popov, Anna V. Iatsyshyn, Andrii V. Iatsyshyn, Valeriia O. Kovach, Volodymyr O. Artemchuk, Viktor O. Gurieiev, Yulii G. Kutsan, Iryna S. Zinovieva, Olena V. Alieksieieva, Valentyna V. Kovalenko, Arnold E. Kiv |
Immersive technology for training and professional development of nuclear power plants personnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 4th International Workshop on Augmented Reality in Education (AREdu 2021), Kryvyi Rih, Ukraine, May 11, 2021., pp. 230-254, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Vladyslav V. Bilous, Dmytro M. Bodnenko, Dmytro V. Horbatovskyi, Oksana S. Lytvyn, Volodymyr V. Proshkin |
The development and use of mobile app AR Physics in physics teaching at the university. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 4th International Workshop on Augmented Reality in Education (AREdu 2021), Kryvyi Rih, Ukraine, May 11, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Yuliya V. Kharchenko, Olena M. Babenko, Arnold E. Kiv |
Using Blippar to create augmented reality in chemistry education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 4th International Workshop on Augmented Reality in Education (AREdu 2021), Kryvyi Rih, Ukraine, May 11, 2021., pp. 213-229, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Liliia Ya. Midak, Ivan V. Kravets, Olga V. Kuzyshyn, Tetiana V. Kostiuk, Khrystyna V. Buzhdyhan, Victor M. Lutsyshyn, Ivanna O. Hladkoskok, Arnold E. Kiv, Mariya P. Shyshkina |
Augmented reality while studying radiochemistry for the upcoming chemistry teachers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 4th International Workshop on Augmented Reality in Education (AREdu 2021), Kryvyi Rih, Ukraine, May 11, 2021., pp. 147-158, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk (eds.) |
Proceedings of the 3rd Workshop for Young Scientists in Computer Science & Software Engineering (CS&SE@SW 2020), Kryvyi Rih, Ukraine, November 27, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&SE@SW ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets |
smol: Sensing Soil Moisture using LoRa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP-IoT@MobiCom ![In: LP-IoT@MobiCom 2021: Proceedings of the 1st ACM Workshop on No Power and Low Power Internet-of-Things, New Orleans, LA, USA, 31 January 2022 - 4 February 2022, pp. 21-27, 2021, ACM, 978-1-4503-8702-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Mariya P. Shyshkina, Andrii M. Striuk, Mykola I. Striuk, Yuliia V. Yechkalo, Iryna S. Mintii, Pavlo P. Nechypurenko, Olga O. Kalinichenko, Larisa S. Kolgatina, Kateryna V. Vlasenko, Svitlana M. Amelina, Olena V. Semenikhina |
Workshop Report. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 9th Workshop on Cloud Technologies in Education, CTE 2021, Kryvyi Rih, Ukraine, December 17, 2021., pp. i-lxxvii, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Oleksandr O. Popov, Yurii O. Kyrylenko, Iryna P. Kameneva, Anna V. Iatsyshyn, Andrii V. Iatsyshyn, Valeriia O. Kovach, Volodymyr O. Artemchuk, Valery N. Bliznyuk, Arnold E. Kiv |
The use of specialized software for liquid radioactive material spills simulation to teach students and postgraduate students. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 9th Workshop on Cloud Technologies in Education, CTE 2021, Kryvyi Rih, Ukraine, December 17, 2021., pp. 306-322, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Andrii O. Bielinskyi, Arnold E. Kiv, Yuliya O. Prikhozha, Mykola A. Slusarenko, Vladimir N. Soloviev |
Complex systems and physics education. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 9th Workshop on Cloud Technologies in Education, CTE 2021, Kryvyi Rih, Ukraine, December 17, 2021., pp. 56-80, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Vadim Ermolayev, Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk |
9th Illia O. Teplytskyi Workshop on Computer Simulation in Education - Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoSinE@ICTERI ![In: Proceedings of the 9th Illia O. Teplytskyi Workshop on Computer Simulation in Education (CoSinE 2021) co-located with 17th International Conference on ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI 2021), Kherson, Ukraine, October 1, 2021., pp. i-xx, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Vladimir N. Soloviev, Serhiy O. Semerikov, Hanna B. Danylchuk, Liubov O. Kibalnyk, Andriy V. Matviychuk, Andrii M. Striuk |
Machine learning for prediction of emergent economy dynamics III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected and Revised Papers of 9th International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2021), Odessa, Ukraine, May 26-28, 2021., pp. i-xxxi, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Vladimir N. Soloviev, Serhiy O. Semerikov (eds.) |
Proceedings of the Selected and Revised Papers of 9th International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2021), Odessa, Ukraine, May 26-28, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp |
Towards a Systematic Socio-Intentional Framework for Agile Methods Tailoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (2) ![In: 23rd Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 2., pp. 143-152, 2021, IEEE, 978-1-6654-2069-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Lakitha O. H. Wijeratne, Daniel R. Kiv, Adam R. Aker, Shawhin Talebi, David John Lary |
Using Machine Learning for the Calibration of Airborne Particulate Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(1), pp. 99, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Oleksandr Yu. Burov, Arnold E. Kiv, Serhiy O. Semerikov, Andrii M. Striuk, Mykola I. Striuk, Larisa S. Kolgatina, Iryna V. Oliinyk |
AREdu 2020 - How augmented reality helps during the coronavirus pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 3rd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, May 13, 2020., pp. 1-46, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Viacheslav V. Osadchyi, Hanna B. Varina, Kateryna P. Osadcha, Olesia O. Prokofieva, Olha V. Kovalova, Arnold E. Kiv |
Features of implementation of modern AR technologies in the process of psychological and pedagogical support of children with autism spectrum disorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 3rd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, May 13, 2020., pp. 263-282, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Mariya P. Shyshkina (eds.) |
Proceedings of the 2nd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, March 22, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Viacheslav V. Osadchyi, Hanna Y. Chemerys, Kateryna P. Osadcha, Vladyslav S. Kruhlyk, Serhii L. Koniukhov, Arnold E. Kiv |
Conceptual model of learning based on the combined capabilities of augmented and virtual reality technologies with adaptive learning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 3rd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, May 13, 2020., pp. 328-340, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Oleksandr Yu. Burov, Arnold E. Kiv (eds.) |
Proceedings of the 3rd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, May 13, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Elena V. Komarova, Arnold E. Kiv |
Alternatives in biological education as a way to implement an ethical approach to the formation of subject and professional competence of future teachers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 3rd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, May 13, 2020., pp. 47-60, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk (eds.) |
Proceedings of the 2nd Student Workshop on Computer Science & Software Engineering (CS&SE@SW 2019), Kryvyi Rih, Ukraine, November 29, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&SE@SW ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Mariya P. Shyshkina (eds.) |
Proceedings of the 7th Workshop on Cloud Technologies in Education (CTE 2019), Kryvyi Rih, Ukraine, December 20, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Tetiana V. Shabelnyk, Serhii V. Krivenko, Nataliia Yu. Rotanova, Oksana F. Diachenko, Iryna B. Tymofieieva, Arnold E. Kiv |
Integration of chatbots into the system of professional training of Masters. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 8th Workshop on Cloud Technologies in Education (CTE 2020), Kryvyi Rih, Ukraine, December 18, 2020., pp. 212-220, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Anna V. Iatsyshyn, Iryna H. Hubeladze, Valeriia O. Kovach, Valentyna V. Kovalenko, Volodymyr O. Artemchuk, Maryna S. Dvornyk, Oleksandr O. Popov, Andrii V. Iatsyshyn, Arnold E. Kiv |
Applying digital technologies for work management of young scientists' councils. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 8th Workshop on Cloud Technologies in Education (CTE 2020), Kryvyi Rih, Ukraine, December 18, 2020., pp. 124-154, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Larysa O. Kondratenko, Hanna T. Samoylenko, Arnold E. Kiv, Anna V. Selivanova, Oleg I. Pursky, Tetyana O. Filimonova, Iryna O. Buchatska |
Computer simulation of processes that influence adolescent learning motivation. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 8th Workshop on Cloud Technologies in Education (CTE 2020), Kryvyi Rih, Ukraine, December 18, 2020., pp. 495-506, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Vladimir N. Soloviev, Oleksandr Serdiuk, Serhiy Semerikov, Arnold Kiv |
Recurrence plot-based analysis of financial-economic crashes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected Papers of the Special Edition of International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2020), Odessa, Ukraine, July 13-18, 2020., pp. 21-40, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Arnold Kiv, Pavlo Hryhoruk, Inesa Khvostina, Viktoria Solovieva, Vladimir N. Soloviev, Serhiy Semerikov |
Machine learning of emerging markets in pandemic times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected Papers of the Special Edition of International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2020), Odessa, Ukraine, July 13-18, 2020., pp. 1-20, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Arnold Kiv (eds.) |
Proceedings of the Selected Papers of the Special Edition of International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2020), Odessa, Ukraine, July 13-18, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Hanna Danylchuk, Liubov Kibalnyk, Oksana Kovtun 0001, Arnold Kiv, Oleg Pursky, Galina Berezhna |
Modelling of cryptocurrency market using fractal and entropy analysis in COVID-19. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected Papers of the Special Edition of International Conference on Monitoring, Modeling & Management of Emergent Economy (M3E2-MLPEED 2020), Odessa, Ukraine, July 13-18, 2020., pp. 352-371, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Zinovii Nytrebych, Volodymyr Il'kiv, Oksana Malanchuk |
On the Modeling Process of Ultrasonic Wave Propagation in a Relaxation Medium by the Three-Point in Time Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDDM ![In: Proceedings of the 3rd International Conference on Informatics & Data-Driven Medicine, Växjö, Sweden, November 19 - 21, 2020., pp. 72-81, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet |
Agile Methods Knowledge Representation for Systematic Practices Adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming - 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings, pp. 19-34, 2019, Springer, 978-3-030-19033-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Svitlana L. Malchenko, Davyd V. Mykoliuk, Arnold E. Kiv |
Using interactive technologies to study the evolution of stars in astronomy classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 2nd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, March 22, 2019., pp. 145-155, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Mariya P. Shyshkina, Serhiy O. Semerikov, Andrii M. Striuk, Yuliia V. Yechkalo |
AREdu 2019 - How augmented reality transforms to augmented learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 2nd International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, March 22, 2019., pp. 1-12, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Mariya P. Shyshkina, Serhiy O. Semerikov, Andrii M. Striuk, Mykola I. Striuk, Hanna M. Shalatska |
CTE 2019 - When cloud technologies ruled the education. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 7th Workshop on Cloud Technologies in Education (CTE 2019), Kryvyi Rih, Ukraine, December 20, 2019., pp. 1-59, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Mykhailo V. Moiseienko, Natalia V. Moiseienko, Iryna V. Kohut, Arnold E. Kiv |
Digital competence of pedagogical university student: definition, structure and didactical conditions of formation. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 7th Workshop on Cloud Technologies in Education (CTE 2019), Kryvyi Rih, Ukraine, December 20, 2019., pp. 60-70, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Olga G. Yaroshenko, Olena D. Samborska, Arnold E. Kiv |
An integrated approach to digital training of prospective primary school teachers. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 7th Workshop on Cloud Technologies in Education (CTE 2019), Kryvyi Rih, Ukraine, December 20, 2019., pp. 94-105, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Arnold E. Kiv, Vladimir N. Soloviev (eds.) |
Proceedings of the 6th Workshop on Cloud Technologies in Education, CTE 2018 Kryvyi Rih, Ukraine, December 21, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Serhiy Semerikov, Illia O. Teplytskyi, Yuliia V. Yechkalo, Oksana M. Markova, Vladimir N. Soloviev, Arnold Kiv |
Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 833-848, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Arnold Kiv, Serhiy Semerikov, Vladimir N. Soloviev, Liubov Kibalnyk, Hanna Danylchuk, Andriy Matviychuk (eds.) |
Proceedings of the Selected Papers of the 8th International Conference on Monitoring, Modeling & Management of Emergent Economy, M3E2-EEMLPEED 2019, Odessa, Ukraine, May 22-24, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-EEMLPEED ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Alina Vinkovska, Arnold Kiv, Tatyana Koycheva, Liliia Bodnar, Ivan Donchev |
Modeling the Economic Efficiency of Advertising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected Papers of the 8th International Conference on Monitoring, Modeling & Management of Emergent Economy, M3E2-EEMLPEED 2019, Odessa, Ukraine, May 22-24, 2019., pp. 274-283, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Arnold Kiv, Serhiy Semerikov, Vladimir N. Soloviev, Liubov Kibalnyk, Hanna Danylchuk, Andriy Matviychuk |
Experimental Economics and Machine Learning for Prediction of Emergent Economy Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M3E2-MLPEED ![In: Proceedings of the Selected Papers of the 8th International Conference on Monitoring, Modeling & Management of Emergent Economy, M3E2-EEMLPEED 2019, Odessa, Ukraine, May 22-24, 2019., pp. 1-4, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Petro Pukach, Volodymyr Il'kiv, Myroslava Vovk, Olha Slyusarchuk, Yulia Pukach, Yuriy Mylyan, Winfried Auzinger |
On the Mathematical Model of Nonlinear Vibrations of a Biologically Active Rod with Consideration of the Rheological Factor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDDM ![In: Proceedings of the 2nd International Workshop on Informatics & Data-Driven Medicine (IDDM 2019), Lviv, Ukraine, November 11-13, 2019., pp. 30-42, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Zinovii Nytrebych, Volodymyr Il'kiv, Oksana Malanchuk, Winfried Auzinger |
Investigation of Mathematical Model of Acoustic Wave Propagation through Relax Environment in Ultrasound Diagnostics Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDDM ![In: Proceedings of the 2nd International Workshop on Informatics & Data-Driven Medicine (IDDM 2019), Lviv, Ukraine, November 11-13, 2019., pp. 280-289, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Petro Pukach, Zinovii Nytrebych, Volodymyr Il'kiv, Myroslava Vovk, Yulia Pukach |
On the Mathematical Model of Nonlinear Oscillations under the Impact of a Moving Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (1) ![In: IEEE 14th International Conference on Computer Sciences and Information Technologies, CSIT 2019, Lviv, Ukraine, September 17-20, 2019 - Volume 1, pp. 71-74, 2019, IEEE, 978-1-7281-0806-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Petro Pukach, Volodymyr Il'kiv, Zinovii Nytrebych, Myroslava Vovk, Pavlo Pukach |
Modified Asymptotic Method of Studying the Mathematical Model of Nonlinear Oscillations Under the Impact of a Moving Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: Advances in Intelligent Systems and Computing IV - Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2019, September 17-20, 2019, Lviv, Ukraine, pp. 78-89, 2019, Springer, 978-3-030-33694-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Zinovii Nytrebych, Volodymyr Il'kiv, Oksana Malanchuk, Petro Pukach |
On the Modeling of the Oscillating Process of Longitudinal Elastic Body by Two-Point Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (1) ![In: IEEE 14th International Conference on Computer Sciences and Information Technologies, CSIT 2019, Lviv, Ukraine, September 17-20, 2019 - Volume 1, pp. 75-79, 2019, IEEE, 978-1-7281-0806-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Serhiy O. Semerikov, Illia O. Teplytskyi, Yuliia V. Yechkalo, Arnold E. Kiv |
Computer Simulation of Neural Networks Using Spreadsheets: The Dawn of the Age of Camelot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 1st International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, October 2, 2018., pp. 122-147, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Vladimir N. Soloviev (eds.) |
Proceedings of the 1st International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, October 2, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Vladimir S. Morkun, Serhiy O. Semerikov, Nataliya V. Morkun, Svitlana M. Hryshchenko, Arnold E. Kiv |
Defining the Structure of Environmental Competence of Future Mining Engineers: ICT Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 1st International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, October 2, 2018., pp. 198-203, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Serhiy O. Semerikov, Vladyslav S. Pototskyi, Kateryna I. Slovak, Svitlana M. Hryshchenko, Arnold E. Kiv |
Automation of the Export Data from Open Journal Systems to the Russian Science Citation Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 1st International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, October 2, 2018., pp. 215-226, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Serhiy O. Semerikov, Vladimir N. Soloviev, Andrii M. Striuk (eds.) |
Proceedings of the 1st Student Workshop on Computer Science & Software Engineering, Kryvyi Rih, Ukraine, November 30, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&SE@SW ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Arnold E. Kiv, Vladimir N. Soloviev, Serhiy O. Semerikov |
CTE 2018 - How cloud technologies continues to transform education. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 6th Workshop on Cloud Technologies in Education, CTE 2018 Kryvyi Rih, Ukraine, December 21, 2018., pp. 1-19, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Arnold E. Kiv, Olexandr V. Merzlykin, Yevhenii O. Modlo, Pavlo P. Nechypurenko, Iryna Yu. Topolova |
The overview of software for computer simulations in profile physics learning. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 6th Workshop on Cloud Technologies in Education, CTE 2018 Kryvyi Rih, Ukraine, December 21, 2018., pp. 352-362, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet |
Agile Manifesto and Practices Selection for Tailoring Software Development: A Systematic Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement - 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings, pp. 12-30, 2018, Springer, 978-3-030-03672-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Petro Pukach, Volodymyr Il'kiv, Zinovii Nytrebych, Myroslava Vovk, Natalia Shakhovska, Pavlo Pukach |
Galerkin Method and Qualitative Approach for the Investigation and Numerical Analysis of Some Dissipative Nonlinear Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (1) ![In: Advances in Intelligent Systems and Computing III - Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2018, September 11-14, Lviv, Ukraine, pp. 143-146, 2018, Springer, 978-3-030-01068-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Petro Pukach, Volodymyr Il'kiv, Zinovii Nytrebych, Myroslava Vovk, Pavlo Pukach |
Application of Qualitative Methods for the Investigation and Numerical Analysis of Some Dissipative Nonlinear Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: Advances in Intelligent Systems and Computing III - Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2018, September 11-14, Lviv, Ukraine, pp. 464-475, 2018, Springer, 978-3-030-01068-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Yves Wautelet, Samedi Heng, Soreangsey Kiv, Manuel Kolp |
User-story driven development of multi-agent systems: A process fragment for agile methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 50, pp. 159-176, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet |
An Intentional Perspective on Partial Agile Adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., pp. 116-127, 2017, SciTePress, 978-989-758-262-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp |
Towards a Goal-Oriented Framework for Partial Agile Adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers, pp. 69-90, 2017, Springer, 978-3-319-93640-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Petro Pukach, Volodymyr Il'kiv, Zinovii Nytrebych, Myroslava Vovk, Pavlo Pukach |
Advanced approach in the research methods of the mathematical models of strongly nonlinear physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT (1) ![In: 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT), Lviv, Ukraine, September 5-8, 2017 - Volume 1., pp. 109-112, 2017, IEEE, 978-1-5386-1638-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Nataliia Mykytenko, Dietmar Fink, Arnold E. Kiv |
Computer modeling of ion current pulsations in track-containing foils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 6, pp. 34-39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
Agent-Driven Integration Architecture for Component-Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Collect. Intell. ![In: Transactions on Computational Collective Intelligence VIII, pp. 121-147, 2012, Springer, 978-3-642-34644-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Manuel Kolp |
An Iterative Process for Component-Based Software Development Centered on Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Collect. Intell. ![In: Transactions on Computational Collective Intelligence V, pp. 41-65, 2011, Springer, 978-3-642-24015-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
A Multi-Agent Architectural Pattern for Wrapping Off-the-Shelf Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings, pp. 321-331, 2011, Springer, 978-3-642-21999-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
A Process for Cots-selection and Mismatches Handling - A Goal-driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010, pp. 98-106, 2010, INSTICC Press, 978-989-674-021-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp |
Round Tripping in Component Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2010, Toronto, Canada, August 31 - September 3, 2010, pp. 261-264, 2010, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp |
Strategic Reasoning in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010, pp. 215-220, 2010, SciTePress, 978-989-8425-06-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
30 | Yves Wautelet, Youssef Achbany, Sodany Kiv, Manuel Kolp |
A Service-Oriented Framework for Component-Based Software Development: An i* Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 551-563, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-Agent Systems, Requirements Engineering, i*, Service-Oriented Modeling |
29 | Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif |
Software & System Verification with KIV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 408-436, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Dominik Klumpp, Philip Lenzen |
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 98-119, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
KIV: overview and VerifyThis competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 17(6), pp. 677-694, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Roland Glück, Florian Benedikt Krebs |
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, pp. 241-256, 2015, Springer, 978-3-319-24703-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Robert Kozma 0001, Walter J. Freeman |
The KIV model of intentional dynamics and decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 22(3), pp. 277-285, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 128 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|