Authors: Fandinno, Jorge, Lifschitz, Vladimir, Temple, Nathan
Superior Title: Computer Science Faculty Publications
Subject Terms: theory, specification, analysis and verification of systems, security, logic programming methodology and applications, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/105; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1105/viewcontent/locally_tight_programs.pdf
Authors: Bresnahan, Daniel, Hippen, Nicholas, Lierler, Yuliya
Superior Title: Computer Science Faculty Publications
Subject Terms: answer set programming, encoding optimizations, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/102; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1102/viewcontent/system_predictor_grounding_size_estimator_for_logic_programs_under_answer_set_semantics__1_.pdf
Superior Title: Computer Science Faculty Publications
Subject Terms: answer set programming, software verification, proof assistant, automated reasoning, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/103; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1103/viewcontent/external_behavior_of_a_logic_program_and_verification_of_refactoring.pdf
Authors: Fandinno, Jorge, Lifschitz, Vladimir
Superior Title: Computer Science Faculty Publications
Subject Terms: Answer set programming, Stable models, Completion, Splitting, Loop formulas, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/83; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1082/viewcontent/positive_dependency_graphs_revisited.pdf
Authors: Fandinno, Jorge, FARIÑAS DEL CERRO, LUIS
Superior Title: Computer Science Faculty Publications
Subject Terms: logic programming, abstract argumentation, equilibrium logic, constructive logic, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/82; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1083/viewcontent/abstract_argumentation_and_answer_set_programming_two_faces_of_nelsons_logic.pdf
Authors: Holzinger, Andreas, Ed., Goebel, Randy, Ed., Fong, Ruth, Ed., Moon, Taesup, Ed., Muller, Klaus-Robert, Ed., Samek, Wojciech, Ed., Tsai, Chun-Hua
Superior Title: Information Systems and Quantitative Analysis Faculty Books and Monographs
Subject Terms: Computer Science, informatics, conference proceedings, research, applications, open access
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/isqafacbooks/2; https://digitalcommons.unomaha.edu/context/isqafacbooks/article/1000/viewcontent/xxAI___Beyond_Explainable_AI.pdf
Authors: Moore, Byron
Superior Title: Theses/Capstones/Creative Projects
Subject Terms: Identity, social media, blockchain, web3, self-expression, self-sovereign governance, Computer Sciences, Software Engineering
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/university_honors_program/185; https://digitalcommons.unomaha.edu/context/university_honors_program/article/1190/viewcontent/auto_convert.pdf
Authors: Peker, Yesem Kurt, Bello, Gabriel, Perez, Alfredo J.
Superior Title: Computer Science Faculty Publications
Subject Terms: Bluetooth Smart, Bluetooth LE, security, privacy, wearables, fitness trackers, heart rate, BLE keyboards, usable privacy, usable security, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/81; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1080/viewcontent/Perez_On_the_Security_of_Bluetooth_Low_Energy_in_Two_Consumer_Wearable_Heart_Rate_Monitors.pdf
Authors: Perez, Alfredo J., Zeadally, Sherali
Superior Title: Computer Science Faculty Publications
Subject Terms: wearables, smartphones, sensing, fitness, mobile payments, financial technology, m-health, crowdsensing, internet of things, security, privacy, energy, COVID-19, SARS-CoV-2, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/91; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1085/viewcontent/recent_advances_in_wearable_sensing_technologies.pdf
Authors: Perez, Alfredo J., Zeadally, Sherali
Superior Title: Computer Science Faculty Publications
Subject Terms: Blockchain, Crowdsensing, Internet of Things (IoT), Privacy, Security, Smart contracts, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/79; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1081/viewcontent/Perez_Secure_and_privacy_preserving_crowdsensing_using_smart_contracts.pdf
Authors: Yu, Xiaodan, Shen, Yuanyanhang, Khazanchi, Deepak
Superior Title: Information Systems and Quantitative Analysis Faculty Publications
Subject Terms: Sensemaking, time pressure, virtual team, swift trust, virtual collaboration, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/isqafacpub/109; https://digitalcommons.unomaha.edu/context/isqafacpub/article/1104/viewcontent/Swift_Trust_and_Sensemaking_in_Fast_Response_Virtual_Teams.pdf
Authors: Tursi, Frank
Superior Title: UNO Student Research and Creative Activity Fair
Subject Terms: Hardware Systems, Information Security, Other Computer Sciences
Authors: Perez, Alfredo J., Zeadally, Sherali, Griffith, Scott, Matos Garcia, Luis Y., Mouloud, Jason A.
Superior Title: Computer Science Faculty Publications
Subject Terms: bystanders' privacy, facial privacy, face detection, face recognition, internet of things, wearables, usability, usable privacy, adversarial machine learning, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/90; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1086/viewcontent/a_user_study_of_a_wearable_system_to_enhance_bystanders_facial_privacy.pdf
Superior Title: Computer Science Faculty Publications
Subject Terms: blockchain, internet of things, sensor data, smart contracts, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/89; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1087/viewcontent/a_cost_analysis_of_internet_of_things_sensor_data_storage_on_blockchain_via_smart_contracts.pdf
Superior Title: Computer Science Faculty Publications
Subject Terms: Worked example, subgoal label, experiement, CS1, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/76; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1078/viewcontent/The_curious_case_of_loops.pdf; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1078/filename/0/type/additional/viewcontent/Curious_Case_of_Loops_Supplemental_Material.docx
Availability:
https://digitalcommons.unomaha.edu/compscifacpub/76
https://digitalcommons.unomaha.edu/context/compscifacpub/article/1078/viewcontent/The_curious_case_of_loops.pdf
https://digitalcommons.unomaha.edu/context/compscifacpub/article/1078/filename/0/type/additional/viewcontent/Curious_Case_of_Loops_Supplemental_Material.docx
Superior Title: Computer Science Faculty Publications
Subject Terms: Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/77; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1077/viewcontent/Reducing_withdrawal_and_failure_rates_in_introductory_programming_with_subgoal_labeled_worked_examples.pdf
Superior Title: Computer Science Faculty Publications
Subject Terms: Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/75; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1076/viewcontent/Effect_of_Implementing_Subgoals_in_Code.orgs_Intro_to_Programming_Unit_in_Computer_Science_Principles.pdf
Authors: House, Deanna, Giordano, Gabe
Superior Title: Information Systems and Quantitative Analysis Faculty Publications
Subject Terms: Politeness theory, Media richness, Mental workload, Secure browser settings, Security compliance, Human element, Experiment, Computer Sciences, Information Security
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/isqafacpub/106; https://digitalcommons.unomaha.edu/context/isqafacpub/article/1097/viewcontent/Politeness_in_security_directives_insights_in_browser_compliance_for_the_human_element.pdf
Authors: Fuchsberger, Alexander, Ricks, Brian, Chen, Zhicheng
Superior Title: Computer Science Faculty Publications
Subject Terms: Motion capture, pedestrian detection, agent/discrete models, real-time simulation, Computer Sciences
File Description: application/pdf
Relation: https://digitalcommons.unomaha.edu/compscifacpub/74; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1075/viewcontent/2020_A_Fuchsberger_SemiAutomatedTechnique.pdf
Authors: Mishra, Anoop
Superior Title: UNO Student Research and Creative Activity Fair