Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 231-245, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
98 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 133-154, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR |
88 | Anshuman Chandra, Krishnendu Chakrabarty |
Test Data Compression and Test Resource Partitioning for System-on-a-Chip Using Frequency-Directed Run-Length (FDR) Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(8), pp. 1076-1088, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
decompression architecture, precomputed test sets, test set encoding, system-on-a-chip test, variable-to-variable-length codes, Automatic test equipment (ATE), embedded core testing |
75 | Michael Leuschel, Marc Fontaine |
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 278-297, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method |
75 | Anshuman Chandra, Krishnendu Chakrabarty |
Frequency-Directed Run-Length (FDR) Codes with Application to System-on-a-Chip Test Data Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April - 3 May 2001, Marina Del Rey, CA, USA, pp. 42-47, 2001, IEEE Computer Society, 0-7695-1122-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
66 | Jing Zhao, Hongwei Liu 0002, Gang Cui, Xiao-Zong Yang |
Software Reliability Growth Model from Testing to Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 691-694, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Jun Sun 0001, Jin Song Dong |
Model Checking Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 529-538, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Verification, CSP, FDR, LSCs |
62 | Mark B. Josephs |
Gate-level modelling and verification of asynchronous circuits using CSPM and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 12-14 March 2006, Berkeley, California, USA, pp. 83-94, 2007, IEEE Computer Society, 978-0-7695-2771-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | A. W. Roscoe 0001 |
Modelling and verifying key-exchange protocols using CSP and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 98-107, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
model-checking, formal specification, protocols, formal verification, process algebra, CSP, communicating sequential processes, FDR, key-exchange protocols |
53 | Pei Jung Chung, Johann F. Böhme, Christoph F. Mecklenbräuker, Alfred O. Hero III |
Detection of the Number of Signals Using the Benjamini-Hochberg Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(6-1), pp. 2497-2508, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Min Xu, Rastislav Bodík, Mark D. Hill |
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 122-133, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Michelle Liou, Hong-Ren Su, Arthur C. Tsai |
Decision Thresholds in Functional MR Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 742-747, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reproducibility analysis, ROC, FDR, SPM |
50 | Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi |
Security and Privacy Analysis of RFID Systems Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings, pp. 495-504, 2006, Springer, 3-540-39368-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
50 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 245-266, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL |
49 | David E. Dodds |
Single-Ended FDR to Locate and Specifically Identify DSL Loop Impairments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 6413-6418, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | David E. Dodds, Muhammad Shafique, Bernardo Celaya |
TDR and FDR Identification of Bad Splices in Telephone Cables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 838-841, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 151-174, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Peilei Ye |
Study on Formalizing Unified Modeling Language Activity Diagrams in FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 487-490, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, UML Activity Diagrams |
44 | Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli |
NeurT-FDR: Controlling FDR by Incorporating Feature Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09809, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
40 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 307-322, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George |
A Translation from RSL to CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 10-14 November 2008, Punta Arenas, Chile, pp. 119-126, 2008, IEEE Computer Society, 978-0-7695-3403-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Guanghui Yan, Zhanhuai Li, Liu Yuan |
On Combining Fractal Dimension with GA for Feature Subset Selecting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 543-553, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Guanghui Yan, Zhanhuai Li, Liu Yuan |
The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, Second International Conference, ADMA 2006, Xi'an, China, August 14-16, 2006, Proceedings, pp. 542-549, 2006, Springer, 3-540-37025-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Jing Zhao, Hongwei Liu 0002, Gang Cui, Xiao-Zong Yang |
Software Reliability Growth Model Considering Testing Profile and Operation Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 411-416, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Yubin Bao, Ge Yu 0001, Huanliang Sun, Daling Wang |
Performance Optimization of Fractal Dimension Based Feature Selection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, pp. 739-744, 2004, Springer, 3-540-22418-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Anshuman Chandra, Krishnendu Chakrabarty, Rafael A. Medina |
How Effective are Compression Codes for Reducing Test Data Volume? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It's a Gamble, 28 April - 2 May 2002, Monterey, CA, USA, pp. 91-96, 2002, IEEE Computer Society, 0-7695-1570-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim |
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 152, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
36 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 288-292, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
36 | Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi |
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 195-202, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
36 | Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi |
Model-Based Analysis of Money Accountability in Electronic Purses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings, pp. 346-355, 2005, Springer, 3-540-30900-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper |
36 | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin |
Watchdog Transformations for Property-Oriented Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 600-616, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem |
36 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and Inheritance in CSP-OZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 361-379, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR |
36 | Gavin Lowe, A. W. Roscoe 0001 |
Using CSP to Detect Errors in the TMN Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(10), pp. 659-669, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
protocol failure, model checking, cryptography, Security protocols, CSP, key establishment, FDR |
36 | Jan Peleska 0001, Michael Siegel |
From Testing Theory to Test Driver Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 538-556, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation |
36 | Jan Peleska 0001 |
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 39-59, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR |
35 | Jianhua Feng, Guoliang Li |
A Test Data Compression Method for System-on-a-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 270-273, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FDR code, Hybrid Run-length code, MFDR code, Test data compression |
35 | Dong Xu, Huaikou Miao, Nduwimfura Philbert |
Model Checking UML Activity Diagrams in FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 1035-1040, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | A. W. Roscoe 0001, Zhenzhong Wu |
Verifying Statemate Statecharts Using CSP and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 324-341, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi |
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 507-510, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Paul N. Somerville |
Step-Down FDR Procedures for Large Numbers of Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 949-956, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Il-Gon Kim, Jin-Young Choi |
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 264-269, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Geoff Kassel, Graeme Smith 0001 |
Model Checking Object-Z Classes: Some Experiments with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 445-452, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Michael Leuschel, Thierry Massart, Andrew Currie |
How to Make FDR Spin LTL Model Checking of CSP by Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 99-118, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Michael Goldsmith, Irfan Zakiuddin |
Critical Systems Validation and Verification with CSP and FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 243-250, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed |
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 239-254, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | José M. Peña 0001 |
Learning Gaussian Graphical Models of Gene Networks with False Discovery Rate Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 165-176, 2008, Springer, 978-3-540-78756-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Juntao Li, Jianhua Liu, Karuturi R. Krishna Murthy |
Stepped Linear Regression to Accurately Assess Statistical Significance in Batch Confounded Differential Expression Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings, pp. 481-491, 2008, Springer, 978-3-540-79449-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Batch effect, Microarray, SAM, Differential expression |
26 | Erhan Baki Ermis, Venkatesh Saligrama |
Adaptive statistical sampling methods for decentralized estimation and detection of localized phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, April 25-27, 2005, UCLA, Los Angeles, California, USA, pp. 143-150, 2005, IEEE, 0-7803-9202-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas |
Operational Semantics for Model Checking Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 237-252, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Philippa J. Hopcroft, Guy H. Broadfoot |
Combining the Box Structure Development Method and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 340-345, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner |
A Methodology for Model-Checking Ad-hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 181-196, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Kalyan Veeramachaneni, Thanmaya Peram, Chilukuri K. Mohan, Lisa Ann Osadciw |
Optimization Using Particle Swarms with Near Neighbor Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, pp. 110-121, 2003, Springer, 3-540-40602-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Muan Yong Ng, Michael J. Butler |
Tool Support for Visualizing CSP in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 287-298, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, CSP, class diagram, state diagram |
26 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Capturing Parallel Attacks within the Data Independence Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 147-159, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Heike Wehrheim |
Data Abstraction Techniques in the Validation of CSP-OZ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(3), pp. 147-164, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Integrated formal methods, CSP-OZ, Verification, Data abstraction |
26 | Shiyong Lu, Scott A. Smolka |
Model Checking the Secure Electronic Transaction (SET) Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 358-364, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Electronic Commerce Protocols, Formal Modeling and Analysis Techniques, Model Checking |
26 | Heike Wehrheim |
Data Abstraction for CSP-OZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1028-1047, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Alexandre Mota 0001, Augusto Sampaio |
Model-Checking CSP-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 205-220, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Peter H. Welch, Jeremy M. R. Martin |
A CSP Model for Java Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 114-122, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock |
23 | Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe 0001 |
Automating Data Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 175-190, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper |
22 | Jasin Machkour, Daniel P. Palomar, Michael Muma |
FDR-Controlled Portfolio Optimization for Sparse Financial Index Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15139, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Chaoyang Zhang, Shibao Sun, Wenmao Hu, Pengcheng Zhao |
FDR-TransUNet: A novel encoder-decoder architecture with vision transformer for improved medical image segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 169, pp. 107858, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Tran Manh Hoang, Le The Dung, Ba Cao Nguyen, Nguyen Van Vinh, Gia Thien Luu |
Secrecy analysis of cooperative NOMA-FDR systems with imperfect CSI and colluding eavesdroppers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 223, pp. 109594, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Junfeng Cui, Guanghui Wang 0011, Changliang Zou, Zhaojun Wang |
Change-point testing for parallel data sets with FDR control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 182, pp. 107705, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Lathan Liou, Milena Hornburg, David S. Robertson 0001 |
Global FDR control across multiple RNAseq experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(1), January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Meshi Bashari, Amir Epstein, Yaniv Romano, Matteo Sesia |
Derandomized Novelty Detection with FDR Control via Conformal E-values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07294, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Martin Gölz, Abdelhak M. Zoubir, Visa Koivunen |
Spatial Inference Using Censored Multiple Testing with Fdr Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Fabian Scheidt, Jasin Machkour, Michael Muma |
Solving FDR-Controlled Sparse Regression Problems with Five Million Variables on a Laptop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMSAP ![In: 9th IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2023, Herradura, Costa Rica, December 10-13, 2023, pp. 116-120, 2023, IEEE, 979-8-3503-4452-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jasin Machkour, Michael Muma, Daniel P. Palomar |
The Informed Elastic Net for Fast Grouped Variable Selection and FDR Control in Genomics Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMSAP ![In: 9th IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2023, Herradura, Costa Rica, December 10-13, 2023, pp. 466-470, 2023, IEEE, 979-8-3503-4452-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Meshi Bashari, Amir Epstein, Yaniv Romano, Matteo Sesia |
Derandomized novelty detection with FDR control via conformal e-values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Yingli Pan |
Feature screening and FDR control with knockoff features for ultrahigh-dimensional right-censored data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 173, pp. 107504, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Yanhong Wu |
Isolating changed panels and estimating common change point after sequential detection with FDR control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 51(10), pp. 6149-6158, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Eun-Gyoung Kim, Sung-Ho Kim |
An improvement of FDR for edge detection by applying EM method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Data Anal. ![In: Intell. Data Anal. 26(5), pp. 1161-1184, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli |
Probabilistic Model Incorporating Auxiliary Covariates to Control FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.03178, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Taejoo Ahn, Licong Lin, Song Mei |
Near-optimal multiple testing in Bayesian linear models with finite-sample FDR control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.02778, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Haoyu Wei, Xiaoyu Lei, Huiming Zhang |
Inference and FDR Control for Simulated Ising Models in High-dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05612, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli |
Probabilistic Model Incorporating Auxiliary Covariates to Control FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 31st ACM International Conference on Information & Knowledge Management, Atlanta, GA, USA, October 17-21, 2022, pp. 4419-4423, 2022, ACM, 978-1-4503-9236-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Anzhen Qin, Dongfeng Ning, Zhandong Liu, Aiwang Duan |
Analysis of the Accuracy of an FDR Sensor in Soil Moisture Measurement under Laboratory and Field Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sensors ![In: J. Sensors 2021, pp. 6665829:1-6665829:10, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Fiser, Daniel Gnad 0001, Michael Katz 0001, Jörg Hoffmann 0001 |
Custom-Design of FDR Encodings: The Case of Red-Black Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021., pp. 4054-4061, 2021, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Brijesh Dongol, Jay Le-Papin |
Checking Opacity and Durable Opacity with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 222-242, 2021, Springer, 978-3-030-92123-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Kristen Emery, Syamand Hasam, William Stafford Noble, Uri Keich |
Multiple Competition-Based FDR Control and Its Application to Peptide Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology - 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020, Proceedings, pp. 54-71, 2020, Springer, 978-3-030-45256-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | M. Omar Al-Kadri, Adnan Aijaz, Arumugam Nallanathan |
X-FDR: A Cross-Layer Routing Protocol for Multihop Full-Duplex Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Wirel. Commun. ![In: IEEE Wirel. Commun. 26(2), pp. 70-77, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Morgan, Andreas Tjärnberg, Torbjörn E. M. Nordling, Erik L. L. Sonnhammer |
A generalized framework for controlling FDR in gene regulatory network inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 35(6), pp. 1026-1032, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Liping Chen, Lili Zhangzhong, Wengang Zheng, Jinxing Yu, Zehan Wang, Long Wang 0015, Chao Huang 0002 |
Data-Driven Calibration of Soil Moisture Sensor Considering Impacts of Temperature: A Case Study on FDR Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(20), pp. 4381, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Artur Oliveira Gomes, Andrew Butterfield |
Circus2CSP: A Tool for Model-Checking Circus Using FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 235-242, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Jamsheed Manja Ppallan, Karthikeyan Arunachalam, Sweta Jaiswal, Dronamraju Siva Sabareesh, Sungki Seo, Madhan Raj Kanagarathinam |
Flare-DNS Resolver (FDR) for optimizing DNS lookup overhead in mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 16th IEEE Annual Consumer Communications & Networking Conference, CCNC 2019, Las Vegas, NV, USA, January 11-14, 2019, pp. 1-7, 2019, IEEE, 978-1-5386-5553-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Jinjin Tian, Aaditya Ramdas |
ADDIS: an adaptive discarding algorithm for online FDR control with conservative nulls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada., pp. 9383-9391, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Alexej Gossmann, Pascal Zille, Vince D. Calhoun, Yu-Ping Wang 0002 |
FDR-Corrected Sparse Canonical Correlation Analysis With Applications to Imaging Genomics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 37(8), pp. 1761-1774, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Joshua N. Sampson, Simina M. Boca, Steven C. Moore, Ruth Heller |
FWER and FDR control when testing multiple mediators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 34(14), pp. 2418-2424, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Wesley Tansey, Yixin Wang, David M. Blei, Raul Rabadan |
Black Box FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03143, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | M. Omar Al-Kadri, Adnan Aijaz, Arumugam Nallanathan |
X-FDR: A Cross-Layer Routing Protocol for Multi-hop Full-Duplex Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.01737, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Amir Hassan Ghaseminejad Tafreshi |
A non-parametric maximum for number of selected features: objective optima for FDR and significance threshold with application to ordinal survey analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 5, pp. 19, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Xinwei Sun 0001, Lingjing Hu, Fandong Zhang, Yuan Yao 0011, Yizhou Wang 0001 |
FDR-HS: An Empirical Bayesian Identification of Heterogenous Features in Neuroimage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 - 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I, pp. 611-619, 2018, Springer, 978-3-030-00927-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Roman Zoun, Kay Schallert, Atin Janki, Rohith Ravindran, Gabriel Campero Durand, Wolfram Fenske, David Broneske, Robert Heyer, Dirk Benndorf, Gunter Saake |
Streaming FDR Calculation for Protein Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (Short Papers and Workshops) ![In: New Trends in Databases and Information Systems - ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings, pp. 80-87, 2018, Springer, 978-3-030-00062-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Wesley Tansey, Yixin Wang, David M. Blei, Raul Rabadan |
Black Box FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018, pp. 4874-4883, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Yong He, Xinsheng Zhang, Pingping Wang, Liwen Zhang |
High dimensional Gaussian copula graphical model with FDR control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 113, pp. 457-474, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Haibing Zhao, Wing Kam Fung |
FDR control under block dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(8), pp. 6468-6474, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Nezamoddin Nezamoddini-Kachouie, Xihong Lin, Armin Schwartzman |
FDR control of detected regions by multiscale matched filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(1), pp. 127-144, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Kulwardhan Singh, Teek Parval Sharma |
FDR: fault detection and recovery scheme for wireless sensor networks using virtual grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Emergent Distributed Syst. ![In: Int. J. Parallel Emergent Distributed Syst. 32(6), pp. 617-631, 2017. 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) |
CoRR ![In: CoRR abs/1705.00782, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|