Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright |
A framework for Multi-A(rmed)/B(andit) testing with online FDR control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.05378, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Aaditya Ramdas, Jianbo Chen, Martin J. Wainwright, Michael I. Jordan |
DAGGER: A sequential algorithm for FDR control on DAGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.10250, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida |
FDR verification of a system involving a robot climbing stairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, pp. 875-878, 2017, IEEE Computer Society, 978-1-5090-5507-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio |
FDR: From Theory to Industrial Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 65-87, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Jie Chen 0049, Wenyi Zhang 0001, H. Vincent Poor |
An FDR-oriented approach to multiple sequential fault detection and isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017, Monticello, IL, USA, October 3-6, 2017, pp. 629-633, 2017, IEEE, 978-1-5386-3266-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Murat Moran, Dan S. Wallach |
Verification of STAR-Vote and Evaluation of FDR and ProVerif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 422-436, 2017, Springer, 978-3-319-66844-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Chang-Hun Lee, Hyo-Sang Shin, Antonios Tsourdos, Zakwan Skaf |
Data analytics development of FDR (Flight Data Recorder) data for airline maintenance operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFI ![In: 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2017, Daegu, Korea (South), November 16-18, 2017, pp. 289-294, 2017, IEEE, 978-1-5090-6064-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright |
A framework for Multi-A(rmed)/B(andit) Testing with Online FDR Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA, pp. 5957-5966, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Haibing Zhao, Wing Kam Fung |
A powerful FDR control procedure for multiple hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 98, pp. 60-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Vered Madar, Sandra Batista |
FastLSU: a more practical approach for the Benjamini-Hochberg FDR controlling procedure for huge-scale testing problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 32(11), pp. 1716-1723, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ran Dai, Rina Barber |
The knockoff filter for FDR control in group-sparse and multitask regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016, pp. 1851-1859, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Sangkyun Lee 0002, Damian Brzyski, Malgorzata Bogdan |
Fast Saddle-Point Algorithm for Generalized Dantzig Selector and FDR Control with Ordered L1-Norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, AISTATS 2016, Cadiz, Spain, May 9-11, 2016, pp. 780-789, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Jiang Gui, Casey S. Greene, Con Sullivan, Walter Taylor, Jason H. Moore, Carol Kim |
Testing multiple hypotheses through IMP weighted FDR based on a genetic functional network with application to a new zebrafish transcriptome study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioData Min. ![In: BioData Min. 8, pp. 17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Ting-Jung Lin, Wei Zhang 0012, Niraj K. Jha |
FDR 2.0: A Low-Power Dynamically Reconfigurable Architecture and Its FinFET Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 23(10), pp. 1987-2000, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Irene Castro-Conde, Jacobo de Uña-Álvarez |
Power, FDR and conservativeness of BB-SGoF method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. ![In: Comput. Stat. 30(4), pp. 1143-1161, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Jonathan Loo |
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 27(12), pp. 3600-3618, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Qian Liu, Robert D. Russell |
A performance study of InfiniBand fourteen data rate (FDR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (HPS) ![In: 2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014, Proceedings of the High Performance Computing Symposium, pp. 16, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Kwang-Ho Seok, Junho Ko, Chul-Won Park, Chul-Hwan Kim, Yoon Sang Kim |
Distributed Sensor Network-Based Virtual FDR System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 9, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash |
A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: Network and System Security - 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings, pp. 742-748, 2013, Springer, 978-3-642-38630-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Gibson-Robinson |
Using FDR to Model Check CSP-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 323-324, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Yinghui Zhang 0002, Xiaofeng Chen 0001, Jin Li 0002, Hui Li 0006, Fenghua Li |
FDR-ABE: Attribute-Based Encryption with Flexible and Direct Revocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INCoS ![In: 2013 5th International Conference on Intelligent Networking and Collaborative Systems, Xi'an city, Shaanxi province, China, September 9-11, 2013, pp. 38-45, 2013, IEEE, 978-0-7695-4988-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Carlos Reaño, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Federico Silla, José Duato, Antonio J. Peña |
Influence of InfiniBand FDR on the performance of remote GPU virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2013 IEEE International Conference on Cluster Computing, CLUSTER 2013, Indianapolis, IN, USA, September 23-27, 2013, pp. 1-8, 2013, IEEE Computer Society, 978-1-4799-0898-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Taehoon Kwon, Youngju Kim, Daesik Hong |
Comparison of FDR and HDR Under Adaptive Modulation With Finite-Length Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 61(2), pp. 838-843, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | John H. Nixon |
Investigations into refinements of Storey's method of multiple hypothesis testing minimising the FDR, and its application to test binomial data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 56(12), pp. 4381-4398, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo |
A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2012, pp. 57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Andrzej Wilczek, Agnieszka Szyplowska, Wojciech Skierucha, Jolanta Ciesla, Viliam Pichler, Grzegorz Janik |
Determination of Soil Pore Water Salinity Using an FDR Sensor Working at Various Frequencies up to 500 MHz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 12(8), pp. 10890-10905, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
Recent Developments in FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 699-704, 2012, Springer, 978-3-642-31423-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Aiping Liu, Junning Li, Z. Jane Wang 0001, Martin J. McKeown |
An FDR-controlled, exploratory group modeling for assessing brain connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2012, May 2-5, 2012, Barcelona, Spain, Proceedings, pp. 558-561, 2012, IEEE, 978-1-4577-1858-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo |
A Formally Verified Device Authentication Protocol Using Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 1293-1298, 2012, IEEE Computer Society, 978-1-4673-2172-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Jérôme Vienne, Jitong Chen, Md. Wasi-ur-Rahman, Nusrat S. Islam, Hari Subramoni, Dhabaleswar K. Panda 0001 |
Performance Analysis and Evaluation of InfiniBand FDR and 40GigE RoCE on HPC and Cloud Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hot Interconnects ![In: IEEE 20th Annual Symposium on High-Performance Interconnects, HOTI 2012, Santa Clara, CA, USA, August 22-24, 2012, pp. 48-55, 2012, IEEE Computer Society, 978-1-4673-2836-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Ilke Turkmen, Hakan Akbulut |
Airspeed computation with ANN using FDR records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 20th Signal Processing and Communications Applications Conference, SIU 2012, Mugla, Turkey, April 18-20, 2012, pp. 1-4, 2012, IEEE, 978-1-4673-0055-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Yi-Ting Hwang, Shih-Kai Chu, Shyh-Tyan Ou |
Evaluations of FDR-controlling procedures in multiple hypothesis testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 21(4), pp. 569-583, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Klaus Jung, Tim Friede, Tim Beißbarth |
Reporting FDR analogous confidence intervals for the log fold change of differentially expressed genes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 12, pp. 288, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Ping Gong 0004, Jianmin Jiang, Shi Zhang |
Formal Analysis of OWL-S Process Model by FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011, Jeju, Korea (South), December 12-15, 2011, pp. 215-222, 2011, IEEE Computer Society, 978-1-4673-0206-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Ronny Merkel, Christian Kraetzer, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann |
Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDW ![In: Digital Forensics and Watermarking - 10th International Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26, 2011, Revised Selected Papers, pp. 321-335, 2011, Springer, 978-3-642-32204-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Kwang-Ho Seok, Junho Ko, Chul-Won Park, Yoon Sang Kim |
Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA/DRBC/EL ![In: Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 687-694, 2011, Springer, 978-3-642-27206-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Maarten van Iterson, Judith M. Boer, Renée X. de Menezes |
Filtering, FDR and power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 11, pp. 450, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Justin R. Chumbley, Keith J. Worsley, Guillaume Flandin, Karl J. Friston |
Topological FDR for neuroimaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 49(4), pp. 3057-3064, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Wojciech Skierucha, Andrzej Wilczek |
A FDR Sensor for Measuring Complex Soil Dielectric Permittivity in the 10-500 MHz Frequency Range. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 10(4), pp. 3314-3329, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Arshad Beg, Andrew Butterfield |
Modelling flash devices with FDR: progress and limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: FIT '10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010, pp. 18, 2010, ACM, 978-1-4503-0342-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Megan Orr, Peng Liu 0012 |
Sample Size Estimation while Controlling False Discovery Rate for Microarray Experiments Using the ssize.fdr Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
R J. ![In: R J. 1(1), pp. 47, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Justin R. Chumbley, Karl J. Friston |
False discovery rate revisited: FDR and topological inference using Gaussian random fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 44(1), pp. 62-70, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xuefeng Bruce Ling, Harvey J. Cohen, Joseph Jin, Irwin Lau, James Schilling |
FDR made easy in differential feature discovery and correlation analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 25(11), pp. 1461-1462, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Hristina Palikareva, Joël Ouaknine, Bill Roscoe |
Faster FDR Counterexample Generation Using SAT-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tomasz Mazur, Gavin Lowe |
Counter Abstraction in the CSP/FDR setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 171-186, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Xin Lu, David L. Perkins |
Re-sampling strategy to improve the estimation of number of null hypotheses in FDR control under strong correlation structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 19-34, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Sin-Ho Jung, Woncheol Jang |
How accurately can we control the FDR in analyzing microarray data? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 22(14), pp. 1730-1736, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Gilles Blanchard, François Fleuret |
Occam's hammer: a link between randomized learning and multiple testing FDR control ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/math/0608713, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
22 | Erhan Baki Ermis, Venkatesh Saligrama |
Detection and Localization in Sensor Networks Using Distributed FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 40th Annual Conference on Information Sciences and Systems, CISS 2006, Princeton, NJ, USA, 22-24 March 2006., pp. 699-704, 2006, IEEE, 1-4244-0349-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin |
Correction: Determination of the differentially expressed genes in microarray experiments using local FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 6, pp. 42, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Sin-Ho Jung |
Sample size for FDR-control in microarray data analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 21(14), pp. 3097-3104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jianhua Hu, Fei Zou, Fred A. Wright |
Practical FDR-based sample size calculations in microarray experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 21(15), pp. 3264-3272, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Dongxiao Zhu, Alfred O. Hero III, Zhaohui S. Qin, Anand Swaroop |
High Throughput Screening of Co-Expressed Gene Pairs with Controlled False Discovery Rate (FDR) and Minimum Acceptable Strength (MAS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 12(7), pp. 1029-1045, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin |
Determination of the differentially expressed genes in microarray experiments using local FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 5, pp. 125, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | S. Baskar 0001, A. Alphones, Ponnuthurai N. Suganthan |
Concurrent PSO and FDR-PSO based reconfigurable phase-differentiated antenna array design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2004, 19-23 June 2004, Portland, OR, USA, pp. 2173-2179, 2004, IEEE, 0-7803-8515-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Young Ah Ahn, Jin-Young Choi |
FDR verification of ESANP protocol in Ad hoc Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 141-145, 2004, IEEE Computer Society, 0-7695-2144-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Il-Gon Kim, Jin-Young Choi |
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, pp. 75-77, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Chad Verbowski, John Dunagan, Brad Daniels, Yi-Min Wang |
Experience Talk: FDR: A Flight Data Recorder Using Black-BoxAnalysis of Persistent State Changes for Managing Change and Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Proceedings of the 18th Conference on Systems Administration (LISA 2004), Atlanta, USA, November 14-19, 2004, 2004, USENIX. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Tutorial on FDR and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 322, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | S. J. Creese, Joy N. Reed |
Verifying End-to-End Protocols using Induction with CSP/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP Workshops ![In: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings, pp. 1243-1257, 1999, Springer, 3-540-65831-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Clemens Fischer, Heike Wehrheim |
Model-Checking CSP-OZ Specifications with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, pp. 315-334, 1999, Springer, 1-85233-107-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | S. J. Creese, A. W. Roscoe 0001 |
Verifying an infinite family of inductions simultaneously using data independence and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 437-452, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
22 | Gavin Lowe |
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 17(3), pp. 93-102, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
22 | Gavin Lowe |
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 147-166, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Lutz Richter |
Mikrocomputer 2: P Stuber (ed) Aargauer Tagblatt AG, FDR (1978) 143 pp, DM 28 (in German). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 3(1), pp. 47, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
22 | Barrie Nicholson |
Euromicro 78: 17-19 October 1978 Technical University, Munich, FDR. Organized by Euromicro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 3(1), pp. 35-37, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
13 | A. W. Roscoe 0001, Philip J. Armstrong, Pragyesh |
Local Search in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 22-38, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Butterfield, Art Ó Catháin |
Concurrent Models of Flash Memory Device Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 70-83, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II, pp. 506-513, 2009, Springer, 978-3-642-04270-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Natasha Leporé, Caroline C. Brun, Yi-Yu Chou, Ming-Chang Chiang, Rebecca A. Dutton, Kiralee M. Hayashi, Eileen Luders, Oscar L. Lopez, Howard Aizenstein, Arthur W. Toga, James T. Becker, Paul M. Thompson |
Generalized Tensor-Based Morphometry of HIV/AIDS Using Multivariate Statistics on Deformation Tensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 27(1), pp. 129-141, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier |
Applying CSP || B to information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(1), pp. 85-102, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Information systems, CSP, Compositional verification, B, Combining formalisms |
13 | Ghislain Verdier, Nadine Hilgert, Jean-Pierre Vila |
Optimality of CUSUM Rule Approximations in Change-Point Detection Problems: Application to Nonlinear State-Space Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(11), pp. 5102-5112, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 365-398, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee |
13 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(2), pp. 161-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
13 | Gavin Lowe |
Specification of communicating processes: temporal logic versus refusals-based refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(3), pp. 277-294, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Refinement testing, Specification, Temporal logic, CSP, Refusals |
13 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Framework composition conformance via refinement checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 119-125, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conformance notions, framework composition, refinement, CSP |
13 | Bo Zhang 0017, Nicolas Chenouard, Jean-Christophe Olivo-Marin, Vannary Meas-Yedid |
Statistical colocalization in biological imaging with false discovery control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 1327-1330, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Junning Li, Z. Jane Wang 0001, Martin J. McKeown |
Controlling the false discovery rate in modeling brain functional connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 2105-2108, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jiansong Zhang, Kun Tan, Jun Zhao, Haitao Wu, Yongguang Zhang |
A Practical SNR-Guided Rate Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2083-2091, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mark Palatucci, Andrew Carlson |
On the chance accuracies of large collections of classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008), Helsinki, Finland, June 5-9, 2008, pp. 744-751, 2008, ACM, 978-1-60558-205-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 44(1), pp. 41-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
Compositional software verification based on game semantics and process algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 37-51, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair |
Responsiveness and stable revivals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(3), pp. 303-319, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model-checking, CSP, Semantic model, Responsiveness |
13 | Chunxiao Zhou, Denise C. Park, Martin Styner, Yongmei Michelle Wang |
ROI Constrained Statistical Surface Morphometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 1212-1215, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Delphine Nain, Martin Andreas Styner, Marc Niethammer, James J. Levitt, Martha Elizabeth Shenton, Guido Gerig, Aaron F. Bobick, Allen R. Tannenbaum |
Statistical Shape Analysis of Brain Structures Using Spherical Wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 209-212, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wenjun Li, Alain Koyama, Isra Saeed, Thomas Lang |
Identifying Most Responsive Regions in the HIP Using Composite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 700-703, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Abbas Bigdeli, Colin Sim, Morteza Biglari-Abhari, Brian C. Lovell |
Face Detection on Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 295-308, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Il-Gon Kim |
Static Verification of Access Control Model for AXML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 687-696, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wenfa Zhan, Huaguo Liang, Feng Shi, Zhengfeng Huang |
A Novel Collaborative Scheme of Test Data Compression Based on Fixed-Plus-variable-Length Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 1044-1049, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Eun-Jun Yoon, Wan-Soo Lee, Kee-Young Yoo |
Secure PAP-Based RADIUS Protocol in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 689-694, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RADIUS protocol, Off-line password guessing attack, Wireless network, Cryptography, Replay attack |
13 | Ji-Yeoun Lee, Sangbae Jeong, Minsoo Hahn |
Classification of Pathological and Normal Voice Based on Linear Discriminant Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANNGA (2) ![In: Adaptive and Natural Computing Algorithms, 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II, pp. 382-390, 2007, Springer, 978-3-540-71590-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Hyun Seok Kim, Jin-Young Choi |
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 693-697, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model Checking, RFID, Authentication Protocol |
13 | Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001 |
Automated refinement checking of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 318-325, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Christie Marr |
Capturing Conflict and Confusion in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 413-438, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion |
13 | Hyun Seok Kim, Jin-Young Choi |
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 16th International Conference on Computer Communications and Networks, IEEE ICCCN 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007, pp. 1359-1363, 2007, IEEE, 978-1-4244-1251-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Peter Y. H. Wong, Jeremy Gibbons |
A Process-Algebraic Approach to Workflow Specification and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, pp. 51-65, 2007, Springer, 978-3-540-77350-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yurong Xu, Yi Ouyang 0001, Zhengyi Le, James Ford, Fillia Makedon |
Analysis of range-free anchor-free localization in a wsn under wormhole attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007, pp. 344-351, 2007, ACM, 978-1-59593-851-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Mingqiu Song, Xiangpei Hu, Jiahua Li, Guishi Deng |
An Authentication Model Involving Trusted Third Party for M-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: International Conference on Mobile Business (ICMB 2007), July 9-11, 2007, Toronto, Ontario, Canada, pp. 53, 2007, IEEE Computer Society, 0-7695-2803-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Alistair A. McEwan, Steve A. Schneider |
A verified development of hardware using CSP∥B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA, pp. 81, 2006, IEEE Computer Society, 1-4244-0421-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|