|
|
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. |
Inform. Forsch. Entwickl. |
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. |
FM-Trends |
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. |
ICRA |
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. |
WAIM |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Dieter Fensel, Arno Schönegge |
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. |
ASE |
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. |
ATVA |
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. |
TAP |
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. |
Formal Aspects Comput. |
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. |
FMOODS |
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. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
47 | Wolfgang Reif |
The KIV System: Systematic Construction of Verified Software. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
47 | Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
Implementing Verification Strategies in the KIV-System. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
37 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Hima B. Puppala, Robert Kozma 0001 |
Identification of phase transitions in simulated EEG signals. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv |
Socio-Intentional Framework for Agile Methods Tailoring: Past, Present, and Future. |
Agil-ISE@CAiSE |
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. |
CSIT |
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. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Yves Wautelet, Samedi Heng, Manuel Kolp |
OBAMA, an Ontology-Based Software Tool for Agile Method Adoption. |
CoRR |
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. |
CS&SE@SW |
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. |
ITEST |
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. |
CTE |
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. |
CTE/AREdu |
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. |
CoSinE@ICTERI |
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. |
M3E2-MLPEED |
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. |
3L-Person |
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. |
CoSinE |
2022 |
DBLP BibTeX RDF |
|
30 | Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets |
smol: Sensing Soil Moisture using LoRa. |
CoRR |
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. |
AREdu |
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. |
AREdu |
2021 |
DBLP BibTeX RDF |
|
30 | Yuliya V. Kharchenko, Olena M. Babenko, Arnold E. Kiv |
Using Blippar to create augmented reality in chemistry education. |
AREdu |
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. |
AREdu |
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. |
CS&SE@SW |
2021 |
DBLP BibTeX RDF |
|
30 | Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets |
smol: Sensing Soil Moisture using LoRa. |
LP-IoT@MobiCom |
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) |
CTE |
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) |
CTE |
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) |
CTE |
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. |
CoSinE@ICTERI |
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. |
M3E2-MLPEED |
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. |
M3E2-MLPEED |
2021 |
DBLP BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp |
Towards a Systematic Socio-Intentional Framework for Agile Methods Tailoring. |
CBI (2) |
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. |
Sensors |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
CS&SE@SW |
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. |
CTE |
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) |
CTE |
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) |
CTE |
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) |
CTE |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Vladimir N. Soloviev, Oleksandr Serdiuk, Serhiy Semerikov, Arnold Kiv |
Recurrence plot-based analysis of financial-economic crashes. |
M3E2-MLPEED |
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. |
M3E2-MLPEED |
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. |
M3E2-MLPEED |
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. |
M3E2-MLPEED |
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. |
IDDM |
2020 |
DBLP BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet |
Agile Methods Knowledge Representation for Systematic Practices Adoption. |
XP |
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. |
AREdu |
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. |
AREdu |
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) |
CTE |
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) |
CTE |
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) |
CTE |
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. |
CTE |
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. |
ICTERI Workshops |
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. |
M3E2-EEMLPEED |
2019 |
DBLP BibTeX RDF |
|
30 | Alina Vinkovska, Arnold Kiv, Tatyana Koycheva, Liliia Bodnar, Ivan Donchev |
Modeling the Economic Efficiency of Advertising. |
M3E2-MLPEED |
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. |
M3E2-MLPEED |
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. |
IDDM |
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. |
IDDM |
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. |
CSIT (1) |
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. |
CSIT |
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. |
CSIT (1) |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
AREdu |
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. |
CS&SE@SW |
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) |
CTE |
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) |
CTE |
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. |
PROFES |
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. |
CSIT (1) |
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. |
CSIT |
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. |
Comput. Lang. Syst. Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Manuel Kolp, Yves Wautelet |
An Intentional Perspective on Partial Agile Adoption. |
ICSOFT |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Soreangsey Kiv, Samedi Heng, Yves Wautelet, Manuel Kolp |
Towards a Goal-Oriented Framework for Partial Agile Adoption. |
ICSOFT (Selected Papers) |
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. |
CSIT (1) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Nataliia Mykytenko, Dietmar Fink, Arnold E. Kiv |
Computer modeling of ion current pulsations in track-containing foils. |
J. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
Agent-Driven Integration Architecture for Component-Based Software Development. |
Trans. Comput. Collect. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Manuel Kolp |
An Iterative Process for Component-Based Software Development Centered on Agents. |
Trans. Comput. Collect. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
A Multi-Agent Architectural Pattern for Wrapping Off-the-Shelf Components. |
KES-AMSTA |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Sodany Kiv, Yves Wautelet, Manuel Kolp |
A Process for Cots-selection and Mismatches Handling - A Goal-driven Approach. |
ICAART (1) |
2010 |
DBLP BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp |
Round Tripping in Component Based Software Development. |
IAT |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Yves Wautelet, Sodany Kiv, Vi Tran, Manuel Kolp |
Strategic Reasoning in Software Development. |
ICEIS (3) |
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. |
ICEIS |
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. |
The Logic of Software. A Tasting Menu of Formal Methods |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Dominik Klumpp, Philip Lenzen |
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
KIV: overview and VerifyThis competition. |
Int. J. Softw. Tools Technol. Transf. |
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. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Robert Kozma 0001, Walter J. Freeman |
The KIV model of intentional dynamics and decision making. |
Neural Networks |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 128 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|