Kevin Driscoll

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 5

Top Topics

Answer Set Programming

Diffusion Process

Top Venues

Cyberpsychology Behav. Soc. Netw.

Publications

Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops (2021)
Jieun Shin, Lian Jian, Kevin Driscoll, François Bar
The diffusion of misinformation on social media: Temporal pattern, message, and source. Comput. Hum. Behav. 83 (2018)
Jieun Shin, Lian Jian, Kevin Driscoll, François Bar
Political rumoring on Twitter during the 2012 US presidential election: Rumor diffusion and correction. New Media Soc. 19 (8) (2017)
Emily K. Vraga, Leticia Bode, Chris Wells, Kevin Driscoll, Kjerstin Thorson
The Rules of Engagement: Comparing Two Social Protest Movements on YouTube. Cyberpsychology Behav. Soc. Netw. 17 (3) (2014)
Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. DSN (2005)
Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. DSN (2005)
Kevin Driscoll
BeepBeep: Embedded Real-Time Encryption. FSE (2002)
Peter Bergstrom, Kevin Driscoll, John Kimball
Making Home Automation Communications Secure. Computer 34 (10) (2001)
Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini
ARINC 659 Scheduling: Problem Definition. RTSS (1994)
Kevin Driscoll, Ken Hoyme
The Airplane Information Management System: an integrated real-time flight-deck control system. RTSS (1992)