The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for KIV with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1999 (16) 2000-2007 (15) 2008-2010 (16) 2011-2018 (20) 2019 (16) 2020 (18) 2021-2022 (25) 2023 (2)
Publication types (Num. hits)
article(15) incollection(3) inproceedings(96) proceedings(14)
Venues (Conferences, Journals, ...)
AREdu(16) CTE(14) M3E2-MLPEED(9) CS&SE@SW(4) CSIT (1)(4) CADE(3) CSIT(3) FM(3) IDDM(3) AMAST(2) CoRR(2) CoSinE@ICTERI(2) FMOODS(2) Formal Aspects Comput.(2) FSTTCS(2) IJCNN(2) More (+10 of total 69)
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
85Wolfgang Reif Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen
85Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel KIV 3.0 for Provably Correct Systems. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
66Derek 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 ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Xinyu Liu, Haidong Tang, Zhiping Fan, Bing Deng Quality Improvement Modeling and Practice in Baosteel Based on KIV-KOV Analysis. Search on Bibsonomy WAIM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Dieter Fensel, Arno Schönegge Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. Search on Bibsonomy ASE The full citation details ... 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
56Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif Automating Algebraic Specifications of Non-freely Generated Data Types. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models
56Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif Bounded Relational Analysis of Free Data Types. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
52Eerke A. Boiten, John Derrick, Gerhard Schellhorn Relational concurrent refinement part II: Internal operations and outputs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
52John Derrick, Gerhard Schellhorn, Heike Wehrheim Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
47Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Refinement, Security protocol, Z, ASM, Mondex
47Wolfgang Reif The KIV System: Systematic Construction of Verified Software. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
47Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 Implementing Verification Strategies in the KIV-System. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
37Kurt Stenzel, Holger Grandy, Wolfgang Reif Verification of Java Programs with Generics. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Hima B. Puppala, Robert Kozma 0001 Identification of phase transitions in simulated EEG signals. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Soreangsey Kiv Socio-Intentional Framework for Agile Methods Tailoring: Past, Present, and Future. Search on Bibsonomy Agil-ISE@CAiSE The full citation details ... 2023 DBLP  BibTeX  RDF
30Oleh 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 CSIT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
30Soreangsey 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 Expert Syst. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Soreangsey Kiv, Yves Wautelet, Samedi Heng, Manuel Kolp OBAMA, an Ontology-Based Software Tool for Agile Method Adoption. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Arnold 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 CS&SE@SW The full citation details ... 2022 DBLP  BibTeX  RDF
30Arnold 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 ITEST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2022 DBLP  BibTeX  RDF
30Stamatios 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 CTE/AREdu The full citation details ... 2022 DBLP  BibTeX  RDF
30Vadim 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 CoSinE@ICTERI The full citation details ... 2022 DBLP  BibTeX  RDF
30Andrii 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 M3E2-MLPEED The full citation details ... 2022 DBLP  BibTeX  RDF
30Natalia 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 3L-Person The full citation details ... 2022 DBLP  BibTeX  RDF
30Stamatios 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 CoSinE The full citation details ... 2022 DBLP  BibTeX  RDF
30Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets smol: Sensing Soil Moisture using LoRa. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
30Oleksandr 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 AREdu The full citation details ... 2021 DBLP  BibTeX  RDF
30Arnold 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 AREdu The full citation details ... 2021 DBLP  BibTeX  RDF
30Yuliya V. Kharchenko, Olena M. Babenko, Arnold E. Kiv Using Blippar to create augmented reality in chemistry education. Search on Bibsonomy AREdu The full citation details ... 2021 DBLP  BibTeX  RDF
30Liliia 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 AREdu The full citation details ... 2021 DBLP  BibTeX  RDF
30Arnold 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 CS&SE@SW The full citation details ... 2021 DBLP  BibTeX  RDF
30Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets smol: Sensing Soil Moisture using LoRa. Search on Bibsonomy LP-IoT@MobiCom The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Oleksandr 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 CTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Andrii O. Bielinskyi, Arnold E. Kiv, Yuliya O. Prikhozha, Mykola A. Slusarenko, Vladimir N. Soloviev Complex systems and physics education. (PDF / PS) Search on Bibsonomy CTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Vadim 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 CoSinE@ICTERI The full citation details ... 2021 DBLP  BibTeX  RDF
30Arnold 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 M3E2-MLPEED The full citation details ... 2021 DBLP  BibTeX  RDF
30Arnold 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 M3E2-MLPEED The full citation details ... 2021 DBLP  BibTeX  RDF
30Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp Towards a Systematic Socio-Intentional Framework for Agile Methods Tailoring. Search on Bibsonomy CBI (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Lakitha 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 Sensors The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Oleksandr 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Viacheslav 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Arnold 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Viacheslav 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Oleksandr 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Elena 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 AREdu The full citation details ... 2020 DBLP  BibTeX  RDF
30Arnold 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 CS&SE@SW The full citation details ... 2020 DBLP  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2020 DBLP  BibTeX  RDF
30Tetiana 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 CTE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Anna 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 CTE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Larysa 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 CTE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Vladimir N. Soloviev, Oleksandr Serdiuk, Serhiy Semerikov, Arnold Kiv Recurrence plot-based analysis of financial-economic crashes. Search on Bibsonomy M3E2-MLPEED The full citation details ... 2020 DBLP  BibTeX  RDF
30Arnold Kiv, Pavlo Hryhoruk, Inesa Khvostina, Viktoria Solovieva, Vladimir N. Soloviev, Serhiy Semerikov Machine learning of emerging markets in pandemic times. Search on Bibsonomy M3E2-MLPEED The full citation details ... 2020 DBLP  BibTeX  RDF
30Arnold 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 M3E2-MLPEED The full citation details ... 2020 DBLP  BibTeX  RDF
30Hanna 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 M3E2-MLPEED The full citation details ... 2020 DBLP  BibTeX  RDF
30Zinovii 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 IDDM The full citation details ... 2020 DBLP  BibTeX  RDF
30Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet Agile Methods Knowledge Representation for Systematic Practices Adoption. Search on Bibsonomy XP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Svitlana L. Malchenko, Davyd V. Mykoliuk, Arnold E. Kiv Using interactive technologies to study the evolution of stars in astronomy classes. Search on Bibsonomy AREdu The full citation details ... 2019 DBLP  BibTeX  RDF
30Arnold 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 AREdu The full citation details ... 2019 DBLP  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Mykhailo 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 CTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Olga G. Yaroshenko, Olena D. Samborska, Arnold E. Kiv An integrated approach to digital training of prospective primary school teachers. (PDF / PS) Search on Bibsonomy CTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2019 DBLP  BibTeX  RDF
30Serhiy 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 ICTERI Workshops The full citation details ... 2019 DBLP  BibTeX  RDF
30Arnold 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 M3E2-EEMLPEED The full citation details ... 2019 DBLP  BibTeX  RDF
30Alina Vinkovska, Arnold Kiv, Tatyana Koycheva, Liliia Bodnar, Ivan Donchev Modeling the Economic Efficiency of Advertising. Search on Bibsonomy M3E2-MLPEED The full citation details ... 2019 DBLP  BibTeX  RDF
30Arnold 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 M3E2-MLPEED The full citation details ... 2019 DBLP  BibTeX  RDF
30Petro 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 IDDM The full citation details ... 2019 DBLP  BibTeX  RDF
30Zinovii 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 IDDM The full citation details ... 2019 DBLP  BibTeX  RDF
30Petro 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 CSIT (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Petro 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 CSIT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Zinovii 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 CSIT (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Serhiy 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 AREdu The full citation details ... 2018 DBLP  BibTeX  RDF
30Arnold 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 AREdu The full citation details ... 2018 DBLP  BibTeX  RDF
30Vladimir 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 AREdu The full citation details ... 2018 DBLP  BibTeX  RDF
30Serhiy 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 AREdu The full citation details ... 2018 DBLP  BibTeX  RDF
30Arnold 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 CS&SE@SW The full citation details ... 2018 DBLP  BibTeX  RDF
30Arnold E. Kiv, Vladimir N. Soloviev, Serhiy O. Semerikov CTE 2018 - How cloud technologies continues to transform education. (PDF / PS) Search on Bibsonomy CTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Arnold 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 CTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet Agile Manifesto and Practices Selection for Tailoring Software Development: A Systematic Literature Review. Search on Bibsonomy PROFES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Petro 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 CSIT (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Petro 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 CSIT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Yves Wautelet, Samedi Heng, Soreangsey Kiv, Manuel Kolp User-story driven development of multi-agent systems: A process fragment for agile methods. Search on Bibsonomy Comput. Lang. Syst. Struct. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet An Intentional Perspective on Partial Agile Adoption. Search on Bibsonomy ICSOFT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp Towards a Goal-Oriented Framework for Partial Agile Adoption. Search on Bibsonomy ICSOFT (Selected Papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Petro 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 CSIT (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Nataliia Mykytenko, Dietmar Fink, Arnold E. Kiv Computer modeling of ion current pulsations in track-containing foils. Search on Bibsonomy J. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Sodany Kiv, Yves Wautelet, Manuel Kolp Agent-Driven Integration Architecture for Component-Based Software Development. Search on Bibsonomy Trans. Comput. Collect. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Yves Wautelet, Sodany Kiv, Manuel Kolp An Iterative Process for Component-Based Software Development Centered on Agents. Search on Bibsonomy Trans. Comput. Collect. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Sodany Kiv, Yves Wautelet, Manuel Kolp A Multi-Agent Architectural Pattern for Wrapping Off-the-Shelf Components. Search on Bibsonomy KES-AMSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Sodany Kiv, Yves Wautelet, Manuel Kolp A Process for Cots-selection and Mismatches Handling - A Goal-driven Approach. Search on Bibsonomy ICAART (1) The full citation details ... 2010 DBLP  BibTeX  RDF
30Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp Round Tripping in Component Based Software Development. Search on Bibsonomy IAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp Strategic Reasoning in Software Development. Search on Bibsonomy ICEIS (3) The full citation details ... 2010 DBLP  BibTeX  RDF
30Yves Wautelet, Youssef Achbany, Sodany Kiv, Manuel Kolp A Service-Oriented Framework for Component-Based Software Development: An i* Driven Approach. Search on Bibsonomy ICEIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-Agent Systems, Requirements Engineering, i*, Service-Oriented Modeling
29Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif Software & System Verification with KIV. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Dominik Klumpp, Philip Lenzen $\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. Search on Bibsonomy WADT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif KIV: overview and VerifyThis competition. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Roland Glück, Florian Benedikt Krebs Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. Search on Bibsonomy RAMiCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Robert Kozma 0001, Walter J. Freeman The KIV model of intentional dynamics and decision making. Search on Bibsonomy Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 128 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license