The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1991-2004 (16) 2005-2007 (15) 2008-2010 (32) 2011-2014 (19) 2015-2017 (60) 2018-2022 (67) 2023 (3)
Publication types (Num. hits)
article(57) inproceedings(150) phdthesis(1) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 212 publication records. Showing 212 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Klodwig 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 CPR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF botswana, career orientations, information systems personnel, organizational stability, service, motivation, career anchors
76Faith-Michael E. Uzoka, Geoffrey G. Seleka B2C e-commerce development in Africa: case study of Botswana. Search on Bibsonomy EC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF C2B, C2C, SADC, e-commerce, B2B, B2C, Africa, e-readiness
46Habeenzu Keleba, Oteng Tabona, Thabiso M. Maupong Developing a Cyber-resilience state in Botswana's Energy Industry. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Vasilis Koulolias, Kheira Belkacem, Vassiliki Zalavra Botswana Speaks Parliamentary Initiative: Paving the Way Towards Better Constituency Services in Botswana. Search on Bibsonomy EGOV/ePart Ongoing Research The full citation details ... 2013 DBLP  BibTeX  RDF
46Moses 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 ITEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
46Paul T. Nleya eLearning Attitudes in Botswana's Private Sector. (PDF / PS) Search on Bibsonomy ITEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Melba M. Crawford, Wonkook Kim Manifold Learning for Multi-classifier Systems via Ensembles. Search on Bibsonomy MCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Yangchi Chen, Melba M. Crawford, Joydeep Ghosh Knowledge Based Stacking of Hyperspectral Data for Land Cover Classification. Search on Bibsonomy CIDM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Chinaza Uleanya Scholarly discourse of the fourth industrial revolution (4IR) and education in Botswana: a scoping review. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Ethel 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 ACM Trans. Comput. Educ. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Gerald 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 HCI (14) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Polina Lemenkova Mapping Climate Parameters over the Territory of Botswana Using GMT and Gridded Surface Data from TerraClimate. Search on Bibsonomy ISPRS Int. J. Geo Inf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Dawn 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 Int. J. Interact. Mob. Technol. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Gabaikanngwe 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 CENTERIS/ProjMAN/HCist The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Seth Sarefo, Maurice E. Dawson, Banyatsang Mphago An exploratory analysis of the cybersecurity threat landscape for Botswana. Search on Bibsonomy CENTERIS/ProjMAN/HCist The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Seth Sarefo, Banyatsang Mphago, Maurice E. Dawson An analysis of Botswana's cybercrime legislation. Search on Bibsonomy CENTERIS/ProjMAN/HCist The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23J. 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 CENTERIS/ProjMAN/HCist The full citation details ... 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Tsholofetso Taukobong, Oduronke T. Eyitayo, Bontle Gopolang Social Media Usage Amongst University of Botswana First Year Undergraduate Students. Search on Bibsonomy ACIT The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Justin Sacks, Rosendy Galabo, Badziili Nthubu Botswana Blood Commons: Visualizing blood services as a public-commons partnership. Search on Bibsonomy PDC (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Moemedi Lefoane, Ibrahim Ghafir, Sohag Kabir, Irfan-Ullah Awan Multi-stage Attack Detection: Emerging Challenges for Wireless Networks. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Zaina AlSaed, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui, Segun I. Popoola An Integrated Framework Implementation For Cloud Forensics Investigation Using Logging Tool. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Samira 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Kebonyethebe Ramahatla, Modisa Mosalaosi, Abid Yahya, Bokamoso Basutli Design of a Dual-band Antenna Array for CubeSat Application. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Devlina Adhikari A Dynamic Spectrum Allocation Scheme to limit the FWM Effects in Elastic Optical Networks. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Amjad Ali Adaptation Diffusion Strategy Over Wireless Fading Channels. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Rui 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Mohammed Alfaqawi, Sylvie Baron, Vincent Pitard, Stéphane Davai, Nathalie Banoun Performance Evaluation of 5G Use Cases for Smart Factory. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ugur Nezir, Ibrahim Bali, Sebnem Baydere A Simulated Case Study of Smart Grid's Impact on Enabling Renewable Energy. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ammar Dawabsheh, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui, Segun I. Popoola An Enhanced Phishing Detection Tool Using Deep Learning From URL. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Gautam Siwach, Adinarayana Haridas, Nagaraj Chinni Evaluating operational readiness using chaos engineering simulations on Kubernetes architecture in Big Data. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Jyotishna Kurmi, Rakesh Matam Device Identification in IoT Networks using Network Trace Fingerprinting. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Olebogeng 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23L. Rajya Lakshmi Resource and History-Aware IoT Task Scheduling in Volunteer Assisted Fog Computing. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Teddy Tumisang Ramodimo, Kesaobaka Mmopelwa, Bokamoso Basutli, Oduetse Matsebe Magnetic Control for Detumbling of Satellites: A Tutorial. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Juan Carlos Amézquita Tovar, Nelson Giovani Agudelo Cristancho, Yuli Andrea Rodriguez Parra Machine Learning to Detect Inconsistent Data. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Gautam Siwach, Adinarayana Haridas, Don Bunch Inferencing Big Data with Artificial Intelligence & Machine Learning Models in Metaverse. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Jet Chu, Derock Xie A Network-based Distributed Data Storage System for Data Security in a Hostile Network. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Sajid M. Sheikh, Ketshephaone M. Mokgwathi, Edwin Matlotse Design and Implementation of a Mobile Health Check Device. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23David 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Semra Ince, Zahra Esfandiari Baiat, Sebnem Baydere Real-time Video Data Traffic Management for Publish-Subscribe based Messaging System. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Christian 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Qingsen Zhang Attendance System based on Blockchain and Face Recognition. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ofaletse 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Raghad Khweiled, Mahmoud Jazzar, Amna Eleyan, Tarek Bejaoui Using SQLite Structure Analysis To Retrieve Unsent Messages On WhatsApp Messaging Application. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ahmed Salem, Marc St-Hilaire, Muhammad Sajjad Khan Mathematical Models for Task Assignment with Service Level Agreement in Fog Computing. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Satea Hikmat Alnajjar, Walaa Khalil Abrahem Light Fidelity system performance in data transmission through the effect of Free-Space Optical Communication. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Dasari 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Pako Moaro, Modisa Mosalaosi, Joseph Monamati Chuma, Bokamoso Basutli A Low Complexity Digital Front-End for CubeSat Software Defined Radio Applications. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Fernando 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Queeneth 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Sami Habib, Paulvanna Nayaki Marimuthu Self-Aware Opportunistic Transmissions for Energy Management within Wireless Sensor Networks. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Stephen 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Merin Joseph, Kanika Sood, Tianhao Shen COVID-19 Epidemic Forecast using Machine Learning Regression Techniques. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Kesaobaka Mmopelwa, Teddy Tumisang Ramodimo, Oduetse Matsebe, Bokamoso Basutli Attitude Determination and Attitude Estimation for Earth Observing 1U CubeSats: A Tutorial. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Bose A. Lungisani, Caspar K. Lebekwe, Adamu Murtala Zungeru SIFT and RANSAC-Based Image Mosaic Algorithm for Image Compression. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Nathan Sealey, Adnan Aijaz, Ben Holden IOTA Tangle 2.0: Toward a Scalable, Decentralized, Smart, and Autonomous IoT Ecosystem. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Paul Samuel Christopherson, Amna Eleyan, Tarek Bejaoui, Mahmoud Jazzar Smart Stick for Visually Impaired People using Raspberry Pi with Deep Learning. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Edgar 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ernest 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Ali Ebraheem, Ilya Ivanov Internet of Things: Analysis of Parameters and Requirements. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Oteng Tabona, Kopo M. Ramokapane, Thabiso M. Maupong On Big Data Forensic and Forensic Cloud Environment. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Jwaone Gaboitaolelwe, Adamu Murtala Zungeru, Abid Yahya, Caspar K. Lebekwe Electricity Load Prediction Using Machine Learning. Search on Bibsonomy SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Kegomoditswe 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Pendukeni 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 SmartNets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Kagiso Ndlovu, Richard E. Scott, Maurice Mars Interoperability opportunities and challenges in linking mhealth applications and eRecord systems: Botswana as an exemplar. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Norman 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 Int. J. Learn. Technol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23K. Ntshwene, J. K. Ssegawa, P. D. Rwelamila Key Performance Indicators (KPIs) for measuring PMOs Services in selected Organisations in Botswana. Search on Bibsonomy CENTERIS/ProjMAN/HCist The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Jonathan 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 ISM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Admore 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 Electron. J. Inf. Syst. Dev. Ctries. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Helen 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 Int. J. Hum. Comput. Stud. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Oarabile Sebubi, Irina Zlotnikova, Hlomani Hlomani Open Data for Sustainable Development on a Knowledge-Based Economy: The Case of Botswana. Search on Bibsonomy Data Sci. J. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Lentswe 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 Int. J. Adult Vocat. Educ. Technol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Nayna Ann Moni, Boyce Sigweni, Mmoloki Mangwala, Lone Kolobe Water Leak Detection from Irrigation Pipelines in Botswana using Vibration Interpretation Technique. Search on Bibsonomy AFRICON The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Oduronke 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 SIGMIS-CPR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23V. Lakshmi Narasimhan Botswana's Lab-In-A-Briefcase: A Position Paper. Search on Bibsonomy ACSW The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Pelleth 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 Int. J. Enterp. Inf. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Matteo 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 Remote. Sens. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Klodwig V. Mgaya, Gangappa Kuruba, Venkata Syamala Jyothi Pallapolu Key issues of information systems management in Botswana. Search on Bibsonomy Int. J. Inf. Syst. Chang. Manag. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23A. W. Mogwe, K. K. Kenosi Deployment of free Wi-Fi voice communications to report crime incidents in Botswana. Search on Bibsonomy EAI Endorsed Trans. Scalable Inf. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Thomas 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 LPAR (Short Presentations) The full citation details ... 2017 DBLP  BibTeX  RDF
23Thomas 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 LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
23Kagiso 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 AFRICON The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Meduduetso 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 AFRICOMM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Edwin 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 CLEF (Working Notes) The full citation details ... 2017 DBLP  BibTeX  RDF
23David Toman 0001, Grant E. Weddell An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Alexander Steen, Max Wisniewski, Christoph Benzmüller Going Polymorphic - TH1 Reasoning for Leo-III. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001 Reasoning with Concept Diagrams about Antipatterns. Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Krzysztof R. Apt, Dominik Wojtczak Decidability of Fair Termination of Gossip Protocols. Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Giles Reger, Martin Suda 0001 Set of Support for Theory Reasoning. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller Capability Discovery for Automated Reasoning Systems. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Christoph Benzmüller, Alexander Steen, Max Wisniewski Leo-III Version 1.1 (System description). Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf Abduction by Non-Experts. Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Abhishek Kr Singh Formalization of some central theorems in combinatorics of finite sets. Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Julio César López-Hernández, Konstantin Korovin Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Olli Saarikivi, Margus Veanes Translating C# to Branching Symbolic Transducers. Search on Bibsonomy LPAR (Short Presentations) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Miika Hannula, Juha Kontinen, Sebastian Link On the Interaction of Inclusion Dependencies with Independence Atoms. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 A Quantitative Partial Model-Checking Function and Its Optimisation. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Emmanuel Hainry, Romain Péchoux Higher order interpretation for higher order complexity. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Sabine Bauer 0002, Martin Hofmann 0001 Decidable linear list constraints. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 212 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license