Search results for "TESLA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Erik Lindholm, John Nickolls, Stuart F. Oberman, John Montrym	NVIDIA Tesla: A Unified Graphics and Computing Architecture.	IEEE Micro	2008	DBLP DOI BibTeX RDF	SIMT, unified graphics and parallel computing architecture, cooperative thread array, GPU, graphics processing unit, SIMD, parallel processor, Tesla, Hot Chips 19
3	Mel Breuer	Tesla and AND gates.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	Nikola Tesla, radar, logic function, radio, AND gate
3	Alessio Lomuscio, Bozena Wozna	A complete and decidable security-specialised logic and its application to the TESLA protocol.	AAMAS	2006	DBLP DOI BibTeX RDF	security protocols, epistemic logic, TESLA
2	Gianpaolo Cugola, Alessandro Margara	TESLA: a formally defined event specification language.	DEBS	2010	DBLP DOI BibTeX RDF
2	Mingliang Wang, Hector Klie, Manish Parashar, Hari Sudan	Solving Sparse Linear Systems on NVIDIA Tesla GPUs.	ICCS	2009	DBLP DOI BibTeX RDF
2	William B. Langdon	A fast high quality pseudo random number generator for nVidia CUDA.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	park-miller, gpgpu, gpu, tesla, prng
2	Lei Liang, Haitham S. Cruickshank, Zhili Sun, Chamil Kulatunga, Gorry Fairhurst	TESLA with FLUTE over Satellite Networks.	ICC	2008	DBLP DOI BibTeX RDF
2	Satish Viswanath, B. Nicolas Bloch, Elizabeth Genega, Neil Rofsky, Robert E. Lenkinski, Jonathan Chappelow, Robert Toth, Anant Madabhushi	A Comprehensive Segmentation, Registration, and Cancer Detection Scheme on 3 Tesla In VivoProstate DCE-MRI.	MICCAI	2008	DBLP DOI BibTeX RDF
2	Yu-Shian Chen, I-Lun Lin, Chin-Laung Lei, Yen-Hua Liao	Broadcast Authentication in Sensor Networks Using Compressed Bloom Filters.	DCOSS	2008	DBLP DOI BibTeX RDF	?TESLA, sensor networks, network security, Bloom filters, broadcast authentication
2	Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt	DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET.	RAID	2006	DBLP DOI BibTeX RDF	DEMEM, TBRPF, attack method, MPR selector, Hello message, TC message, ID message, ID Manager, ID-Evidence, ID-Forward, ID-Request, MANET, constraint, IDS, AODV, evidence, DSR, OLSR, forwarder, TESLA, MPR
2	Goce Jakimoski	Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF	multicast stream authentication, cryptanalysis, block ciphers, message authentication, related-key attacks, TESLA
2	Vishwas Patil, R. K. Shyamasundar	e-coupons: An Efficient, Secure and Delegable Micro-Payment System.	Information Systems Frontiers	2005	DBLP DOI BibTeX RDF	PayWord, security, delegation, one-way hash function, micro-payment, TESLA, SPKI/SDSI
2	Donggang Liu, Peng Ning	Multilevel µTESLA: Broadcast authentication for distributed sensor networks.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	sensor networks, Broadcast authentication, TESLA
2	Mathias Bohge, Wade Trappe	An authentication framework for hierarchical ad hoc sensor networks.	Workshop on Wireless Security	2003	DBLP DOI BibTeX RDF	ad hoc networks, authentication, handoff, TESLA
1	Bobo Hu, Gopal Varma, Chris Randell, Stephen F. Keevil, Tobias Schaeffter, Paul Glover	A Novel Receive-Only Liquid Nitrogen ($\hbox{LN}_{2}$ )-Cooled RF Coil for High-Resolution In Vivo Imaging on a 3-Tesla Whole-Body Scanner.	IEEE T. Instrumentation and Measurement	2012	DBLP DOI BibTeX RDF
1	Wieslaw L. Nowinski, Chua Beng Chua, Yevgen Marchenko, F. Puspitsari, Ihar Volkau, Michael V. Knopp	Three-dimensional reference and stereotactic atlas of human cerebrovasculature from 7 Tesla.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Robert L. Barry, Stephen C. Strother, J. Christopher Gatenby, John C. Gore	Data-driven optimization and evaluation of 2D EPI and 3D PRESTO for BOLD fMRI at 7 Tesla: I. Focal coverage.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Maobin Wei, Zhiwei Shen, Gang Xiao, Renhua Wu, Qingchun Qiu, Yaowen Chen	Imaging pH phantoms using magnetization transfer technology at 1.5 Tesla.	BMEI	2011	DBLP DOI BibTeX RDF
1	Daiyue Zeng, Zhiwei Shen, Yeyu Xiao, HaiYang Dai, Renhua Wu, Yaowen Chen	Detection of γ-aminobutyric acid level in vivo with MEGA-PRESS sequence at 1.5 Tesla.	BMEI	2011	DBLP DOI BibTeX RDF
1	Rocco Gasteiger, Gabor Janiga, Daniel Stucht, Anja Hennemuth, Ola Friman, Oliver Speck, Michael Markl, Bernhard Preim	Vergleich zwischen 7 Tesla 4D PC-MRI-Flussmessung und CFD-Simulation.	Bildverarbeitung für die Medizin	2011	DBLP DOI BibTeX RDF
1	Minjeong Kim, Guorong Wu, Wei Li, Li Wang, Young-Don Son, Zang-Hee Cho, Dinggang Shen	Segmenting Hippocampus from 7.0 Tesla MR Images by Combining Multiple Atlases and Auto-Context Models.	MLMI	2011	DBLP DOI BibTeX RDF
1	Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic	Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator.	QSIC	2011	DBLP DOI BibTeX RDF
1	Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu	Modeling and Analyzing the (mu)TESLA Protocol Using CSP.	TASE	2011	DBLP DOI BibTeX RDF
1	Wei Liao, Karl Rohr, Chang-Ki Kang, Zang-Hee Cho, Stefan Wörz	A generative MRF approach for automatic 3D segmentation of cerebral vasculature from 7 Tesla MRA images.	ISBI	2011	DBLP DOI BibTeX RDF
1	Neda Jahanshad, Iman Aganj, Christophe Lenglet, Anand A. Joshi, Yan Jin, Marina Barysheva, Katie McMahon, Greig I. de Zubicaray, Nicholas G. Martin, Margaret J. Wright, Arthur W. Toga, Guillermo Sapiro, Paul M. Thompson	Sex differences in the human connectome: 4-Tesla high angular resolution diffusion imaging (HARDI) tractography in 234 young adult twins.	ISBI	2011	DBLP DOI BibTeX RDF
1	Kelly H. Zou, Hongyan Du, Shawn Sidharthan, Lisa M. DeTora, Yunmei Chen, Ann B. Ragin, Robert R. Edelman, Ying Wu	Statistical Evaluations of the Reproducibility and Reliability of 3-Tesla High Resolution Magnetization Transfer Brain Images: A Pilot Study on Healthy Subjects.	Int. J. Biomedical Imaging	2010	DBLP DOI BibTeX RDF
1	D. Kumar, Mohammed Abdul Qadeer	Fast heterogeneous computing with CUDA compatible Tesla GPU computing processor (personal supercomputing).	ICWET	2010	DBLP DOI BibTeX RDF
1	Pulkit Grover, Anant Sahai	Shannon meets Tesla: Wireless information and power transfer.	ISIT	2010	DBLP DOI BibTeX RDF
1	Lei Liang, Haitham S. Cruickshank, Zhili Sun, Chamil Kulatunga, Gorry Fairhurst	The Integration of TESLA and FLUTE over Satellite Networks.	GLOBECOM	2010	DBLP DOI BibTeX RDF
1	Mark E. Ladd, Lale Umutlu, Stefan Maderwald, Sonja Kinner, Stephan Orzada, Kai Nassenstein, Irina Brote, Harald Quick, Lena Schaefer, Susanne Ladd, Gerald Antoch, Oliver Kraff, Andreas Bitz, Thomas Lauenstein	In vivo MRI of the human torso at 7 Tesla using multi-channel transmit.	ISBI	2010	DBLP DOI BibTeX RDF
1	Don-Gu Yeo, Heung-Youl Youm	An µTESLA Protocols with Multi-senders Based on a 2-Level XOR Chain with Data-Loss Tolerance.	SAINT	2010	DBLP DOI BibTeX RDF	Tree-based, ÂµTPCT-based, 2LXORC-based ÂµTESLA, WSN, component
1	John Nickolls, William J. Dally	The GPU Computing Era.	IEEE Micro	2010	DBLP DOI BibTeX RDF	scalable parallel computing, heterogeneous CPU+GPU coprocessing, Tesla GPU architecture, Fermi GPU architecture, NVIDIA, CUDA, GPU computing
1	Peter Bakkum, Kevin Skadron	Accelerating SQL database operations on a GPU with CUDA.	GPGPU	2010	DBLP DOI BibTeX RDF	databases, SQL, GPGPU, CUDA
1	Surendra Byna, Jiayuan Meng, Anand Raghunathan, Srimat T. Chakradhar, Srihari Cadambi	Best-effort semantic document search on GPUs.	GPGPU	2010	DBLP DOI BibTeX RDF	best-effort computing, dependency relaxation, supervised semantic indexing, GPGPU, CUDA, document search
1	Nate Blaylock, Bradley Swain, James F. Allen	TESLA: A Tool for Annotating Geospatial Language Corpora.	HLT-NAACL (Short Papers)	2009	DBLP BibTeX RDF
1	Veerendra Allada, Troy Benjegerdes, Brett Bode	Performance analysis of memory transfers and GEMM subroutines on NVIDIA Tesla GPU cluster.	CLUSTER	2009	DBLP DOI BibTeX RDF
1	Peter Bui, Jay B. Brockman	Performance analysis of accelerated image registration using GPGPU.	GPGPU	2009	DBLP DOI BibTeX RDF	performance analysis, image registration, GPGPU, CUDA
1	Paulius Micikevicius	3D finite difference computation on GPUs using CUDA.	GPGPU	2009	DBLP DOI BibTeX RDF	parallel algorithms, GPU, CUDA, finite difference
1	Vibhav Vineet, Pawan Harish, Suryakant Patidar, P. J. Narayanan	Fast minimum spanning tree for large graphs on the GPU.	High Performance Graphics	2009	DBLP DOI BibTeX RDF
1	Jiayuan Meng, Kevin Skadron	Performance modeling and automatic ghost zone optimization for iterative stencil loops on GPUs.	ICS	2009	DBLP DOI BibTeX RDF	ghost zone, parallel computing, gpu, stencil computation
1	Gregorio Quintana-Ortí, Francisco D. Igual, Enrique S. Quintana-Ortí, Robert A. van de Geijn	Solving dense linear systems on platforms with multiple hardware accelerators.	PPOPP	2009	DBLP DOI BibTeX RDF	algorithms-by-blocks, depencency analysis, dynamic scheduling, out-of-order execution, gpus
1	Bharat Sukhwani, Martin C. Herbordt	FPGA-based acceleration of CHARMM-potential minimization.	SC-HPRCTA	2009	DBLP DOI BibTeX RDF
1	Ali Fanian, Mehdi Berenjkoub, T. Aaron Gulliver	A new mutual authentication protocol for GSM networks.	CCECE	2009	DBLP DOI BibTeX RDF
1	Seunghwa Kang, David A. Bader, Richard W. Vuduc	Understanding the design trade-offs among current multicore systems for numerical computations.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Narayanan Sundaram, Anand Raghunathan, Srimat T. Chakradhar	A framework for efficient and scalable execution of domain-specific templates on GPUs.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Xiaohua Shi, Chuang Li, Xu Wang, Kang Li	A Practical Approach of Curved Ray Prestack Kirchhoff Time Migration on GPGPU.	APPT	2009	DBLP DOI BibTeX RDF	General Purpose GPU, Prestack Kirchhoff Time Migration, CUDA
1	Roland Hülse, Niels Hammer, Hanno Steinke, Jörg Stadler, Kathrin Hülse, Volker Slowik, Peter Vaitl, Christoph Josten, Jörg Böhme	Finite Elemente Modell des Beckens zur Simulation komplexer ligamentärer Instabilitätsszenarien.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
1	Ming-Chang Chiang, Christina Avedissian, Marina Barysheva, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Paul M. Thompson	Extending Genetic Linkage Analysis to Diffusion Tensor Images to Map Single Gene Effects on Brain Fiber Architecture.	MICCAI	2009	DBLP DOI BibTeX RDF
1	Neda Jahanshad, Agatha D. Lee, Natasha Lepore, Yi-Yu Chou, Caroline A. Brun, Marina Barysheva, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Paul M. Thompson	Genetics of Anisotropy Asymmetry: Registration and Sample Size Effects.	MICCAI	2009	DBLP DOI BibTeX RDF
1	Richard Membarth, Frank Hannig, Hritam Dutta, Jürgen Teich	Efficient Mapping of Multiresolution Image Filtering Algorithms on Graphics Processors.	SAMOS	2009	DBLP DOI BibTeX RDF
1	Abbi Hamed, Zion Tsz Ho Tse, Ian Young, Michael Lampérth	MR Compatible Tactile Sensing and Noise Analysis in a 1.5 Tesla MR System.	MIAR	2008	DBLP DOI BibTeX RDF	MR Compatible, Force Sensor, Medical robotics
1	Pawel Maciol, Krzysztof Banas	Testing Tesla architecture for scientific computing: The performance of matrix-vector product.	IMCSIT	2008	DBLP DOI BibTeX RDF
1	Federico Carpi, Azadeh Khanicheh, Constantinos Mavroidis, Danilo De Rossi	Silicone made contractile dielectric elastomer actuators inside 3-Tesla MRI environment.	IROS	2008	DBLP DOI BibTeX RDF
1	Juan Fernández, Manuel E. Acacio, Gregorio Bernabé, José L. Abellán, Joaquín Franco	Multicore Platforms for Scientific Computing: Cell BE and NVIDIA Tesla.	CSC	2008	DBLP BibTeX RDF
1	Jürgen Hermes, Stephan Schwiebert	Classification of Text Processing Components: The Tesla Role System.	GfKl	2008	DBLP DOI BibTeX RDF
1	Christopher I. Rodrigues, David J. Hardy, John E. Stone, Klaus Schulten, Wen-mei W. Hwu	GPU acceleration of cutoff pair potentials for molecular modeling applications.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	gpgpu, molecular dynamics, graphics processors, cuda
1	Kanupriya Gulati, Sunil P. Khatri	Towards acceleration of fault simulation using graphics processing units.	DAC	2008	DBLP DOI BibTeX RDF	graphics processing units, fault simulation
1	Peng Ning, An Liu, Wenliang Du	Mitigating DoS attacks against broadcast authentication in wireless sensor networks.	TOSN	2008	DBLP DOI BibTeX RDF	security, Sensor networks, broadcast authentication, DoS attacks
1	Tomoaki Mashimo, Shigeki Toyama, Hiroshi Matsuda	Development of rotary-linear piezoelectric actuator for MRI compatible manipulator.	IROS	2008	DBLP DOI BibTeX RDF
1	Paul A. Yushkevich, Brian B. Avants, John Pluta, David Minkoff, Stephen Pickup, Weixia Liu, John A. Detre, Murray Grossman, James C. Gee	Building an atlas of hippocampal subfields using postmortem MRI.	ISBI	2008	DBLP DOI BibTeX RDF
1	Qihang Huang, Zhiyi Huang, Paul Werstein, Martin K. Purvis	GPU as a General Purpose Computing Resource.	PDCAT	2008	DBLP DOI BibTeX RDF
1	Raj Amirtharajah, John R. Mashey	Guest Editors' Introduction: Hot Chips 19.	IEEE Micro	2008	DBLP DOI BibTeX RDF	wireless HD, fault tolerance, mobile computing, low-power, GPU, computer architecture, microprocessors, mainframe computing, Hot Chips 19
1	Robert Toth, Jonathan Chappelow, Mark Rosen, Sona Pungavkar, Arjun Kalyanpur, Anant Madabhushi	Multi-Attribute Non-initializing Texture Reconstruction Based Active Shape Model (MANTRA).	MICCAI	2008	DBLP DOI BibTeX RDF
1	Paul A. Yushkevich, Brian B. Avants, John Pluta, David Minkoff, John A. Detre, Murray Grossman, James C. Gee	Shape-Based Alignment of Hippocampal Subfields: Evaluation in Postmortem MRI.	MICCAI	2008	DBLP DOI BibTeX RDF
1	Miomir Vukobratovic	Nikola Tesla and Robotics.	I. J. Humanoid Robotics	2007	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Franco Raimondi, Bozena Wozna	Verification of the TESLA protocol in MCMAS-X.	Fundam. Inform.	2007	DBLP BibTeX RDF
1	Rehan Akbani, Turgay Korkmaz, G. V. S. Raju	HEAP: hop-by-hop efficient authentication protocol for Mobile Ad-hoc Networks.	SpringSim	2007	DBLP DOI BibTeX RDF	security, MANETs, mobile ad-hoc networks, authentication, HEAP
1	Qijun Gu, Jawad Drissi	Dominating Set based Overhead Reduction for Broadcast Authentication in Large Sensor Networks.	ICNS	2007	DBLP DOI BibTeX RDF
1	Walter A. Hall, Charles L. Truwit	3-Tesla functional magnetic resonance imaging-guided tumor resection.	Int. J. Computer Assisted Radiology and Surgery	2006	DBLP DOI BibTeX RDF
1	Kun Sun, Peng Ning, Cliff Wang	TinySeRSync: secure and resilient time synchronization in wireless sensor networks.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	security, sensor networks, time synchronization
1	Youssef Hanna, Hridesh Rajan	SLEDE: event-based specification of sensor network security protocols.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
1	Jawad Drissi, Qijun Gu	Localized Broadcast Authentication in Large Sensor Networks.	ICNS	2006	DBLP DOI BibTeX RDF
1	Qing Li, Wade Trappe	Reducing delay and enhancing DoS resistance in multicast authentication through multigrade security.	IEEE Transactions on Information Forensics and Security	2006	DBLP DOI BibTeX RDF
1	Anant Madabhushi, Jianbo Shi, Michael D. Feldman, Mark Rosen, John Tomaszewski	Comparing Ensembles of Learners: Detecting Prostate Cancer from High Resolution MRI.	CVAMIA	2006	DBLP DOI BibTeX RDF
1	Menelaos Karanikolas, Eftychios G. Christoforou, Erbil Akbudak, Paul E. Eisenbeis, Nikolaos V. Tsekos	An Archetype for MRI guided Tele-interventions.	AIAI	2006	DBLP DOI BibTeX RDF
1	Junichi Tokuda, Shigehiro Morikawa, Hasnine A. Haque, Tetsuji Tsukamoto, Kiyoshi Matsumiya, Hongen Liao, Ken Masamune, Takeyoshi Dohi	New 4-D Imaging for Real-Time Intraoperative MRI: Adaptive 4-D Scan.	MICCAI	2006	DBLP DOI BibTeX RDF
1	Kui Ren, Kai Zeng, Wenjing Lou, Patrick J. Moran	On Broadcast Authentication in Wireless Sensor Networks.	WASA	2006	DBLP DOI BibTeX RDF
1	Donald J. Scott	Relying on time synchronization for security in ad hoc networks.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	ad hoc, clock synchronization, drift
1	Dev Anshul, Suman Roy	A ZKP-based identification scheme for base nodes in wireless sensor networks.	SAC	2005	DBLP DOI BibTeX RDF	guillou-quisquater protocol, sensor and ad hoc networks, security protocols, wireless security, base stations, zero-knowledge protocol, entity authentication
1	Spyridon Vassilaras, Dimitrios Vogiatzis, Gregory S. Yovanof	Misbehavior Detection in Clustered Ad-hoc Networks with Central Control.	ITCC	2005	DBLP DOI BibTeX RDF
1	Elizabeth I. Leonard, Myla Archer	Extended abstract: organizing automaton specifications to achieve faithful representation.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Jihye Kim, Gene Tsudik	SRDP: Securing Route Discovery in DSR.	MobiQuitous	2005	DBLP DOI BibTeX RDF
1	Donggang Liu, Peng Ning, Sencun Zhu, Sushil Jajodia	Practical Broadcast Authentication in Sensor Networks.	MobiQuitous	2005	DBLP DOI BibTeX RDF
1	Anant Madabhushi, Michael D. Feldman, Dimitris N. Metaxas, John E. Tomaszeweski, Deborah Chute	Automated detection of prostatic adenocarcinoma from high-resolution ex vivo MRI.	IEEE Trans. Med. Imaging	2005	DBLP DOI BibTeX RDF
1	C. K. Wong, Agnes Chan	Immediate Data Authentication for Multicast in Resource Constrained Network.	ACISP	2005	DBLP DOI BibTeX RDF
1	Sang-ho Park, Taekyoung Kwon	An Efficient Message Broadcast Authentication Scheme for Sensor Networks.	CIS	2005	DBLP DOI BibTeX RDF
1	Phillip G. Bradford, Olga V. Gavrylyako	Foundations of Security for Hash Chains in Ad Hoc Networks.	Cluster Computing	2005	DBLP DOI BibTeX RDF	time-space lower bound, hash chains, k-wise independence
1	Rakesh Sharma	High-Field 4.23 Tesla Magnetic Resonance Imaging: Initial Experience in Turbo-Inversion Recovery Imaging and fMRI Physics.	CBMS	2004	DBLP DOI BibTeX RDF
1	Kihun Hong, Souhwan Jung	An Efficient Authentication Scheme Using Recovery Information in Signature.	ICICS	2004	DBLP DOI BibTeX RDF
1	Stephen J. Riederer	New Advances in MRI.	MIAR	2004	DBLP DOI BibTeX RDF
1	Philippa J. Hopcroft, Gavin Lowe	Analysing a stream authentication protocol using model checking.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Stream authentication protocols, Model checking, Automatic verification, Data independence
1	Jochen Buerger, Lars Hagge, Jens Kreutzkamp, Kathrin Lappe, Andrea Robben	Integrated Information Management for TESLA	CoRR	2003	DBLP BibTeX RDF
1	Lars Hagge, Jens Kreutzkamp, Kathrin Lappe	The TESLA Requirements Database	CoRR	2003	DBLP BibTeX RDF
1	Jon Salz, Hari Balakrishnan, Alex C. Snoeren	TESLA: A Transparent, Extensible Session-Layer Architecture for End-to-end Network Services.	USENIX Symposium on Internet Technologies and Systems	2003	DBLP BibTeX RDF
1	Phillip G. Bradford, Olga V. Gavrylyako	Foundations of Security for Hash Chains in Ad Hoc Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
1	Sencun Zhu, Shouhuai Xu, Sanjeev Setia, Sushil Jajodia	LHAP: A Lightweight Hop-by-Hop Authentication Protocol for Ad-Hoc Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
1	Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli	Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.	FMOODS	2003	DBLP DOI BibTeX RDF	Security, Sensor Networks, Wireless Communication, Formal Analysis
1	Roman Samulyak, James Glimm, Wonho Oh, Harold Kirk, Kirk McDonald	Numerical Simulation of Free Surface MHD Flows: Richtmyer - Meshkov Instability and Applications.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Junichi Tokuda, Masaya Hirano, Tetsuji Tsukamoto, Takeyoshi Dohi, Nobuhiko Hata	Integration of Projection Profile Matching into Clinical MR Scanner System for Real-Time Organ Tracking and Image Registration.	MICCAI	2003	DBLP DOI BibTeX RDF
1	Philippa J. Broadfoot, Gavin Lowe	Analysing a Stream Authentication Protocol Using Model Checking.	ESORICS	2002	DBLP DOI BibTeX RDF