Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Flavio Ascari, Roberto Bruni, Roberta Gori |
Logics for Extensional, Locally Complete Analysis via Domain Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 1-27, 2023, Springer, 978-3-031-30043-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers |
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6038-6043, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | André Platzer |
Refinements of Hybrid Dynamical Systems Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 3-14, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Shuo Ding, Qirun Zhang |
Mutual Refinements of Context-Free Language Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, pp. 231-258, 2023, Springer, 978-3-031-44244-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Conny Olz, Pascal Bercher |
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 65-73, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
Refinements for Open Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, pp. 11-29, 2023, Springer, 978-3-031-47114-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Guy Barokas, Yves Sprumont |
The broken Borda rule and other refinements of approval ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 58(1), pp. 187-199, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Stathis Chadjiconstantinidis, Panos Xenos |
Refinements of bounds for tails of compound distributions and ruin probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 421, pp. 126948, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Muhammad Tariq, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas, Omar Mutab Alsalami, Asif Ali Shaikh, Kamsing Nonlaopon |
Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(10), pp. 508, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Aftab Alam, Reny George, Mohammad Imdad |
Refinements to Relation-Theoretic Contraction Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(7), pp. 316, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Tatiane F. N. Melo, Tiago M. Vargas, Artur J. Lemonte, Germán Moreno-Arenas |
Higher-order asymptotic refinements in the multivariate Dirichlet regression model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 51(1), pp. 53-71, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jan Østergaard, Uri Erez, Ram Zamir |
Incremental Refinements and Multiple Descriptions With Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 68(10), pp. 6915-6940, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Viviana Giunzioni, John Erick Ortiz Guzman, Adrien Merlini, Simon B. Adrian, Francesco Paolo Andriulli |
On a Calderón preconditioner for the symmetric formulation of the electroencephalography forward problem without barycentric refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01967, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Lifeng Zhou, Kaifeng Wei, Yuke Li, Yiya Hao, Weiqiang Yang, Haoqi Zhu |
Acoustic Pornography Recognition Using Convolutional Neural Networks and Bag of Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.05983, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Sluzalec, Rafal Wojciech Grzeszczuk, Sergio Rojas, Witold Dzwinel, Maciej Paszynski |
Quasi-optimal hp-finite element refinements towards singularities via deep neural network prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.05844, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Hofit Ben-Zion Vardi, Nira Dyn, Nir Sharon |
Geometric Hermite Interpolation in Rn by Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.02903, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Samson Abramsky |
Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.12156, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jason Wu 0001, Titus Barik, Xiaoyi Zhang 0006, Colin Lea, Jeffrey Nichols 0001, Jeffrey P. Bigham |
Reflow: Automatically Improving Touch Interactions in Mobile Applications through Pixel-based Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07712, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Rass, Sandra König, Stefan Schauer |
Games over Probability Distributions Revisited: New Equilibrium Models and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games ![In: Games 13(6), pp. 80, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Giorgio Cruciata, Liliana Lo Presti, Marco La Cascia |
Iterative Multiple Bounding-Box Refinements for Visual Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Imaging ![In: J. Imaging 8(3), pp. 61, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Tewodros Amdeberhan, George E. Andrews, Cristina M. Ballantine |
Refinements of Beck-type partition identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 345(12), pp. 113110, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ling Yang 0004, Nan Sun, Chris Rizos, Yiping Jiang |
ARAIM Stochastic Model Refinements for GNSS Positioning Applications in Support of Critical Vehicle Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(24), pp. 9797, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nico Roos |
Extending dynamic logic with refinements of abstract actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(7), pp. 1317-1351, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Shabnam Pasandideh, Pedro Pereira 0001, Luís Gomes 0001 |
Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8025-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kolchin, Stepan Potiyenko |
Extending Data Flow Coverage to Test Constraint Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 313-321, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Eric Sakk |
Computational Refinements for Post-Quantum Elliptic Curve Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSP ![In: 6th International Conference on Cryptography, Security and Privacy, CSP 2022, Tianjin, China, January 14-16, 2022, pp. 32-35, 2022, IEEE, 978-1-6654-7975-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
mist: Refinements of Futures Past (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 7(2), pp. 03:1-03:11, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoli Sun, Yang Hai, Xiujun Zhang, Chen Xu 0004, Min Li 0024 |
Fast Defocus Blur Detection Network via Global Search and Local Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 35(14), pp. 2152022:1-2152022:20, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ahmed El-Sayed Ahmed |
Refinements on Some Classes of Complex Function Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(2), pp. 339, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Bercu |
Refinements of Wilker-Huygens-Type Inequalities via Trigonometric Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1323, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Hijaz Ahmad, Muhammad Tariq, Soubhagya Kumar Sahoo, Sameh S. Askar, Ahmed E. Abouelregal, Khaled Mohamed Khedher |
Refinements of Ostrowski Type Integral Inequalities Involving Atangana-Baleanu Fractional Integral Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(11), pp. 2059, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Frederik Gjørup, Mathias Mørch, Mogens Christensen |
Reel1.0 - A visualization tool for evaluating powder diffraction refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 6(66), pp. 3546, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sérgio Agostinho, Aljosa Osep, Alessio Del Bue, Laura Leal-Taixé |
(Just) A Spoonful of Refinements Helps the Registration Error Go Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.03257, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Yu Rong, Jingbo Wang 0003, Ziwei Liu 0002, Chen Change Loy |
Monocular 3D Reconstruction of Interacting Hands via Collision-Aware Factorized Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.00763, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.01954, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Xingwei He 0003 |
Parallel Refinements for Lexically Constrained Text Generation with BART. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.12487, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge |
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.05008, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Siva Somayyajula, Frank Pfenning |
Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.06024, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | William Gasarch |
Hilbert's Tenth Problem: Refinements and Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 52(2), pp. 36-44, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Martin R. Albrecht, Léo Ducas |
Lattice Attacks on NTRU and LWE: A History of Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 799, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Wen Li, Elena Resmerita, Luminita A. Vese |
Multiscale Hierarchical Image Decomposition and Refinements: Qualitative and Quantitative Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Imaging Sci. ![In: SIAM J. Imaging Sci. 14(2), pp. 844-877, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sérgio Agostinho, Aljosa Osep, Alessio Del Bue, Laura Leal-Taixé |
(Just) A Spoonful of Refinements Helps the Registration Error Go Down. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021, pp. 6088-6097, 2021, IEEE, 978-1-6654-2812-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sergey Korotov, Michal Krízek |
Degeneracy of Tetrahedral Partitions Produced by Randomly Generated Red Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing - 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7-11, 2021, Revised Selected Papers, pp. 140-147, 2021, Springer, 978-3-030-97548-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Guilhem Jaber, Colin Riba |
Temporal Refinements for Guarded Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, pp. 548-578, 2021, Springer, 978-3-030-72018-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 18:1-18:29, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yu Rong, Jingbo Wang 0003, Ziwei Liu 0002, Chen Change Loy |
Monocular 3D Reconstruction of Interacting Hands via Collision-Aware Factorized Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DV ![In: International Conference on 3D Vision, 3DV 2021, London, United Kingdom, December 1-3, 2021, pp. 432-441, 2021, IEEE, 978-1-6654-2688-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Shankara Pailoor, Yuepeng Wang 0001, Xinyu Wang 0006, Isil Dillig |
Synthesizing data structure refinements from integrity constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 574-587, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Alexander P. Cox, Kiernan L. Johnson, Lauren Wishnie, Aaron S. Kemp, Jonathan P. Bona, Alexander D. Diehl |
Recent Refinements of the NeuroPsychological Testing Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBO ![In: Proceedings of the International Conference on Biomedical Ontologies 2021 co-located with the Workshop on Ontologies for the Behavioural and Social Sciences (OntoBess 2021) as part of the Bolzano Summer of Knowledge (BOSK 2021), Bozen-Bolzano, Italy, 16-18 September, 2021., pp. 152-154, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Xingwei He 0003 |
Parallel Refinements for Lexically Constrained Text Generation with BART. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, EMNLP 2021, Virtual Event / Punta Cana, Dominican Republic, 7-11 November, 2021, pp. 8653-8666, 2021, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge |
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021., pp. 574-582, 2021, ACM, 978-1-4503-8307-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks 0001, Niki Vazou |
Verifying replicated data types with typeclass refinements in Liquid Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 216:1-216:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Fangyi Zhou 0002, Francisco Ferreira 0001, Raymond Hu, Rumyana Neykova, Nobuko Yoshida |
Statically verified refinements for multiparty protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 148:1-148:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Jung-Min Yang, Thomas Moor, Jörg Raisch |
Refinements of behavioural abstractions for the supervisory control of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 30(3), pp. 533-560, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Oleg Lobachev |
The Tempest in a Cubic Millimeter: Image-Based Refinements Necessitate the Reconstruction of 3D Microvasculature From a Large Series of Damaged Alternately-Stained Histological Sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 13489-13506, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Fúlvia S. S. de Oliveira, Fernando O. Souza |
Further refinements in stability conditions for time-varying delay systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 369, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Bercu |
New Refinements for the Error Function with Applications in Diffusion Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(12), pp. 2017, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Stefania Boffa, Brunella Gerla |
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets XXII, pp. 26-122, 2020, Springer, 978-3-662-62797-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Fangyi Zhou 0002, Francisco Ferreira 0001, Raymond Hu, Rumyana Neykova, Nobuko Yoshida |
Statically Verified Refinements for Multiparty Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06541, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Piao Huang, Shoudong Han, Jun Zhao 0007, Donghaisheng Liu, Hongwei Wang, En Yu, Alex ChiChung Kot |
Refinements in Motion and Appearance for Online Multi-Object Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.07177, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Ankush Das, Frank Pfenning |
Session Types with Arithmetic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.05970, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Ankush Das, Frank Pfenning |
Session Types with Arithmetic Refinements and Their Application to Work Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.04439, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Feng Qi 0001, Wen-Hui Li 0003, Guo-Sheng Wu, Bai-Ni Guo |
Refinements of Young's integral inequality via fundamental inequalities and mean value theorems for derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04428, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Jan Østergaard, Uri Erez, Ram Zamir |
Incremental Refinements and Multiple Descriptions with Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.02747, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Aifu Han, Yongze Zhang, Ajuan Li, Changjin Li, Fengying Zhao, Qiujie Dong, Qin Liu, Yanting Liu, Ximei Shen, Sunjie Yan, Shengzong Zhou |
Efficient refinements on YOLOv3 for real-time detection and assessment of diabetic foot Wagner grades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.02322, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Heriberto Román-Flores, A. Flores-Franulic, I. Aguirre-Cipe, M. Romero-Martínez |
A Sugeno integral inequality of Carleman-Knopp type and some refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 396, pp. 72-81, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Yicheng Huang, Chang Xu 0001, Yanyan Jiang 0001, Huiyan Wang 0001, Da Li |
WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 167, pp. 110615, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bernard L. S. Lin |
Refinements of the results on partitions and overpartitions with bounded part differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 343(1), pp. 111676, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Cláudia Nalon, Ullrich Hustadt, Clare Dixon |
sf Kn : Architecture, Refinements, Strategies and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 64(3), pp. 461-484, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Gast |
Refinements of Mean Field Approximation. (Raffinements de l'approximation champ moyen). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Ankush Das, Frank Pfenning |
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 33:1-33:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Niskanen, Matti Järvisalo |
Strong Refinements for Hard Problems in Argumentation Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 841-848, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ankush Das, Frank Pfenning |
Session Types with Arithmetic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 13:1-13:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Murty Divakarla, Satya Kalluri, Kenneth L. Pryor, Chris Barnet, Changyi Tan, Mike Wilson, Tong Zhu, Juying Warner, Nicholas R. Nalli, Tianyuan Wang, Walter W. Wolf, Lihang Zhou |
Nucaps Hyperspectral Infrared Atmospheric Sounding Product System: Products, Performance, and Algorithm Refinements for IASI-NG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2020, Waikoloa, HI, USA, September 26 - October 2, 2020, pp. 5438-5441, 2020, IEEE, 978-1-7281-6374-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Rafael Roberto, Daniel Perazzo, João Paulo Lima, Veronica Teichrieb, Jonysberg Peixoto Quintino, Fabio Q. B. da Silva, André L. M. Santos, Helder Pinho |
Using Local Refinements on 360 Stitching from Dual-fisheye Cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (5: VISAPP) ![In: Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2020, Volume 5: VISAPP, Valletta, Malta, February 27-29, 2020., pp. 17-26, 2020, SCITEPRESS, 978-989-758-402-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Vijay Vasanth Arounachalam, Thamarai Pugazhendhi Latchoumi, Battula Bhavya, Shaik Sajida Sultana |
Object Detection in Convolution Neural Networks Using Iterative Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. d'Intelligence Artif. ![In: Rev. d'Intelligence Artif. 33(5), pp. 367-372, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Cláudia Nalon, Clare Dixon, Ullrich Hustadt |
Modal Resolution: Proofs, Layers, and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 20(4), pp. 23:1-23:38, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Georg Hinkel |
Using structural decomposition and refinements for deep modeling of software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(5), pp. 2787-2819, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Hyeongyong Lim, Dongweon Yoon |
Refinements of Binary Integration for Swerling Target Fluctuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 55(2), pp. 1032-1036, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst |
Generating time-based label refinements to discover more precise process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Smart Environ. ![In: J. Ambient Intell. Smart Environ. 11(2), pp. 165-182, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nicusor Minculete |
Some Refinements of Ostrowski's Inequality and an Extension to a 2-Inner Product Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(5), pp. 707, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kristoffer Arnsfelt Hansen |
The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 63(7), pp. 1554-1571, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ibtihel Ben Gharbia, Jean Charles Gilbert |
An Algorithmic Characterization of P-matricity II: Adjustments, Refinements, and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 40(2), pp. 800-813, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Enxian Chen, Lei Qiao, Xiang Sun 0004, Yeneng Sun |
Equilibrium refinements in games with many players. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.12908, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Etienne Borde |
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.10457, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Hanyu E, Ye Cui, Witold Pedrycz, Zhiwu Li 0001 |
Enhancements of rule-based models through refinements of Fuzzy C-Means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 170, pp. 43-60, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin |
Lexicographic refinements in possibilistic decision trees and finite-horizon Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 366, pp. 85-109, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Eugene Syriani, Vasco Sousa, Levi Lúcio |
Structure and behavior preserving statecharts refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 170, pp. 45-79, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Márquez 0001, Ángel Plaza, José P. Suárez |
Hamiltonian triangular refinements and space-filling curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 346, pp. 18-25, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Etienne Borde |
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | Douglas R. Smith, Stephen J. Westfold |
Transformations for Generating Type Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM Workshops (2) ![In: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, pp. 371-387, 2019, Springer, 978-3-030-54996-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Takuya Kojima, Hideharu Amano |
Refinements in Data Manipulation Method for Coarse Grained Reconfigurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 14th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2019, York, United Kingdom, July 1-3, 2019, pp. 113-120, 2019, IEEE, 978-1-7281-4770-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Bender, Alex Conway, Martin Farach-Colton, William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey 0001, Donald E. Porter, Jun Yuan 0006, Yang Zhan 0001 |
Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: The 31st ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019., pp. 265-274, 2019, ACM, 978-1-4503-6184-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Florian Zuleger |
Monadic refinements for relational cost analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 36:1-36:32, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Johnny Guzmán, Michael Neilan |
Inf-Sup Stable Finite Elements on Barycentric Refinements Producing Divergence-Free Approximations in Arbitrary Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 56(5), pp. 2826-2844, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Rosena R. X. Du, Kuo Yu |
Refinements of two identities on (n, m)-Dyck paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 97, pp. 54-63, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin |
Lexicographic refinements in stationary possibilistic Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 103, pp. 343-363, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta |
Tightening the contract refinements of a system architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 52(1), pp. 88-116, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos Keroglou, Christoforos N. Hadjicostis |
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 63(10), pp. 3601-3607, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Martin Henk |
A Note on Lattice Packings via Lattice Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 27(1), pp. 1-9, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Gimperlein, Fabian Meyer, Ceyhun Özdemir, David Stark, Ernst P. Stephan |
Boundary elements with mesh refinements for the wave equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 139(4), pp. 867-912, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|