Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Wei Ye 0008, Yibo Lin, Meng Li 0004, Qiang Liu 0001, David Z. Pan |
LithoROC: lithography hotspot detection with explicit ROC optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019, pp. 292-298, 2019, ACM, 978-1-4503-6007-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Valentina Rizzello, Michael Joham, Andrea Matera, Wolfgang Utschick, Umberto Spagnolini |
Precoding Design for the MIMO-RoC Downlink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2019, Brighton, United Kingdom, May 12-17, 2019, pp. 4694-4698, 2019, IEEE, 978-1-4799-8131-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Catherine Medlock, Alan V. Oppenheim |
Optimal ROC Curves from Score Variable Threshold Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2019, Brighton, United Kingdom, May 12-17, 2019, pp. 5327-5330, 2019, IEEE, 978-1-4799-8131-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ciprian-Bogdan Chirila, Ioana Sora |
The Optimization of a Page Rank Based Key Classes Classifier using Simulated Annealing with ROC-AUC and Recall Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 13th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2019, Timisoara, Romania, May 29-31, 2019, pp. 21-26, 2019, IEEE, 978-1-7281-0686-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Chongomweru Halimu, Asem Kasem, S. H. Shah Newaz |
Empirical Comparison of Area under ROC curve (AUC) and Mathew Correlation Coefficient (MCC) for Evaluating Machine Learning Algorithms on Imbalanced Datasets for Binary Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLSC ![In: Proceedings of the 3rd International Conference on Machine Learning and Soft Computing, ICMLSC 2019, Da Lat, Vietnam, January 25-28, 2019, pp. 1-6, 2019, ACM, 978-1-4503-6612-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Moreira, Ana Cristina Braga |
Comparing Empirical ROC Curves Using a Java Application: CERCUS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part III, pp. 25-37, 2019, Springer, 978-3-030-24301-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Xin Xin 0008, Youtao Zhang, Jun Yang 0002 |
ROC: DRAM-based Processing with Reduced Operation Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019, pp. 29, 2019, ACM, 978-1-4503-6725-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Sonia Pérez-Fernández, Pablo Martínez-Camblor, Peter Filzmoser, Norberto Corral |
nsROC: An R package for Non-Standard ROC Curve Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
R J. ![In: R J. 10(2), pp. 55, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Dongyun Lin, Lei Sun 0006, Kar-Ann Toh, Jingbo Zhang, Zhiping Lin 0001 |
Twin SVM with a reject option through ROC curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 355(4), pp. 1710-1732, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Shun Liu, Xu Sun 0006, Weichao Xu, Yun Zhang 0001, Jisheng Dai |
Null Distribution of Volume Under Ordered Three-Class ROC Surface (VUS) With Continuous Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 25(12), pp. 1855-1859, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Villmann, Marika Kaden, Wieland Hermann, Michael Biehl |
Learning vector quantization classifiers for ROC-optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. ![In: Comput. Stat. 33(3), pp. 1173-1194, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Arís Fanjul-Hevia, Wenceslao González-Manteiga |
A comparative study of methods for testing the equality of two or more ROC curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. ![In: Comput. Stat. 33(1), pp. 357-377, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Juana-María Vivo, Manuel Franco, Donatella Vicari |
Rethinking an ROC partial area index for evaluating the classification performance at a high specificity range. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Data Anal. Classif. ![In: Adv. Data Anal. Classif. 12(3), pp. 683-704, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Robin Vogel, Aurélien Bellet, Stéphan Clémençon |
A Probabilistic Theory of Supervised Similarity Learning for Pointwise ROC Curve Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.06981, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Siwei Lyu |
A Univariate Bound of Area Under ROC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.05981, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Meesun Sun, Sungzoon Cho |
Obtaining calibrated probability using ROC Binning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 21(2), pp. 307-322, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Takashi Kuremoto, Yuki Baba, Masanao Obayashi, Shingo Mabu, Kunikazu Kobayashi |
Enhancing EEG Signals Recognition Using ROC Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Netw. Artif. Life ![In: J. Robotics Netw. Artif. Life 4(4), pp. 283-286, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Aleksey S. Gvozdarev, Tatiana K. Artemova |
Closed-Form Average ROC Curve Expression for Energy-Based Signal Detection in Presence of K-µ Shadowed Fading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2018 IEEE East-West Design & Test Symposium, EWDTS 2018, Kazan, Russia, September 14-17, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-5710-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Siwei Lyu, Yiming Ying |
A Univariate Bound of Area Under ROC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, August 6-10, 2018, pp. 43-52, 2018, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Alfonso Ippolito, Martina Attenni |
Roc-cut architecture: modeling Mahabalipuram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DigitalHERITAGE/VSMM ![In: 3rd Digital Heritage International Congress, held jointly with 24th International Conference on Virtual Systems & Multimedia, DigitalHERITAGE/VSMM 2018, San Francisco, CA, USA, October 26-30, 2018, pp. 1-4, 2018, IEEE, 978-1-7281-0292-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Weijie Chen, Qi Gong, Brandon D. Gallas |
Efficiency gain of paired split-plot designs in MRMC ROC studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Perception, Observer Performance, and Technology Assessment ![In: Medical Imaging 2018: Image Perception, Observer Performance, and Technology Assessment, Houston, Texas, United States, 10-15 February 2018, pp. 105770F, 2018, SPIE, 9781510616431. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Frank W. Samuelson, Craig K. Abbey, Xin He |
Analyzing ROC curves using the effective set-size model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Perception, Observer Performance, and Technology Assessment ![In: Medical Imaging 2018: Image Perception, Observer Performance, and Technology Assessment, Houston, Texas, United States, 10-15 February 2018, pp. 105770E, 2018, SPIE, 9781510616431. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Robin Vogel, Aurélien Bellet, Stéphan Clémençon |
A Probabilistic Theory of Supervised Similarity Learning for Pointwise ROC Curve Optimization. ![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. 5062-5071, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Peter A. Flach |
ROC Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning and Data Mining ![In: Encyclopedia of Machine Learning and Data Mining, pp. 1109-1116, 2017, Springer, 978-1-4899-7685-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | |
ROC Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning and Data Mining ![In: Encyclopedia of Machine Learning and Data Mining, pp. 1116, 2017, Springer, 978-1-4899-7685-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | |
ROC Convex Hull. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning and Data Mining ![In: Encyclopedia of Machine Learning and Data Mining, pp. 1116, 2017, Springer, 978-1-4899-7685-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Rachid Dehbi |
Model Driven Engineering Applied in E-Learning Development Process: Advanced Comparative Study with ROC Multi-Criteria Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Online Pedagog. Course Des. ![In: Int. J. Online Pedagog. Course Des. 7(1), pp. 15-32, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Aaron Cook |
ROC curves and nonrandom data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 85, pp. 35-41, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Khanh To Duc |
bcROCsurface: an R package for correcting verification bias in estimation of the ROC surface and its volume for continuous diagnostic tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 18(1), pp. 503, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Melanie L. Aprahamian, Svetlana B. Tikunova, Morgan V. Price, Andres F. Cuesta, Jonathan P. Davis, Steffen Lindert |
Successful Identification of Cardiac Troponin Calcium Sensitizers Using a Combination of Virtual Screening and ROC Analysis of Known Troponin C Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 57(12), pp. 3056-3069, December 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Dariusz Brzezinski, Jerzy Stefanowski |
Prequential AUC: properties of the area under the ROC curve for data streams with concept drift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 52(2), pp. 531-562, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Tao Yu, Jialiang Li 0001, Shuangge Ma |
Accounting for clinical covariates and interactions in ranking genomic markers using ROC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(5), pp. 3735-3755, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Patrício, Fabio S. Ferreira, Bárbara Oliveiros, Francisco Caramelo |
Comparing the performance of normality tests with ROC analysis and confidence intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(10), pp. 7535-7551, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ilker Ünal |
Defining an Optimal Cut-Point Value in ROC Analysis: An Alternative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2017, pp. 3762651:1-3762651:14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Harikrishna Narasimhan, Shivani Agarwal 0001 |
Support Vector Algorithms for Optimizing the Partial Area under the ROC Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 29(7), pp. 1919-1963, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Takaya Saito, Marc Rehmsmeier |
Precrec: fast and accurate precision-recall and ROC curve calculations in R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 33(1), pp. 145-147, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roy Schwartz 0001, Maarten Sap, Ioannis Konstas, Leila Zilles, Yejin Choi 0001, Noah A. Smith |
The Effect of Different Writing Tasks on Linguistic Style: A Case Study of the ROC Story Cloze Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.01841, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | C. Deniz Yenigün, Günes Ertan, Michael D. Siciliano |
Omission and commission errors in network cognition and network estimation using ROC curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Networks ![In: Soc. Networks 50, pp. 26-34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zhiyong Yang 0001, Taohong Zhang, Jingcheng Lu, Dezheng Zhang, Dorothy Kalui |
Optimizing area under the ROC curve via extreme learning machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 130, pp. 74-89, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Raed Shatnawi |
The application of ROC analysis in threshold identification, data imbalance and metrics selection for software fault prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 13(2-3), pp. 201-217, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ming-Hsu Wang, Bi-Hui Chen, Wen-Ko Chiou |
Compare the Receiver Operating Characteristic (ROC) and Linear Discriminant Analysis (LDA) for Acromegaly Detection by Three-Dimensional Facial Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety - 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II, pp. 99-107, 2017, Springer, 978-3-319-58465-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ehsan Shahrabi Farahani, Samiul H. Choudhury, Filomeno Cortese, Fiona Costello, Bradley G. Goodyear, Michael R. Smith 0001 |
Three-way ROC validation of rs-fMRI visual information propagation transfer functions used to differentiate between RRMS and CIS optic neuritis patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Jeju Island, South Korea, July 11-15, 2017, pp. 525-528, 2017, IEEE, 978-1-5090-2809-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Syed Hassan Raza Naqvi, Andrea Matera, Lorenzo Combi, Umberto Spagnolini |
On the Transport Capability of LAN Cables in All-Analog MIMO-RoC Fronthaul. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2017 IEEE Wireless Communications and Networking Conference, WCNC 2017, San Francisco, CA, USA, March 19-22, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4183-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Matera, Umberto Spagnolini |
On the optimal Space-Frequency to Frequency mapping in indoor single-pair RoC fronthaul. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuCNC ![In: 2017 European Conference on Networks and Communications, EuCNC 2017, Oulu, Finland, June 12-15, 2017, pp. 1-5, 2017, IEEE, 978-1-5386-3873-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Daniela Ferreira da Cunha, Ana Cristina Braga |
Receiver Operating Characteristic (ROC) Packages Comparison in R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II, pp. 545-559, 2017, Springer, 978-3-319-62394-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roy Schwartz 0001, Maarten Sap, Ioannis Konstas, Leila Zilles, Yejin Choi 0001, Noah A. Smith |
The Effect of Different Writing Tasks on Linguistic Style: A Case Study of the ROC Story Cloze Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL ![In: Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), Vancouver, Canada, August 3-4, 2017, pp. 15-25, 2017, Association for Computational Linguistics, 978-1-945626-54-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Chulwoo Kim, Sung-Hyuk Cha, Yoo Jung An, Ned Wilson |
On ROC Curve Analysis of Artificial Neural Network Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017., pp. 318-322, 2017, AAAI Press, 978-1-57735-787-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Lucas de Souza Rodrigues, Edson Takashi Matsubara, Bruno Magalhães Nogueira 0001 |
Learning a Fast Bipartite Ranker for Text Documents Using Lexicographical Rankers and ROC Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 14th IAPR International Conference on Document Analysis and Recognition, ICDAR 2017, Kyoto, Japan, November 9-15, 2017, pp. 1307-1312, 2017, IEEE, 978-1-5386-3586-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zheng Cai, Lifu Tu, Kevin Gimpel |
Pay Attention to the Ending: Strong Neural Baselines for the ROC Story Cloze Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (2) ![In: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017, Vancouver, Canada, July 30 - August 4, Volume 2: Short Papers, pp. 616-622, 2017, Association for Computational Linguistics, 978-1-945626-76-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Adam Wunderlich, Bart Goossens, Craig K. Abbey |
Optimal Joint Detection and Estimation That Maximizes ROC-Type Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 35(9), pp. 2164-2173, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dincer Goksuluk, Selcuk Korkmaz, Gokmen Zararsiz, Ahmet Ergun Karaagaoglu |
easyROC: An Interactive Web-tool for ROC Curve Analysis Using R Language Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
R J. ![In: R J. 8(2), pp. 213, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yuncong Feng, Xuanjing Shen, Haipeng Chen 0002, Xiaoli Zhang |
A weighted-ROC graph based metric for image segmentation evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 119, pp. 43-55, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Roger M. Stein |
Evaluating discrete choice prediction models when the evaluation data is corrupted: analytic results and bias corrections for the area under the ROC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 30(4), pp. 763-796, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Simon Bernard 0001, Clément Chatelain 0001, Sébastien Adam, Robert Sabourin |
The Multiclass ROC Front method for cost-sensitive classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 52, pp. 46-60, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yun-Jhong Wu, Chin-Tsang Chiang |
ROC representation for the discriminability of multi-classification markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 60, pp. 770-777, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lori A. Dalton |
Optimal ROC-Based Classification and Performance Analysis under Bayesian Uncertainty Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 13(4), pp. 719-729, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yang Li 0070, Yichen Qin, Limin Wang, Jiaxu Chen, Shuangge Ma |
Grouped Variable Selection Using Area under the ROC with Imbalanced Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 45(4), pp. 1268-1280, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jin Chu Wu, Alvin F. Martin, Raghu N. Kacker |
Validation of Nonparametric Two-sample Bootstrap in ROC Analysis on Large Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 45(5), pp. 1689-1703, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ping Wan, Chaozhong Wu, Yingzi Lin, Xiaofeng Ma |
Optimal Threshold Determination for Discriminating Driving Anger Intensity Based on EEG Wavelet Features and ROC Curve Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 7(3), pp. 52, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Wengu Chen, Yaling Li |
Recovery of signals under the condition on RIC and ROC via prior support information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.03465, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Harikrishna Narasimhan, Shivani Agarwal 0001 |
Support Vector Algorithms for Optimizing the Partial Area Under the ROC Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.04337, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Oran Richman, Shie Mannor |
Bending the Curve: Improving the ROC Curve Through Error Redistribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.06652, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Paulo J. L. Adeodato, Sílvio B. Melo |
On the equivalence between Kolmogorov-Smirnov and ROC curve metrics for binary classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.00496, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Jonas Lindahl, Rickard Danell |
The information value of early career productivity in mathematics: a ROC analysis of prediction errors in bibliometricly informed decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 109(3), pp. 2241-2262, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Sakari Lätti, Sanna P. Niinivehmas, Olli T. Pentikäinen |
Rocker: Open source, easy-to-use tool for AUC and enrichment calculations and ROC visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 8(1), pp. 45:1-45:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yongkang Kim, Min-Seok Kwon, Yonghwan Choi, Sung-Gon Yi, Junghyun Namkung, Sangjo Han, Wooil Kwon, Sun Whe Kim, Jin-Young Jang, Hyunsoo Kim, Youngsoo Kim, Seungyeoun Lee, Taesung Park |
Comparative studies for developing protein based cancer prediction model to maximise the ROC-AUC with various variable selection methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Min. Bioinform. ![In: Int. J. Data Min. Bioinform. 16(1), pp. 64-76, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Rafayet Ali, Facundo Ciancio, Ru Zhao, Iftekhar Naim, Mohammed (Ehsan) Hoque |
ROC comment: automated descriptive and subjective captioning of behavioral videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2016, Heidelberg, Germany, September 12-16, 2016, pp. 928-933, 2016, ACM, 978-1-4503-4461-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Sampaio, Farn Wang (eds.) |
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![, 978-3-319-46749-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Clément Dubos, Simon Bernard 0001, Sébastien Adam, Robert Sabourin |
ROC-based cost-sensitive classification with a reject option. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 23rd International Conference on Pattern Recognition, ICPR 2016, Cancún, Mexico, December 4-8, 2016, pp. 3320-3325, 2016, IEEE, 978-1-5090-4847-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Calden Wloka, John Tstotsos |
Spatially Binned ROC: A Comprehensive Saliency Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016, pp. 525-534, 2016, IEEE Computer Society, 978-1-4673-8851-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Maria Filipa Mourão, Ana Cristina Braga |
Strengths and Weaknesses of Three Software Programs for the Comparison of Systems Based on ROC Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I, pp. 359-372, 2016, Springer, 978-3-319-42084-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Weijie Chen, Nan Hu |
Proper bibeta ROC model: algorithm, software, and performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Perception, Observer Performance, and Technology Assessment ![In: Medical Imaging 2016: Image Perception, Observer Performance, and Technology Assessment, San Diego, California, United States, 27 February - 3 March 2016, pp. 97870E, 2016, SPIE, 9781510600225. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Engelhardt, Yu-Ming Shen, Ulrich Mansmann |
Constructing an ROC Curve to Assess a Treatment-Predictive Continuous Biomarker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August - 2 September 2016., pp. 745-749, 2016, IOS Press, 978-1-61499-677-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Raid Rafi Omar Al-Nima, Satnam Singh Dlay, Wai Lok Woo, Jonathon A. Chambers |
A novel biometric approach to generate ROC curve from the Probabilistic Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 24th Signal Processing and Communication Application Conference, SIU 2016, Zonguldak, Turkey, May 16-19, 2016, pp. 141-144, 2016, IEEE, 978-1-5090-1679-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Walter Guttmann |
Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 51-68, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Raphaël Cauderlier, Catherine Dubois |
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 459-468, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi |
Towards MC/DC Coverage of Properties Specification Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 158-175, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Ensuring Correctness of Model Transformations While Remaining Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 315-332, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Diego Marmsoler, Mario Gleirscher |
Specifying Properties of Dynamic Architectures Using Configuration Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 235-254, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Oleg Travkin, Heike Wehrheim |
Verification of Concurrent Programs on Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 3-24, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Allyx Fontaine, Akka Zemmari |
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 69-81, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ana Cavalcanti 0001, Jim Woodcock 0001, Nuno Amálio |
Behavioural Models for FMI Co-simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 255-273, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of Petri Nets with Whole-Place Operations and Localities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 103-120, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 121-138, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Hsu-Chun Yen |
Petri Nets and Semilinear Sets (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 25-29, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Steven Obua, Phil Scott, Jacques D. Fleuriot |
ProofScript: Proof Scripting for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 333-348, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 82-99, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Étienne André |
Parametric Deadlock-Freeness Checking Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 469-478, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Flávio L. C. de Moura |
Unification for \lambda -calculi Without Propagation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 179-195, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov |
Weighted Register Automata and Weighted Logic on Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 370-384, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia |
Deriving Inverse Operators for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 214-232, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Martin Hilscher, Maike Schwammberger |
An Abstract Model for Proving Safety of Autonomous Urban Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 274-292, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Renato Neves, Luís Soares Barbosa |
Hybrid Automata as Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 385-402, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Akim Demaille |
Derived-Term Automata for Extended Weighted Rational Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 351-369, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 |
Temporal Logic Verification for Delay Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 405-421, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yi Li |
Termination of Single-Path Polynomial Loop Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 33-50, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins 0001 |
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 422-440, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001 |
Unifying Heterogeneous State-Spaces with Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 295-314, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Given-Wilson, Axel Legay |
On the Expressiveness of Symmetric Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 139-157, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Mario R. F. Benevides, Bruno Lopes 0001, Edward Hermann Haeusler |
Propositional Dynamic Logic for Petri Nets with Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, pp. 441-456, 2016, 978-3-319-46749-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|