Nikolaos Papanikolaou

12 papers A* 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Pancreatic cancer detection through semantic segmentation of CT images: a short review. Discov. Artif. Intell. Chiranjeevi Karri, João Santinha, Nikolaos Papanikolaou, Santosh Kumar Gottapu, Manohar Vuppula, P. M. K. Prasad
2012	J	`jnl`	Refinement checking for privacy policies. Sci. Comput. Program. Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith
2010	J	`jnl`	Static Analysis of Information Release in Interactive Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou
2009	—	`—`	Model checking quantum protocols. Nikolaos Papanikolaou
2008	A*	`conf`	QMC: A Model Checker for Quantum Systems. CAV Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2007	—	`conf`	Exogenous Probabilistic Computation Tree Logic. QAPL Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
2005	J	`jnl`	An Automated Analysis of the Security of Quantum Key Distribution CoRR Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
2005	J	`jnl`	Logic Column 13: Reasoning Formally about Quantum Systems: An Overview CoRR Nikolaos Papanikolaou
2005	J	`jnl`	Probabilistic Model-Checking of Quantum Protocols CoRR Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2005	J	`jnl`	Review of "Classical and Quantum Computing with C++ and Java Simulations, by Yorick Hardy and Willi-Hans Steeb", Birkhauser Verlag, 2001. SIGACT News Nikolaos Papanikolaou
2005	J	`jnl`	Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News Nikolaos Papanikolaou
2005	—	`conf`	Simulating and Compiling Code for the Sequential Quantum Random Access Machine. QPL Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams