Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying |
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 4:1-4:13, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Srdjan Skok, Josip Tosic, Ljupko Teklic |
Optimization of Preconditions in Transmission System Restoration Process by Using Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 5th International Conference on Contemporary Computing and Informatics, IC3I 2022, Uttar Pradesh, India, December 14-16, 2022, pp. 1642-1645, 2022, IEEE, 979-8-3503-9826-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Sung-Shik Jongmans, Petra van den Bos |
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 520-547, 2022, Springer, 978-3-030-99335-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jacky Liang, Xianyi Cheng, Oliver Kroemer |
Learning Preconditions of Hybrid Force-Velocity Controllers for Contact-Rich Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland, New Zealand., pp. 679-689, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Paul Bekaert, Norah Mohsen T. Alotaibi, Florian Mathis, Nina Gerber, Aidan Christopher Rafferty, Mohamed Khamis, Karola Marky |
Are Thermal Attacks a Realistic Threat? Investigating the Preconditions of Thermal Attacks in Users' Daily Lives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: NordiCHI '22: Nordic Human-Computer Interaction Conference, Aarhus, Denmark, October 8 - 12, 2022, pp. 76:1-76:9, 2022, ACM, 978-1-4503-9699-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich |
Inferring Interval-Valued Floating-Point Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 303-321, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ehsan Qasemi, Filip Ilievski, Muhao Chen, Pedro A. Szekely |
PaCo: Preconditions Attributed to Commonsense Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022., pp. 6781-6796, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Diego Marcilio, Carlo A. Furia |
What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, Limassol, Cyprus, October 3-7, 2022, pp. 340-351, 2022, IEEE, 978-1-6654-7956-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | J. Zhánel, P. Holecek, A. Zdercík |
Comparison of the Evaluation of Performance Preconditions in Tennis with the Use of Equal and Expertly Judged Criteria Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Sport ![In: Int. J. Comput. Sci. Sport 20(1), pp. 79-91, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ehsan Qasemi, Filip Ilievski, Muhao Chen, Pedro A. Szekely |
CoreQuisite: Circumstantial Preconditions of Common Sense Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.08712, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Geoff Goodell |
The Forgotten Preconditions for a Well-Functioning Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.12955, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Yubao Hou, Jinding Gao |
Stability and control of fuzzy time delay systems with unmatched preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 21(5), pp. 1091-1103, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Marlon Freire, Sérgio Nunes, David Duenas-Cid |
Analyzing Preconditions to Introduce Internet Voting in Portugal: Insights from the Estonian Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV-CeDEM-ePart-* ![In: Proceedings of Ongoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart 2021, University of Granada, Spain (Hybrid) 7 - 9 September 2021, pp. 37-45, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Gro-Hilde Severinsen, Line Silsand, Kristian Malm-Nicolaisen, Rune Pedersen |
Interoperability and Governance; Important Preconditions for Establishing Large-Scale Healthcare Infrastructures Like the Akson program in Norway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation - Proceedings of the 18th World Congress on Medical and Health Informatics, Virtual Event, 2-4 October 2021., pp. 17-21, 2021, IOS Press, 978-1-64368-264-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer |
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)., pp. 1:1-1:25, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-254-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Alex Licari LaGrassa, Oliver Kroemer |
Learning Model Preconditions for Planning with Multiple Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, 8-11 November 2021, London, UK., pp. 491-500, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Conny Olz, Susanne Biundo, Pascal Bercher |
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 11903-11912, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Hassan Noun, Christian Urban-Seelmann, Mohamed Abdelfattah, G. Rajesh, Iryna Mozgova, Roland Lachmayer |
Quantification of Preconditions for Processing Safety Relevant Vehicle Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 5th International Conference on System Reliability and Safety, ICSRS 2021, Palermo, Italy, November 24-26, 2021, pp. 265-269, 2021, IEEE, 978-1-6654-0049-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings, pp. 72-84, 2021, Springer, 978-3-030-79378-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Radha Jagadeesan, Alan Jeffrey, James Riely |
Pomsets with preconditions: a simple model of relaxed memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 194:1-194:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Shadi Oveisgharan, Daniel Esteban-Fernandez, Duane Waliser, Randall Friedl, Son V. Nghiem, Xubin Zeng |
Correction: Oveisgharan, S., et al. Evaluating the Preconditions of Two Remote Sensing SWE Retrieval Algorithms over the US, Remote Sensing 2020, 12, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(16), pp. 2592, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Shadi Oveisgharan, Daniel Esteban-Fernandez, Duane Waliser, Randall Friedl, Son V. Nghiem, Xubin Zeng |
Evaluating the Preconditions of Two Remote Sensing SWE Retrieval Algorithms over the US. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(12), pp. 2021, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Salomón Wollenstein-Betech, Christos G. Cassandras, Ioannis Ch. Paschalidis |
Personalized predictive models for symptomatic COVID-19 patients using basic preconditions: Hospitalizations, mortality, and the need for an ICU or ventilator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 142, pp. 104258, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Heeyoung Kwon, Mahnaz Koupaee, Pratyush Singh, Gargi Sawhney, Anmol Shukla, Keerthi Kumar Kallur, Nathanael Chambers, Niranjan Balasubramanian |
Modeling Preconditions in Text with a Crowd-sourced Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.02429, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Gidon Ernst |
Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.05023, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Mohit Sharma 0001, Oliver Kroemer |
Relational Learning for Skill Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.01693, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Leanna Ireland, James Hawdon, Bert Huang, Anthony Peguero |
Preconditions for guardianship interventions in cyberbullying: Incident interpretation, collective and automated efficacy, and relative popularity of bullies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 113, pp. 106506, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale |
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 193, pp. 102441, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Gennady N. Samarin, Alexander A. Kudryavtsev, Alexander G. Khristenko, Dmitry N. Ignatenko, Egor A. Krishtanov |
Preconditions for Optimizing Primary Milk Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICO ![In: ICO, pp. 1310-1318, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Mohit Sharma 0001, Oliver Kroemer |
Relational Learning for Skill Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: 4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020, Virtual Event / Cambridge, MA, USA, pp. 845-861, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Alejandro Aguirre 0001, Shin-ya Katsumata |
Weakest Preconditions in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, pp. 5-27, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Louise Petersen Matjeka |
The Move Maker - Exploring Bodily Preconditions and Surrounding Conditions for Bodily Interactive Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, CHI 2020, Honolulu, HI, USA, April 25-30, 2020, pp. 1-6, 2020, ACM, 978-1-4503-6819-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Lobna Hassan, Henrietta Jylhä, Max Sjöblom, Juho Hamari |
Flow in VR: A Study on the Relationships Between Preconditions, Experience and Continued Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 53rd Hawaii International Conference on System Sciences, HICSS 2020, Maui, Hawaii, USA, January 7-10, 2020, pp. 1-10, 2020, ScholarSpace. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Heeyoung Kwon, Mahnaz Koupaee, Pratyush Singh, Gargi Sawhney, Anmol Shukla, Keerthi Kumar Kallur, Nathanael Chambers, Niranjan Balasubramanian |
Modeling Preconditions in Text with a Crowd-sourced Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2020, Online Event, 16-20 November 2020., pp. 3818-3828, 2020, Association for Computational Linguistics, 978-1-952148-90-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kristof Meixner, Lukas Kathrein, Dietmar Winkler 0001, Arndt Lüder, Stefan Biffl |
Efficient Test Case Generation from Product and Process Model Properties and Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 859-866, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Line Silsand, Gro-Hilde Severinsen, Rune Pedersen, Gunnar Ellingsen |
Preconditions for Enabling Advanced Patient-Centered Decision Support on a National Knowledge Information Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2019: Health and Wellbeing e-Networks for All - Proceedings of the 17th World Congress on Medical and Health Informatics, Lyon, France, 25-30 August 2019., pp. 1773-1774, 2019, IOS Press, 978-1-64368-002-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001 |
Learning stateful preconditions modulo a test generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 775-787, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David Gamez |
Four Preconditions for Solving MC4 Machine Consciousness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Towards Conscious AI Systems ![In: Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), Stanford, CA, March 25-27, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus |
From Pattern Invocation Networks to Rule Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 195-211, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Martin van den Berg, Lars Cordewener, Raymond Slot, Patricia Lago, Hans van Vliet |
Preconditions for the Use of a Checklist by Enterprise Architects to Improve the Quality of a Business Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (1) ![In: 21st IEEE Conference on Business Informatics, CBI 2019, Moscow, Russia, July 15-17, 2019, Volume 1 - Research Papers, pp. 114-123, 2019, IEEE, 978-1-7281-0650-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Anthony J. Erjavac, Ronald Iammartino, John M. Fossaceca |
Evaluation of preconditions affecting symptomatic human error in general aviation and air carrier aviation accidents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 178, pp. 156-163, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Willeke, Henrik Prinzhorn, Malte Stonis, Peter Nyhuis |
Preconditions for applying an energy price-oriented sequencing rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prod. Eng. ![In: Prod. Eng. 12(1), pp. 73-81, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro 0001, Paulo Borba, Leopoldo Teixeira |
Detecting Overly Strong Preconditions in Refactoring Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 44(5), pp. 429-452, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Thais Elaine Vick, Marcelo Seido Nagano |
Preconditions for Successful Knowledge Creation in the Context of Academic Innovation Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Knowl. Manag. ![In: J. Inf. Knowl. Manag. 17(1), pp. 1850004:1-1850004:22, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Argubi-Wollesen, Robert Weidner |
Biomechanical Analysis: Adapting to Users' Physiological Preconditions and Demands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developing Support Technologies ![In: Developing Support Technologies - Integrating Multiple Perspectives to Create Assistance that People Really Want, pp. 47-61, 2018, Springer, 978-3-030-01835-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie 0001 |
PreInfer: Automatic Inference of Preconditions via Symbolic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018, pp. 678-689, 2018, IEEE Computer Society, 978-1-5386-5596-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer 0001 |
Towards combining usage mining and implementation analysis to infer API preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASPI@ESEC/SIGSOFT FSE ![In: Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018, pp. 15-16, 2018, ACM, 978-1-4503-6057-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale |
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings, pp. 442-455, 2018, Springer, 978-3-319-73116-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale |
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.05377, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Rui Bian, Xiangjun Wu, Aixiang Chen |
基于静态前提的谓词知识树分解策略 (Decomposition Strategy for Knowledge Tree of Predicate Based on Static Preconditions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(1), pp. 235-242, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Peter Forbrig, Gregor Buchholz |
Agile Software Development Process with Task Models having Triggers, Preconditions and Context Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoCHI ![In: 14th International Conference on Human Computer Interaction, RoCHI 2017, Craiova, Romania, September 11-12, 2017., pp. 35-42, 2017, Matrix Rom. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Irena Skrceska, Goran Velinov, Margita Kon-Popovska, Marijana Neskovska, Miroslav Pevac, Leonid Stoimenov, Daniela Ivanova Panova, Berislav Vekic, Boro Jakimovski |
Analysis of the Preconditions for Implementation of Nationwide EHR Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings, pp. 177-189, 2017, Springer, 978-3-319-67641-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yulei Sui, Ding Ye, Yu Su 0012, Jingling Xue |
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 65(4), pp. 1682-1699, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Hang Luo, Xue Liu 0001, Xi Chen 0009, Ting Long, Ronghua Jiang |
Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 42(9), pp. 866-885, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Egor George Karpenkov, David Monniaux |
Formula Slicing: Inductive Invariants from Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.09288, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Edita Bajramovic, Karl Waedt, Antonio Ciriello, Deeksha Gupta |
Forensic readiness of smart buildings: Preconditions for subsequent cybersecurity tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC2 ![In: IEEE International Smart Cities Conference, ISC2 2016, Trento, Italy, September 12-15, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-1846-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo |
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 225-233, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Kroemer, Gaurav S. Sukhatme |
Learning spatial preconditions of manipulation skills using random forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Humanoids ![In: 16th IEEE-RAS International Conference on Humanoid Robots, Humanoids 2016, Cancun, Mexico, November 15-17, 2016, pp. 676-683, 2016, IEEE, 978-1-5090-4718-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Egor George Karpenkov, David Monniaux |
Formula Slicing: Inductive Invariants from Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, pp. 169-185, 2016, 978-3-319-49051-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Lisardo Prieto-González, Johannes Schubert |
Requirements Engineering and Business Process Management as preconditions for the application of the Cloud Blueprinting Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung (Workshops) ![In: Modellierung 2016, 2.-4. März 2016, Karlsruhe - Workshopband, pp. 106-114, 2016, GI, 978-3-88579-649-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr. |
Crowdsourcing program preconditions via a classification game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pp. 1086-1096, 2016, ACM, 978-1-4503-3900-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | John K. Tarus, David Gichoya |
E-Learning in Kenyan Universities: Preconditions for Successful Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Inf. Syst. Dev. Ctries. ![In: Electron. J. Inf. Syst. Dev. Ctries. 66(1), pp. 1-14, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yoram Moses |
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015., pp. 231-245, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Zachary Terner, Donald E. Brown |
Preconditions and multilevel models in studying post-surgical adverse outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Netw. Model. Anal. Health Informatics Bioinform. ![In: Netw. Model. Anal. Health Informatics Bioinform. 4(1), pp. 20, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Michael Nofer |
The Value of Social Media for Predicting Stock Returns - Preconditions, Instruments and Performance Analysis ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
DOI RDF |
|
20 | Ansgar R. Koene, Elvira Perez, Christopher James Carter, Ramona Statache, Svenja Adolphs, Claire O'Malley, Tom Rodden, Derek McAuley |
Research Ethics and Public Trust, Preconditions for Continued Growth of Internet Mediated Research - Public Confidence in Internet Mediate Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: ICISSP 2015 - Proceedings of the 1st International Conference on Information Systems Security and Privacy, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 163-168, 2015, SciTePress, 978-989-758-081-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Hoan Anh Nguyen, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan |
Consensus-based mining of API preconditions in big code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 5-6, 2015, ACM, 978-1-4503-3722-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Severin Andreas Thomas-Morus Fichtl |
Developmental learning of preconditions for means-end actions from 3D vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | Frederik Deckwerth, Gergely Varró |
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus |
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.3186, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Wang Lin, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng |
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 8(2), pp. 192-202, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Eric J. Braude |
Weakest preconditions and cumulative subgoal fulfillment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 89, pp. 223-234, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Ferilli, Berardina De Carolis, Floriana Esposito |
Learning Complex Activity Preconditions in Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFMCP ![In: New Frontiers in Mining Complex Patterns - Third International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, Revised Selected Papers, pp. 164-178, 2014, Springer, 978-3-319-17875-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Elizabeth A. Teracino |
Institutional Preconditions Influencing Accounting Firms Mobilizing into the Online Software-Enhanced Financial Services Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 20th Americas Conference on Information Systems, AMCIS 2014, Savannah, Georgia, USA, August 7-9, 2014, 2014, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Kazimierz Fraczkowski, Zygmunt Mazur, Hanna Mazur |
Preconditions for Processing Electronic Medical Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDAS ![In: Beyond Databases, Architectures, and Structures - 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings, pp. 504-514, 2014, Springer, 978-3-319-06931-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed Nassim Seghir, Peter Schrammel |
Necessary and Sufficient Preconditions via Eager Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 236-254, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ding Ye, Yu Su 0012, Yulei Sui, Jingling Xue |
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 88-99, 2014, IEEE Computer Society, 978-1-4799-6032-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Hoan Anh Nguyen, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan |
Mining preconditions of APIs in large-scale code corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 166-177, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Elizabeth A. Teracino, Kristian Peters, Johan C. Wortmann |
Institutional Preconditions Influencing Banks Adopting Software-as-a-Service and Mobilizing for Servitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Building a Better World through Information Systems, ICIS 2014, Auckland, New Zealand, December 14-17, 2014, 2014, Association for Information Systems, 978-0-615-15788-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | James Brotherston, Nikos Gorogiannis |
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, pp. 68-84, 2014, Springer, 978-3-319-10935-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Steve Hallman, Jasur Rakhimov, Michel Plaisent, Prosper Bernard |
BIG DATA: Preconditions to Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014, Beijing, China, September 24-26, 2014, pp. 727-731, 2014, IEEE Computer Society, 978-1-4799-6513-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus |
Automatic repair of buggy if conditions and missing preconditions with SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTVA ![In: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014, pp. 30-39, 2014, ACM, 978-1-4503-2847-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Frederik Deckwerth, Gergely Varró |
Attribute Handling for Generating Preconditions from Graph Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 81-96, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ingrid Gottschalk, Stefan Kirn |
Cloud Computing As a Tool for Enhancing Ecological Goals? - Analyzing Necessary Preconditions on the Consumer Side. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 5(5), pp. 299-313, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Birgitta Kylesten |
Dynamic decision-making on an operative level: a model including preconditions and working method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 15(2), pp. 197-205, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Craig Boutilier |
Approximately Optimal Monitoring of Plan Preconditions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.3839, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Owen Eriksson, Göran Goldkuhl |
Preconditions for public sector e-infrastructure development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Organ. ![In: Inf. Organ. 23(3), pp. 149-176, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mireille Hildebrandt |
Autonomic and autonomous 'thinking': preconditions for criminaI accountability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Law, Human Agency and Autonomic Computing ![In: Law, Human Agency and Autonomic Computing - The Philosophy of Law Meets the Philosophy of Technology., pp. 141-160, 2013, Taylor & Francis, 978-0-415-72015-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo |
Automatic Inference of Necessary Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, pp. 128-148, 2013, Springer, 978-3-642-35872-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Eric Braude |
Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.5436, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Ulrika H. Westergren, Jonny Holmström |
Exploring preconditions for open innovation: Value networks in industrial firms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Organ. ![In: Inf. Organ. 22(4), pp. 209-226, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Severin Fichtl, John W. Alexander, Frank Guerin, Jimmy A. Jørgensen, Dirk Kraft, Norbert Krüger |
Rapidly learning preconditions for means-ends behaviour using active learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL-EPIROB ![In: 2012 IEEE International Conference on Development and Learning and Epigenetic Robotics, ICDL-EPIROB 2012, San Diego, CA, USA, November 7-9, 2012, pp. 1-2, 2012, IEEE, 978-1-4673-4964-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Chen-Wei Wang |
Calculating Preconditions for Parallel Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012, pp. 499-504, 2012, IEEE, 978-0-7695-4922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Valentina Durek, Nina Begicevic Redep, Blazenka Divjak |
Preconditions for the implementation of e-learning in primary schools in the Republic of Croatia - Pupils' perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITI ![In: Proceedings of the 34th International Conference on Information Technology Interfaces, ITI 2012, Cavtat / Dubrovnik, Croatia, June 25-28, 2012, pp. 183-188, 2012, IEEE, 978-1-4673-1629-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Pacholik, Matthias Riebisch |
Modelling Technical Constraints and Preconditions for Alternative Design Desicions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 101-106, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Matthew Pediaditis, Manolis Tsiknakis, Vangelis Kritsotakis, Spyridon Voutoufianakis, Magdalena Góralczyk, Pelagia Vorgia |
Exploiting advanced video analysis technologies for a smart home monitoring platform for epileptic patients: Technological and legal preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEMU ![In: 2012 International Conference on Telecommunications and Multimedia, TEMU 2012, Heraklion, Crete, Greece, July 30 - August 1, 2012, pp. 202-207, 2012, IEEE, 978-1-4673-2780-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Lorena Erdens, Daniela Barreiro Claro, Denivaldo Lopes, Patrick Albers |
Discoverying Cloud Services by Preconditions and Effects for Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, pp. 264-270, 2012, SciTePress, 978-989-8565-11-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Tianrong Lin |
On commutativity of quantum weakest preconditions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.4607, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001 |
Computing Preconditions and Postconditions of While Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings, pp. 173-193, 2011, Springer, 978-3-642-23282-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Olga Obuhova, Maxim Zaikin, Ivan Soloviev |
Предпосылки создания комплексированных индексов научного цитирования сотрудников научного института (The Preconditions of a New Method of Complexed Science Citation Indices for Researchers of Scientific Institute). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCDL ![In: Proceedings of the 13th All-Russian Scientific Conference `Digital libraries: Advanced Methods and Technologies, Digital Collections`, RCDL 2011, Voronezh, Russia, October 19-22, 2011., pp. 104-112, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|