Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
116 | Klodwig V. Mgaya, Faith-Michael E. Uzoka, Ernest G. Kitindi, Alice P. Shemi |
Examining career orientations of information systems personnel in an emerging economy context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2009 ACM SIGMIS CPR Conference on Computer Personnel Research 2009, May 28-30, 2009, Limerick, Ireland, pp. 41-56, 2009, ACM, 978-1-60558-427-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
botswana, career orientations, information systems personnel, organizational stability, service, motivation, career anchors |
76 | Faith-Michael E. Uzoka, Geoffrey G. Seleka |
B2C e-commerce development in Africa: case study of Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), Ann Arbor, Michigan, USA, June 11-15, 2006, pp. 290-295, 2006, ACM, 1-59593-236-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C2B, C2C, SADC, e-commerce, B2B, B2C, Africa, e-readiness |
46 | Habeenzu Keleba, Oteng Tabona, Thabiso M. Maupong |
Developing a Cyber-resilience state in Botswana's Energy Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Vasilis Koulolias, Kheira Belkacem, Vassiliki Zalavra |
Botswana Speaks Parliamentary Initiative: Paving the Way Towards Better Constituency Services in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV/ePart Ongoing Research ![In: Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of IFIP EGOV and IFIP ePart 2013, 16-19 September 2013, Koblenz, Germany, pp. 192-199, 2013, GI, 978-3-88579-615-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
46 | Moses Mmileng Moreri, Maubrey Russ Pitso, Alan Strickley |
A Comparative Study of Access to Web-Enabled Services in Botswana and the UK: Issues, Obstacles and Solutions. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITEM ![In: Information Technology and Managing Quality Education - 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers, pp. 186-194, 2010, Springer, 978-3-642-19714-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
46 | Paul T. Nleya |
eLearning Attitudes in Botswana's Private Sector. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITEM ![In: Information Technology and Managing Quality Education - 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers, pp. 139-148, 2010, Springer, 978-3-642-19714-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Melba M. Crawford, Wonkook Kim |
Manifold Learning for Multi-classifier Systems via Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCS ![In: Multiple Classifier Systems, 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings, pp. 519-528, 2009, Springer, 978-3-642-02325-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yangchi Chen, Melba M. Crawford, Joydeep Ghosh |
Knowledge Based Stacking of Hyperspectral Data for Land Cover Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 316-322, 2007, IEEE, 1-4244-0705-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Chinaza Uleanya |
Scholarly discourse of the fourth industrial revolution (4IR) and education in Botswana: a scoping review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 28(3), pp. 3249-3265, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ethel Tshukudu, Sue Sentance, Oluwatoyin Adelakun-Adeyemo, Brenda Nyaringita, Keith Quille, Ziling Zhong |
Investigating K-12 Computing Education in Four African Countries (Botswana, Kenya, Nigeria, and Uganda). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Educ. ![In: ACM Trans. Comput. Educ. 23(1), pp. 9:1-9:29, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Gerald Kennedy |
Impact of Synchronous and Asynchronous Learning Approach: A Comparative Study of Graphic Design Students in a Developing Country (Botswana) Verses a Developed Country (UK). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (14) ![In: Cross-Cultural Design - 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III, pp. 215-231, 2023, Springer, 978-3-031-35945-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Polina Lemenkova |
Mapping Climate Parameters over the Territory of Botswana Using GMT and Gridded Surface Data from TerraClimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 11(9), pp. 473, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Dawn Lyken-Segosebe, Gladys Gamariel, Kelebonye Bagai |
Boundary Crossing for Education Continuity: Exploring WhatsApp's Potential in Botswana During and Beyond the Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 16(2), pp. 59-81, January 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Gabaikanngwe Ethel Mambo, Kinyanjui Godfrey Gichuhi |
An Analysis of the Implementation of Children's Rights in the Digital World: A Case Study of Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENTERIS/ProjMAN/HCist ![In: CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., pp. 614-618, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Seth Sarefo, Maurice E. Dawson, Banyatsang Mphago |
An exploratory analysis of the cybersecurity threat landscape for Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENTERIS/ProjMAN/HCist ![In: CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., pp. 1012-1022, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Seth Sarefo, Banyatsang Mphago, Maurice E. Dawson |
An analysis of Botswana's cybercrime legislation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENTERIS/ProjMAN/HCist ![In: CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., pp. 1023-1033, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | J. K. Ssegawa, S. Keakile |
Analyzing the Nature of Contractor Claims and Strategies for their Effective Management: A case of BuildServe in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENTERIS/ProjMAN/HCist ![In: CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., pp. 1814-1822, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | |
International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![IEEE, 978-1-6654-8758-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Tsholofetso Taukobong, Oduronke T. Eyitayo, Bontle Gopolang |
Social Media Usage Amongst University of Botswana First Year Undergraduate Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: Proceedings of the 9th International Conference on Applied Computing & Information Technology, Virtual Event, USA, May 25-26, 2022, pp. 6-11, 2022, ACM, 978-1-4503-9760-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Justin Sacks, Rosendy Galabo, Badziili Nthubu |
Botswana Blood Commons: Visualizing blood services as a public-commons partnership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC (2) ![In: PDC 2022: Participatory Design Conference 2022, Newcastle upon Tyne United Kingdom, 19 August 2022 - 1 September 2022, Volume 2, pp. 84-93, 2022, ACM, 978-1-4503-9681-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Moemedi Lefoane, Ibrahim Ghafir, Sohag Kabir, Irfan-Ullah Awan |
Multi-stage Attack Detection: Emerging Challenges for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Zaina AlSaed, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui, Segun I. Popoola |
An Integrated Framework Implementation For Cloud Forensics Investigation Using Logging Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Samira Homayouni, Mario Paier, Taulant Berisha, Sebastian Woblistin, Johannes Rehak |
3GPP-based Verification of Latency Measurements in Operational Cellular Networks with Low-altitude Drones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kebonyethebe Ramahatla, Modisa Mosalaosi, Abid Yahya, Bokamoso Basutli |
Design of a Dual-band Antenna Array for CubeSat Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Devlina Adhikari |
A Dynamic Spectrum Allocation Scheme to limit the FWM Effects in Elastic Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Amjad Ali |
Adaptation Diffusion Strategy Over Wireless Fading Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Rui S. Moreira, Christophe Soares, José M. Torres 0001, Pedro Miguel Sobral, Célio Carvalho, Bruno Gomes, Karim Karmali, Salim Karmali, Rafael Rodrigues |
An IoT Sensing System for Managing Industrial FOG-Separators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-7, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Mohammed Alfaqawi, Sylvie Baron, Vincent Pitard, Stéphane Davai, Nathalie Banoun |
Performance Evaluation of 5G Use Cases for Smart Factory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ugur Nezir, Ibrahim Bali, Sebnem Baydere |
A Simulated Case Study of Smart Grid's Impact on Enabling Renewable Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ammar Dawabsheh, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui, Segun I. Popoola |
An Enhanced Phishing Detection Tool Using Deep Learning From URL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Gautam Siwach, Adinarayana Haridas, Nagaraj Chinni |
Evaluating operational readiness using chaos engineering simulations on Kubernetes architecture in Big Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-7, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jyotishna Kurmi, Rakesh Matam |
Device Identification in IoT Networks using Network Trace Fingerprinting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Olebogeng B. Kobe, Ibo Ngebani, Sajid M. Sheikh, Ishmael Zibani |
Performance Analysis of SBL-based Algorithms for DOA Estimation of Smart Antenna Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | L. Rajya Lakshmi |
Resource and History-Aware IoT Task Scheduling in Volunteer Assisted Fog Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Teddy Tumisang Ramodimo, Kesaobaka Mmopelwa, Bokamoso Basutli, Oduetse Matsebe |
Magnetic Control for Detumbling of Satellites: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Juan Carlos Amézquita Tovar, Nelson Giovani Agudelo Cristancho, Yuli Andrea Rodriguez Parra |
Machine Learning to Detect Inconsistent Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Gautam Siwach, Adinarayana Haridas, Don Bunch |
Inferencing Big Data with Artificial Intelligence & Machine Learning Models in Metaverse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jet Chu, Derock Xie |
A Network-based Distributed Data Storage System for Data Security in a Hostile Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Sajid M. Sheikh, Ketshephaone M. Mokgwathi, Edwin Matlotse |
Design and Implementation of a Mobile Health Check Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | David McDaid, Kevin Meehan |
Using Deep Learning for Facial Recognition: Implementing a Convolutional Siamese Neural Network in a Facial Recognition System for Cattle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Semra Ince, Zahra Esfandiari Baiat, Sebnem Baydere |
Real-time Video Data Traffic Management for Publish-Subscribe based Messaging System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Christian R. H. Kjær, Christopher B. Henriksen, Stanley Chukwuebuka Nwabuona, Martin Nordal Petersen, Sarah Ruepp |
Classification of Lifts Using a Smart Insole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Qingsen Zhang |
Attendance System based on Blockchain and Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ofaletse Mphale, Neo Raffing, Sajid M. Sheikh, Lavanya Balasubramanian |
Time Series Forecasting of COVID-19 Mortality in SADC region with Facebook Prophet Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Raghad Khweiled, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui |
Using SQLite Structure Analysis To Retrieve Unsent Messages On WhatsApp Messaging Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ahmed Salem, Marc St-Hilaire, Muhammad Sajjad Khan |
Mathematical Models for Task Assignment with Service Level Agreement in Fog Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Satea Hikmat Alnajjar, Walaa Khalil Abrahem |
Light Fidelity system performance in data transmission through the effect of Free-Space Optical Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Dasari Naga Vinod, Caspar K. Lebekwe, Adamu Murtala Zungeru, D. Menaka |
Correlation and Causation in the Perspective of COVID-19: An Empirical Study on Canonical Correlation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Pako Moaro, Modisa Mosalaosi, Joseph Monamati Chuma, Bokamoso Basutli |
A Low Complexity Digital Front-End for CubeSat Software Defined Radio Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Moita, Marco Silva 0001, Luís M. Roseiro, Nuno Lavado, João Bosco M. Sobral |
A smart face-shield with active defogging against coronaVirus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Queeneth Kingsley-Omoyibo, Ihueze Christopher Chukwutoo |
Industry 4.0: A Comparative Analysis of Advanced Planning and Scheduling Manufacturing Soft wares for Implementation and Adoption in Connected Factories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Sami Habib, Paulvanna Nayaki Marimuthu |
Self-Aware Opportunistic Transmissions for Energy Management within Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Stephen Ugwuanyi, Jidapa Hansawangkit, Rabia Khan, Kinan Ghanem, Ross McPherson, James Irvine 0001 |
Communication Requirements and Deployment Challenges of Cloudlets in Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Merin Joseph, Kanika Sood, Tianhao Shen |
COVID-19 Epidemic Forecast using Machine Learning Regression Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kesaobaka Mmopelwa, Teddy Tumisang Ramodimo, Oduetse Matsebe, Bokamoso Basutli |
Attitude Determination and Attitude Estimation for Earth Observing 1U CubeSats: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Bose A. Lungisani, Caspar K. Lebekwe, Adamu Murtala Zungeru |
SIFT and RANSAC-Based Image Mosaic Algorithm for Image Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Nathan Sealey, Adnan Aijaz, Ben Holden |
IOTA Tangle 2.0: Toward a Scalable, Decentralized, Smart, and Autonomous IoT Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Paul Samuel Christopherson, Amna Eleyan, Tarek Bejaoui, Mahmoud Jazzar |
Smart Stick for Visually Impaired People using Raspberry Pi with Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Edgar Ramos, Marie-José Montpetit, Antonio F. Skarmeta, Mathieu Boussard, Vangelis Angelakis, Dirk Kutscher |
Architecture Framework for Intelligence Orchestration in AIoT and IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ernest Gomolemo Modise, Adamu Murtala Zungeru, Bokani Mtengi, Albert Uchenna Ude |
A Fast and Noise Rejecting Kolmogorov-Smirnvo Sorting Algorithm in X-ray Diamond sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ali Ebraheem, Ilya Ivanov |
Internet of Things: Analysis of Parameters and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Oteng Tabona, Kopo M. Ramokapane, Thabiso M. Maupong |
On Big Data Forensic and Forensic Cloud Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jwaone Gaboitaolelwe, Adamu Murtala Zungeru, Abid Yahya, Caspar K. Lebekwe |
Electricity Load Prediction Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kegomoditswe Boikanyo, Adamu Murtala Zungeru, Abid Yahya, Caspar K. Lebekwe |
Performance Evaluation of Termite Hill Routing Algorithm on Mobile and Static Sources of RPMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Pendukeni N. Phalaagae, Adamu Murtala Zungeru, Boyce Sigweni, Rajalakshmi Selvaraj |
RBAS: Randomized Bi-Phase Authentication Scheme for Wireless Internet of Things Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartNets ![In: International Conference on Smart Applications, Communications and Networking, SmartNets 2022, Palapye, Botswana, November 29 - Dec. 1, 2022, pp. 1-7, 2022, IEEE, 978-1-6654-8758-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kagiso Ndlovu, Richard E. Scott, Maurice Mars |
Interoperability opportunities and challenges in linking mhealth applications and eRecord systems: Botswana as an exemplar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 21(1), pp. 246, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Norman Rudhumbu, Elize Du Plessis, Kanos Matyokurehwa, Cross Gombiro |
Using the personal computer utilisation model to predict students' technology user behaviour in universities in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Learn. Technol. ![In: Int. J. Learn. Technol. 16(3), pp. 225-245, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | K. Ntshwene, J. K. Ssegawa, P. D. Rwelamila |
Key Performance Indicators (KPIs) for measuring PMOs Services in selected Organisations in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CENTERIS/ProjMAN/HCist ![In: CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, pp. 964-972, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan E. Bambokela, Mohamed Belaid, Edison Muzenda, Trust Nhubu |
Developing a Pilot Biogas-Solar PV System for Farming Communities in Botswana: Case of Palapye. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Proceedings of the 3rd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2022), Virtual Event / Upper Austria University of Applied Sciences - Hagenberg Campus - Linz, Austria, 17-19 November 2021., pp. 1593-1604, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Admore Tutsirayi Nyamaka, Adele Botha, Judy van Biljon, Mario Alphonso Marais |
The components of an innovation ecosystem framework for Botswana's mobile applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Inf. Syst. Dev. Ctries. ![In: Electron. J. Inf. Syst. Dev. Ctries. 86(6), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Helen Sharp, Nicole Lotz, Letsema Mbayi-Kwelagobe, Mark R. Woodroffe, Dino Rajah, Ranganai Turugare |
Socio-cultural factors and capacity building in Interaction Design: Results of a video diary study in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 135, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Oarabile Sebubi, Irina Zlotnikova, Hlomani Hlomani |
Open Data for Sustainable Development on a Knowledge-Based Economy: The Case of Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Sci. J. ![In: Data Sci. J. 19, pp. 44, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Lentswe Sokwane, Gbolagade Adekanmbi |
Exploring the Teaching and Learning Quality Question in Technical Education in Botswana: A Case Study of Gaborone Technical College. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Adult Vocat. Educ. Technol. ![In: Int. J. Adult Vocat. Educ. Technol. 10(2), pp. 25-39, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nayna Ann Moni, Boyce Sigweni, Mmoloki Mangwala, Lone Kolobe |
Water Leak Detection from Irrigation Pipelines in Botswana using Vibration Interpretation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICON ![In: 2019 IEEE AFRICON, Accra, Ghana, September 25-27, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3289-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Oduronke T. Eyitayo, Goaletsa Rammidi |
A Comparative Study on the Academic Performance of Three Information System (IS) Streams at the University of Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMIS-CPR ![In: Proceedings of the 2019 on Computers and People Research Conference, SIGMIS-CPR 2019, Nashville, TN, USA, June 20-22, 2019., pp. 3, 2019, ACM, 978-1-4503-6088-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | V. Lakshmi Narasimhan |
Botswana's Lab-In-A-Briefcase: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019, Sydney, NSW, Australia, January 29-31, 2019, pp. 13:1-13:8, 2019, ACM, 978-1-4503-6603-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Pelleth Y. Thomas, Rebana N. Mmereki, Rudolph L. Boy |
Evaluation of an Academic and Student Administration System in its Post-Implementation Phase: A Case Study at the University of Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Enterp. Inf. Syst. ![In: Int. J. Enterp. Inf. Syst. 14(3), pp. 79-90, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Matteo Albano, Marco Polcari, Christian Bignami, Marco Moro, Michele Saroli, Salvatore Stramondo |
Did Anthropogenic Activities Trigger the 3 April 2017 Mw 6.5 Botswana Earthquake? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 9(10), pp. 1028, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Klodwig V. Mgaya, Gangappa Kuruba, Venkata Syamala Jyothi Pallapolu |
Key issues of information systems management in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Chang. Manag. ![In: Int. J. Inf. Syst. Chang. Manag. 9(1), pp. 70-84, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | A. W. Mogwe, K. K. Kenosi |
Deployment of free Wi-Fi voice communications to report crime incidents in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Scalable Inf. Syst. ![In: EAI Endorsed Trans. Scalable Inf. Syst. 4(15), pp. e5, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Eiter, David Sands 0001, Geoff Sutcliffe, Andrei Voronkov (eds.) |
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Thomas Eiter, David Sands 0001 (eds.) |
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Kagiso Ndlovu, Zablon A. Mbero, Carrie L. Kovarik, Arif Patel |
Network performance analysis of the television white space (TVWS) connectivity for telemedicine: A case for Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICON ![In: IEEE AFRICON 2017, Cape Town, South Africa, September 18-20, 2017, pp. 542-547, 2017, IEEE, 978-1-5386-2775-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Meduduetso Tsumake, Michael Kyobe |
A Conceptual Model to Guide the Evaluation of E-Business Value in Small and Medium-Sized Enterprises in Botswana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICOMM ![In: e-Infrastructure and e-Services for Developing Countries - 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings, pp. 293-303, 2017, Springer, 978-3-319-98826-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Edwin Thuma, Nkwebi Peace Motlogelwa, Tebo Leburu-Dingalo |
UB-Botswana Participation to CLEF eHealth IR Challenge 2017: Task 3 (IRTask1 : Ad-hoc Search). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, Dublin, Ireland, September 11-14, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | David Toman 0001, Grant E. Weddell |
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 1-10, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Going Polymorphic - TH1 Reasoning for Leo-III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 100-112, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001 |
Reasoning with Concept Diagrams about Antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 27-42, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Krzysztof R. Apt, Dominik Wojtczak |
Decidability of Fair Termination of Gossip Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 73-85, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Giles Reger, Martin Suda 0001 |
Set of Support for Theory Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 124-134, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller |
Capability Discovery for Automated Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 113-118, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Benzmüller, Alexander Steen, Max Wisniewski |
Leo-III Version 1.1 (System description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 11-26, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf |
Abduction by Non-Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 58-72, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Abhishek Kr Singh |
Formalization of some central theorems in combinatorics of finite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 43-57, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Julio César López-Hernández, Konstantin Korovin |
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 119-123, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Olli Saarikivi, Margus Veanes |
Translating C# to Branching Symbolic Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 86-99, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Miika Hannula, Juha Kontinen, Sebastian Link |
On the Interaction of Inclusion Dependencies with Independence Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 212-226, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
A Quantitative Partial Model-Checking Function and Its Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 319-337, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Emmanuel Hainry, Romain Péchoux |
Higher order interpretation for higher order complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 269-285, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Sabine Bauer 0002, Martin Hofmann 0001 |
Decidable linear list constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 181-199, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|