The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ROC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1996 (19) 1997-1998 (58) 1999-2000 (114) 2001 (46) 2002 (128) 2003 (62) 2004 (147) 2005 (105) 2006 (462) 2007 (146) 2008 (157) 2009 (113) 2010 (48) 2011 (186) 2012 (63) 2013 (46) 2014 (31) 2015 (37) 2016 (63) 2017 (39) 2018 (25) 2019 (44) 2020 (39) 2021 (25) 2022 (31) 2023 (25) 2024 (9)
Publication types (Num. hits)
article(468) incollection(18) inproceedings(1762) phdthesis(2) proceedings(18)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 707 occurrences of 499 keywords

Results
Found 2285 publication records. Showing 2268 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
16Wei Ye 0008, Yibo Lin, Meng Li 0004, Qiang Liu 0001, David Z. Pan LithoROC: lithography hotspot detection with explicit ROC optimization. Search on Bibsonomy ASP-DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Valentina Rizzello, Michael Joham, Andrea Matera, Wolfgang Utschick, Umberto Spagnolini Precoding Design for the MIMO-RoC Downlink. Search on Bibsonomy ICASSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Catherine Medlock, Alan V. Oppenheim Optimal ROC Curves from Score Variable Threshold Tests. Search on Bibsonomy ICASSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Ciprian-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 SACI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Chongomweru 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 ICMLSC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Daniel Moreira, Ana Cristina Braga Comparing Empirical ROC Curves Using a Java Application: CERCUS. Search on Bibsonomy ICCSA (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Xin Xin 0008, Youtao Zhang, Jun Yang 0002 ROC: DRAM-based Processing with Reduced Operation Cycles. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Sonia 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 R J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Dongyun Lin, Lei Sun 0006, Kar-Ann Toh, Jingbo Zhang, Zhiping Lin 0001 Twin SVM with a reject option through ROC curve. Search on Bibsonomy J. Frankl. Inst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Shun 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 IEEE Signal Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Thomas Villmann, Marika Kaden, Wieland Hermann, Michael Biehl Learning vector quantization classifiers for ROC-optimization. Search on Bibsonomy Comput. Stat. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Arí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 Comput. Stat. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Juana-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 Adv. Data Anal. Classif. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Robin Vogel, Aurélien Bellet, Stéphan Clémençon A Probabilistic Theory of Supervised Similarity Learning for Pointwise ROC Curve Optimization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Siwei Lyu A Univariate Bound of Area Under ROC. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Meesun Sun, Sungzoon Cho Obtaining calibrated probability using ROC Binning. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Takashi Kuremoto, Yuki Baba, Masanao Obayashi, Shingo Mabu, Kunikazu Kobayashi Enhancing EEG Signals Recognition Using ROC Curve. Search on Bibsonomy J. Robotics Netw. Artif. Life The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Aleksey 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 EWDTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Siwei Lyu, Yiming Ying A Univariate Bound of Area Under ROC. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
16Alfonso Ippolito, Martina Attenni Roc-cut architecture: modeling Mahabalipuram. Search on Bibsonomy DigitalHERITAGE/VSMM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Weijie Chen, Qi Gong, Brandon D. Gallas Efficiency gain of paired split-plot designs in MRMC ROC studies. Search on Bibsonomy Medical Imaging: Image Perception, Observer Performance, and Technology Assessment The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Frank W. Samuelson, Craig K. Abbey, Xin He Analyzing ROC curves using the effective set-size model. Search on Bibsonomy Medical Imaging: Image Perception, Observer Performance, and Technology Assessment The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Robin Vogel, Aurélien Bellet, Stéphan Clémençon A Probabilistic Theory of Supervised Similarity Learning for Pointwise ROC Curve Optimization. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
16Peter A. Flach ROC Analysis. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16 ROC Curve. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16 ROC Convex Hull. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Rachid Dehbi Model Driven Engineering Applied in E-Learning Development Process: Advanced Comparative Study with ROC Multi-Criteria Analysis. Search on Bibsonomy Int. J. Online Pedagog. Course Des. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Jonathan Aaron Cook ROC curves and nonrandom data. Search on Bibsonomy Pattern Recognit. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Khanh 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 BMC Bioinform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Melanie 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 J. Chem. Inf. Model. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Dariusz Brzezinski, Jerzy Stefanowski Prequential AUC: properties of the area under the ROC curve for data streams with concept drift. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Tao Yu, Jialiang Li 0001, Shuangge Ma Accounting for clinical covariates and interactions in ranking genomic markers using ROC. Search on Bibsonomy Commun. Stat. Simul. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Miguel 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 Commun. Stat. Simul. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Ilker Ünal Defining an Optimal Cut-Point Value in ROC Analysis: An Alternative Approach. Search on Bibsonomy Comput. Math. Methods Medicine The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Harikrishna Narasimhan, Shivani Agarwal 0001 Support Vector Algorithms for Optimizing the Partial Area under the ROC Curve. Search on Bibsonomy Neural Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Takaya Saito, Marc Rehmsmeier Precrec: fast and accurate precision-recall and ROC curve calculations in R. Search on Bibsonomy Bioinform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Roy 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 CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16C. 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 Soc. Networks The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Zhiyong Yang 0001, Taohong Zhang, Jingcheng Lu, Dezheng Zhang, Dorothy Kalui Optimizing area under the ROC curve via extreme learning machines. Search on Bibsonomy Knowl. Based Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Raed Shatnawi The application of ROC analysis in threshold identification, data imbalance and metrics selection for software fault prediction. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Ming-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 HCI (17) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Ehsan 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 EMBC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Syed 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 WCNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Andrea Matera, Umberto Spagnolini On the optimal Space-Frequency to Frequency mapping in indoor single-pair RoC fronthaul. Search on Bibsonomy EuCNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Daniela Ferreira da Cunha, Ana Cristina Braga Receiver Operating Characteristic (ROC) Packages Comparison in R. Search on Bibsonomy ICCSA (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Roy 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 CoNLL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Chulwoo Kim, Sung-Hyuk Cha, Yoo Jung An, Ned Wilson On ROC Curve Analysis of Artificial Neural Network Classifiers. Search on Bibsonomy FLAIRS The full citation details ... 2017 DBLP  BibTeX  RDF
16Lucas 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 ICDAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Zheng Cai, Lifu Tu, Kevin Gimpel Pay Attention to the Ending: Strong Neural Baselines for the ROC Story Cloze Task. Search on Bibsonomy ACL (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Adam Wunderlich, Bart Goossens, Craig K. Abbey Optimal Joint Detection and Estimation That Maximizes ROC-Type Curves. Search on Bibsonomy IEEE Trans. Medical Imaging The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Dincer Goksuluk, Selcuk Korkmaz, Gokmen Zararsiz, Ahmet Ergun Karaagaoglu easyROC: An Interactive Web-tool for ROC Curve Analysis Using R Language Environment. Search on Bibsonomy R J. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yuncong Feng, Xuanjing Shen, Haipeng Chen 0002, Xiaoli Zhang A weighted-ROC graph based metric for image segmentation evaluation. Search on Bibsonomy Signal Process. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Roger 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 Data Min. Knowl. Discov. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Simon Bernard 0001, Clément Chatelain 0001, Sébastien Adam, Robert Sabourin The Multiclass ROC Front method for cost-sensitive classification. Search on Bibsonomy Pattern Recognit. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yun-Jhong Wu, Chin-Tsang Chiang ROC representation for the discriminability of multi-classification markers. Search on Bibsonomy Pattern Recognit. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Lori A. Dalton Optimal ROC-Based Classification and Performance Analysis under Bayesian Uncertainty Models. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yang Li 0070, Yichen Qin, Limin Wang, Jiaxu Chen, Shuangge Ma Grouped Variable Selection Using Area under the ROC with Imbalanced Data. Search on Bibsonomy Commun. Stat. Simul. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Jin Chu Wu, Alvin F. Martin, Raghu N. Kacker Validation of Nonparametric Two-sample Bootstrap in ROC Analysis on Large Datasets. Search on Bibsonomy Commun. Stat. Simul. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Ping 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 Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Wengu Chen, Yaling Li Recovery of signals under the condition on RIC and ROC via prior support information. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Harikrishna Narasimhan, Shivani Agarwal 0001 Support Vector Algorithms for Optimizing the Partial Area Under the ROC Curve. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Oran Richman, Shie Mannor Bending the Curve: Improving the ROC Curve Through Error Redistribution. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Paulo J. L. Adeodato, Sílvio B. Melo On the equivalence between Kolmogorov-Smirnov and ROC curve metrics for binary classification. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Jonas 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 Scientometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Sakari 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 J. Cheminformatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yongkang 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 Int. J. Data Min. Bioinform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Mohammad Rafayet Ali, Facundo Ciancio, Ru Zhao, Iftekhar Naim, Mohammed (Ehsan) Hoque ROC comment: automated descriptive and subjective captioning of behavioral videos. Search on Bibsonomy UbiComp The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Augusto Sampaio, Farn Wang (eds.) Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Clément Dubos, Simon Bernard 0001, Sébastien Adam, Robert Sabourin ROC-based cost-sensitive classification with a reject option. Search on Bibsonomy ICPR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Calden Wloka, John Tstotsos Spatially Binned ROC: A Comprehensive Saliency Metric. Search on Bibsonomy CVPR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Maria 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 ICCSA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Weijie Chen, Nan Hu Proper bibeta ROC model: algorithm, software, and performance evaluation. Search on Bibsonomy Medical Imaging: Image Perception, Observer Performance, and Technology Assessment The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Alexander Engelhardt, Yu-Ming Shen, Ulrich Mansmann Constructing an ROC Curve to Assess a Treatment-Predictive Continuous Biomarker. Search on Bibsonomy MIE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Raid 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 SIU The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Walter Guttmann Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Raphaël Cauderlier, Catherine Dubois ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi Towards MC/DC Coverage of Properties Specification Patterns. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Jon Haël Brenas, Rachid Echahed, Martin Strecker Ensuring Correctness of Model Transformations While Remaining Decidable. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Diego Marmsoler, Mario Gleirscher Specifying Properties of Dynamic Architectures Using Configuration Traces. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Oleg Travkin, Heike Wehrheim Verification of Concurrent Programs on Weak Memory Models. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Allyx Fontaine, Akka Zemmari Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Ana Cavalcanti 0001, Jim Woodcock 0001, Nuno Amálio Behavioural Models for FMI Co-simulations. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis of Petri Nets with Whole-Place Operations and Localities. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Annabelle McIver, Tahiry M. Rabehaja, Georg Struth Schedulers and Finishers: On Generating the Behaviours of an Event Structure. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Hsu-Chun Yen Petri Nets and Semilinear Sets (Extended Abstract). Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Steven Obua, Phil Scott, Jacques D. Fleuriot ProofScript: Proof Scripting for the Masses. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Anh-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 ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Étienne André Parametric Deadlock-Freeness Checking Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Flávio L. C. de Moura Unification for \lambda -calculi Without Propagation Rules. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov Weighted Register Automata and Weighted Logic on Data Words. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia Deriving Inverse Operators for Modal Logic. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Martin Hilscher, Maike Schwammberger An Abstract Model for Proving Safety of Autonomous Urban Traffic. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Renato Neves, Luís Soares Barbosa Hybrid Automata as Coalgebras. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Akim Demaille Derived-Term Automata for Extended Weighted Rational Expressions. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 Temporal Logic Verification for Delay Differential Equations. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yi Li Termination of Single-Path Polynomial Loop Programs. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Alexandre 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 ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001 Unifying Heterogeneous State-Spaces with Lenses. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Thomas Given-Wilson, Axel Legay On the Expressiveness of Symmetric Communication. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Mario R. F. Benevides, Bruno Lopes 0001, Edward Hermann Haeusler Propositional Dynamic Logic for Petri Nets with Iteration. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #600 of 2268 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license