|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10168 occurrences of 5537 keywords
|
|
|
Results
Found 10170 publication records. Showing 10170 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | A. Udaya Shankar |
An Introduction to Assertional Reasoning for Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 25(3), pp. 225-262, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning |
31 | Wim H. Hesselink, Ronald Reinds |
Temporal Preconditions of Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 236-260, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure |
31 | Yong-Yeon Jo, Joon-Myoung Kwon |
ECGT2T: Electrocardiogram synthesis from Two asynchronous leads to Ten leads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00006, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Rob Gerth, Ruurd Kuiper 0001, John Segers |
Interface Refinement in Reactive Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 77-93, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems |
21 | Arjan J. Mooij |
Calculating and Composing Progress Properties in Terms of the Leads-to Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 366-386, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni |
Complexity results in revising UNITY programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 5:1-5:28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal methods, UNITY |
18 | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay |
Adding the leads-to operator to Dijkstra's calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(2), pp. 12-17, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition |
15 | Hao Lin 0005, Cai Liu, Zhenhua Li 0001, Feng Qian 0001, Mingliang Li, Ping Xiong, Yunhao Liu 0001 |
Aging or Glitching? What Leads to Poor Android Responsiveness and What Can We Do About It? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 23(2), pp. 1521-1533, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Jiayu Ding, Zhenyu Gan |
Breaking Symmetries Leads to Diverse Quadrupedal Gaits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(5), pp. 4782-4789, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Korzynski, Olga Protsiuk |
What leads to cyberloafing: the empirical study of workload, self-efficacy, time management skills, and mediating effect of job satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behav. Inf. Technol. ![In: Behav. Inf. Technol. 43(1), pp. 200-211, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Maryam Ghasemaghaei, Nima Kordzadeh |
Understanding how algorithmic injustice leads to making discriminatory decisions: An obedience to authority perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 61(2), pp. 103921, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Akshat Gupta, Anurag Rao, Gopala Anumanchipalli |
Model Editing at Scale leads to Gradual and Catastrophic Forgetting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07453, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Akbir Khan, John Hughes, Dan Valentine, Laura Ruis, Kshitij Sachan, Ansh Radhakrishnan, Edward Grefenstette, Samuel R. Bowman, Tim Rocktäschel, Ethan Perez |
Debating with More Persuasive LLMs Leads to More Truthful Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06782, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Kengo Nakamura 0001, Masaaki Nishino, Shuhei Denzumi |
Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05074, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Patrice Cassagnard, Thiam Mamadou |
How Strategic Trade Policy Leads to Mixed Cournot-Bertrand Competition? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGTR ![In: IGTR 26(1), pp. 2350015:1-2350015:28, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein |
Abstract: RecycleNet - Latent Feature Recycling Leads to Iterative Decision Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2024 - Proceedings, German Conference on Medical Image Computing, Erlangen, March 10-12, 2024, pp. 219, 2024, Springer, 978-3-658-44036-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Deniz Yilmaz, Barkan Ugurlu, Erhan Öztop |
Human-in-the-Loop Training Leads to Faster Skill Acquisition and Adaptation in Reinforcement Learning-Based Robot Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMC ![In: 18th IEEE International Conference on Advanced Motion Control, AMC 2024, Kyoto, Japan, February 28 - March 1, 2024, pp. 1-6, 2024, IEEE, 979-8-3503-4281-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Guohou Shan, Wenxi Pu, Jason Bennett Thatcher, Philip L. Roth |
How Doxing on Social Media Leads to Social Stigma and Perceived Dignity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 106-115, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
15 | Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein |
RecycleNet: Latent Feature Recycling Leads to Iterative Decision Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2024, Waikoloa, HI, USA, January 3-8, 2024, pp. 799-807, 2024, IEEE, 979-8-3503-1892-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Hiroshi Sakuma, Hideyuki Takahashi, Kohei Ogawa, Hiroshi Ishiguro |
Immersive role-playing with avatars leads to adoption of others' personalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Virtual Real. ![In: Frontiers Virtual Real. 4, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Matheus Franco, Vinicius Minatogawa, Ruy Quadros |
How Transformative Business Model Renewal Leads to Sustained Exploratory Business Model Innovation in Incumbents: Insights from a System Dynamics Analysis of Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 11(2), pp. 60, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ramkishore Bhattacharyya |
Bidirectional Association Discovery Leads to Precise Identification of Lung Cancer Biomarkers and Genome Taxa Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 20(3), pp. 1783-1794, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sijia Liu, Chunbao Liu, Yunhong Liang, Luquan Ren, Lei Ren 0002 |
Tunable Stiffness Caudal Peduncle Leads to Higher Swimming Speed Without Extra Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(9), pp. 5886-5893, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Azizmalayeri, Mohammad Hossein Rohban |
Lagrangian objective function leads to improved unforeseen attack generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 112(8), pp. 3003-3031, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hantian Liu, Claire Cordella, Prakash Ishwar, Margrit Betke, Swathi Kiran |
Consistent long-term practice leads to consistent improvement: Benefits of self-managed therapy for language and cognitive deficits using a digital therapeutic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Digit. Health ![In: Frontiers Digit. Health 5, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shaojun Pan, Xing-Ming Zhao, Luís Pedro Coelho |
SemiBin2: self-supervised contrastive learning leads to better MAGs for short- and long-read sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(Supplement-1), pp. 21-29, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein |
RecycleNet: Latent Feature Recycling Leads to Iterative Decision Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.07513, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Milad Shafiee, Guillaume Bellegarda, Auke Jan Ijspeert |
DeepTransition: Viability Leads to the Emergence of Gait Transitions in Learning Anticipatory Quadrupedal Locomotion Skills. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.07419, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mo Zhou, Rong Ge 0001 |
Implicit Regularization Leads to Benign Overfitting for Sparse Linear Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.00257, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ziyin Liu |
Symmetry Leads to Structured Constraint of Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.16932, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Farshed Abdukhakimov, Chulu Xiang, Dmitry Kamzolov, Robert M. Gower, Martin Takác 0001 |
SANIA: Polyak-type Optimization Framework Leads to Scale Invariant Stochastic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.17369, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maksym Andriushchenko, Dara Bahri, Hossein Mobahi, Nicolas Flammarion |
Sharpness-Aware Minimization Leads to Low-Rank Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16292, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Charles Dawson 0001, Chuchu Fan |
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06956, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Udari Madhushani, Kevin R. McKee, John P. Agapiou, Joel Z. Leibo, Richard Everett 0001, Thomas W. Anthony 0001, Edward Hughes 0001, Karl Tuyls, Edgar A. Duéñez-Guzmán |
Heterogeneous Social Value Orientation Leads to Meaningful Diversity in Sequential Social Dilemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.00768, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Laban, Lidiya Murakhovs'ka, Caiming Xiong, Chien-Sheng Wu |
Are You Sure? Challenging LLMs Leads to Performance Drops in The FlipFlop Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08596, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jin-Yi Cai, Austen Z. Fan |
Planar 3-way Edge Perfect Matching Leads to A Holant Dichotomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16705, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ben Lonnqvist, Zhengqing Wu, Michael H. Herzog |
Latent Noise Segmentation: How Neural Noise Leads to the Emergence of Segmentation and Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.16515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiayu Ding, Amit K. Sanyal, Zhenyu Gan |
Breaking Symmetries Leads to Diverse Quadrupedal Gaits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04857, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hongxuan Zhang, Zhining Liu 0001, Jiaqi Zheng 0001, Chenyi Zhuang, Jinjie Gu, Guihai Chen |
Fast Chain-of-Thought: A Glance of Future from Parallel Decoding Leads to Answers Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08263, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | AmirMohammad Sarfi, Zahra Karimpour, Muawiz Chaudhary, Nasir Mohammad Khalid, Mirco Ravanelli, Sudhir Mudur, Eugene Belilovsky |
Simulated Annealing in Early Layers Leads to Better Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.04858, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Arijita Sarkar, Troyee Das, Gourab Das, Zhumur Ghosh |
MicroRNA mediated gene regulatory circuits leads to machine learning based preliminary detection of acute myeloid leukemia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 104, pp. 107859, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xue Li, Jun Huang, Cuiting Wang, Xiaxia Yu, Tianhao Zhao, Chuan Huang 0002, Yi Gao 0002 |
Expectation-maximization algorithm leads to domain adaptation for a perineural invasion and nerve extraction task in whole slide digital pathology images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Biol. Eng. Comput. ![In: Medical Biol. Eng. Comput. 61(2), pp. 457-473, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Canh Minh Do, Yati Phyo, Adrián Riesco 0001, Kazuhiro Ogata 0001 |
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(6), pp. 151:1-151:38, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jeffrey J. Rothschild, Tianyi Ma, Joshua N. Milstein, Anton Zilman |
Spatial exclusion leads to "tug-of-war" ecological dynamics between competing species within microchannels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(12), December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Ortone, Alberto Arturo Vergani, Mahboubeh Ahmadipour, Riccardo Mannella, Alberto Mazzoni |
Dopamine depletion leads to pathological synchronization of distinct basal ganglia loops in the beta band. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Williamson, William Tasker-Brown, James A. H. Murray, Angharad R. Jones, Leah R. Band |
Modelling how plant cell-cycle progression leads to cell size regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(10), October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bo Hu, Yuanyi Mao, Ki Joon Kim |
How social anxiety leads to problematic use of conversational AI: The roles of loneliness, rumination, and mind perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 145, pp. 107760, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vladik Kreinovich, Saeid Tizpaz-Niari |
What Is a Natural Probability Distribution on the Class of All Continuous Functions: Maximum Entropy Approach Leads to Wiener Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Uncertainty, Constraints, and Decision Making ![In: Uncertainty, Constraints, and Decision Making, pp. 371-375, 2023, Springer, 978-3-031-36393-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ricardo Alvarez, Yamel Hernandez, Vladik Kreinovich |
Why Too Much Interaction Between Different Parts of the Brain Leads To Unhappiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decision Making Under Uncertainty and Constraints ![In: Decision Making Under Uncertainty and Constraints - A Why-Book, pp. 211-214, 2023, Springer, 978-3-031-16414-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christian Servin, Olga Kosheleva, Vladik Kreinovich |
Physical Meaning Often Leads to Natural Derivations in Elementary Mathematics: On the Examples of Solving Quadratic and Cubic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Uncertainty, Constraints, and Decision Making ![In: Uncertainty, Constraints, and Decision Making, pp. 123-126, 2023, Springer, 978-3-031-36393-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Poth, Daniela Eißfeldt, Christian Heimann, Stefan Waschk |
Sustainable IT in an Agile DevOps Setup Leads to a Shift Left in Sustainability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP Workshops ![In: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers, pp. 21-28, 2023, Springer, 978-3-031-48549-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Siqi Wang, Xiaofei Zhang 0003, Fanbo Meng |
What Leads to Effective Online Physician-Patient Communication? the Power of Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHICEB (2) ![In: E-Business. Digital Empowerment for an Intelligent Future - 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part II, pp. 331-343, 2023, Springer, 978-3-031-32301-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maureen Namukasa, Meredith B. Carroll, Matthew D. Marraffino, Cheryl I. Johnson, Daphne E. Whitmer, Whitney-Marie Igwe, Morgan Nash |
Not All Pain Leads to Gain: The Role of Learner Engagement in Adaptive Flashcard Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (34) ![In: Adaptive Instructional Systems - 5th International Conference, AIS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, pp. 15-33, 2023, Springer, 978-3-031-34734-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tayeb Zaidi, Giorgio Bonmassar, Laleh Golestanirad |
Multi-Segment Leads To Reduce RF Heating in MRI: A Computational Evaluation at 1.5T and 3T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu |
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 5521-5538, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Mengke Xu, Huiwei Wang |
Sharpness-Aware Minimization Leads to Better Robustness in Meta-learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACI ![In: 15th International Conference on Advanced Computational Intelligence, ICACI 2023, Seoul, Korea, Republic of, May 6-9, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2145-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Olivia Soesanto, Cathy Macpherson, Michael J. Richardson, Lynden K. Miles, Rachel Kallen |
Social connection on the dance floor: Movement coordination in small group silent disco leads to greater self-other overlap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Rohit Gupta 0012, Naveed Akhtar, Ajmal Mian, Mubarak Shah |
Contrastive Self-Supervised Learning Leads to Higher Adversarial Susceptibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 14838-14846, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Markus Jelonek |
VRtoER: When Virtual Reality leads to Accidents: A Community on Reddit as Lens to Insights about VR Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023, pp. 315:1-315:6, 2023, ACM, 978-1-4503-9422-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gleb Koginov, Peter Wolf 0001, Kai Schmidt, Jaime E. Duarte, Robert Riener |
Guided Exploration Leads to Faster Familiarization with a Wearable Robot: First Results of an Innovative Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICORR ![In: International Conference on Rehabilitation Robotics, ICORR 2023, Singapore, September 24-28, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-4275-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ali Gunawan, Bagas Rizkyka Pinajung, Orseola Gratia, Rahel Laurensia Natalie Romatua |
Keywords That are Oftenly Searched by Students on Daily Uses That Leads to Information That Is Potentially Banned by SafeSearch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIMTech ![In: International Conference on Information Management and Technology, ICIMTech 2023, Malang, Indonesia, August 24-25, 2023, pp. 533-537, 2023, IEEE, 979-8-3503-2609-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | AmirMohammad Sarfi, Zahra Karimpour, Muawiz Chaudhary, Nasir Mohammad Khalid, Mirco Ravanelli, Sudhir Mudur, Eugene Belilovsky |
Simulated Annealing in Early Layers Leads to Better Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 20205-20214, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Brunnbauer |
How Top-Down AI Introduction Leads to Incremental Business Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 6149-6158, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Maksym Andriushchenko, Dara Bahri, Hossein Mobahi, Nicolas Flammarion |
Sharpness-Aware Minimization Leads to Low-Rank Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Samuel James Bell, Levent Sagun |
Simplicity Bias Leads to Amplified Performance Disparities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023, pp. 355-369, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mo Zhou, Rong Ge 0001 |
Implicit Regularization Leads to Benign Overfitting for Sparse Linear Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 42543-42573, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Xun Qian, Hanze Dong, Tong Zhang 0001, Peter Richtárik |
Catalyst Acceleration of Error Compensated Methods Leads to Better Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain., pp. 615-649, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Pascal Oliver Heßler, Jella Pfeiffer, Sebastian Hafenbrädl |
When Self-Humanization Leads to Algorithm Aversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 64(3), pp. 275-292, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Khushboo Kumari, B. M. Mohan |
Minimum t-norm leads to unrealizable fuzzy PID controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 587, pp. 323-334, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jennifer-Ashley Hoffmeister, Andrea N. Smit, Ashley C. Livingstone, John J. McDonald |
Diversion of Attention Leads to Conflict between Concurrently Attended Stimuli, Not Delayed Orienting to the Object of Interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 34(2), pp. 348-364, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Toomas Tamm, Peter B. Seddon, Graeme G. Shanks |
How enterprise architecture leads to organisational benefits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Manag. ![In: Int. J. Inf. Manag. 67, pp. 102554, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Albert Albesa-González, Maxime Froc, Oliver Williamson, Mark C. W. van Rossum |
Weight dependence in BCM leads to adjustable synaptic competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 50(4), pp. 431-444, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Francis A. M. Manno, Ziqi An, Rachit Kumar, Junfeng Su, Jiaming Liu, Ed X. Wu, Jufang He, Yanqiu Feng, Condon Lau |
Environmental enrichment leads to behavioral circadian shifts enhancing brain-wide functional connectivity between sensory cortices and eliciting increased hippocampal spiking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 252, pp. 119016, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eric R. Hantz, Steffen Lindert |
Actives-Based Receptor Selection Strongly Increases the Success Rate in Structure-Based Drug Design and Leads to Identification of 22 Potent Cancer Inhibitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(22), pp. 5675-5687, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Shehzad Hanif, Abu Bakar Abdul Hamid, Atzaz Khurshid, Muhammad Farooq Tariq Butt |
What leads to cyberslacking intentions among students in Pakistan: An enhanced theory of planned behavior perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Inf. Syst. Dev. Ctries. ![In: Electron. J. Inf. Syst. Dev. Ctries. 88(6), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yury V. Kosolapov |
Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 56(7), pp. 828, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Iflaah Salman, Pilar Rodríguez 0002, Burak Turhan, Ayse Tosun, Arda Gureller |
What Leads to a Confirmatory or Disconfirmatory Behavior of Software Testers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(4), pp. 1351-1368, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Linjie Liu, Zhilong Xiao, Xiaojie Chen, Attila Szolnoki |
Early exclusion leads to cyclical cooperation in repeated group interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.08503, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | An Mo, Fabio Izzi, Emre Cemal Gönen, Daniel F. B. Haeufle, Alexander Badri-Spröwitz |
Slack-based tunable damping leads to a trade-off between robustness and efficiency in legged locomotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.00475, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Samuel J. Bell, Levent Sagun |
Simplicity Bias Leads to Amplified Performance Disparities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.06641, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qiaoqiao Ren, Tony Belpaeme |
Tactile interaction with a robot leads to increased risk-taking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.00730, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Joanne Truong, Max Rudolph, Naoki Yokoyama, Sonia Chernova, Dhruv Batra, Akshara Rai |
Rethinking Sim2Real: Lower Fidelity Simulation Leads to Higher Sim2Real Transfer in Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.10821, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Andreagiovanni Reina, Raina Zakir, Giulia De Masi, Eliseo Ferrante |
Cross-inhibition leads to group consensus despite the presence of strongly opinionated minorities and asocial behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.09531, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Vanessa Böhm, Wei Ji Leong, Ragini Bal Mahesh, Ioannis Prapas, Edoardo Nemni, Freddie Kalaitzis, Siddha Ganju, Raúl Ramos-Pollán |
SAR-based landslide classification pretraining leads to better segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.09927, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Najoung Kim, Tal Linzen, Paul Smolensky |
Uncontrolled Lexical Exposure Leads to Overestimation of Compositional Generalization in Pretrained Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.10769, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Aniket Das, Bernhard Schölkopf, Michael Muehlebach |
Sampling without Replacement Leads to Faster Rates in Finite-Sum Minimax Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.02953, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Erik Wijmans, Irfan Essa, Dhruv Batra |
VER: Scaling On-Policy RL Leads to the Emergence of Navigation in Embodied Rearrangement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.05064, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu |
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.11171, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Helmuth, Johannes Lengler, William G. La Cava |
Population Diversity Leads to Short Running Times of Lexicase Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.06461, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Cuervo, Adrian Lancucki, Ricard Marxer, Pawel Rychlikowski, Jan Chorowski |
Variable-rate hierarchical CPC leads to acoustic unit discovery in speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.02211, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sami Hamdan, Bradley C. Love, Georg G. von Polier, Susanne Weis, Holger Schwender, Simon B. Eickhoff, Kaustubh R. Patil |
Confound-leakage: Confound Removal in Machine Learning Leads to Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.09232, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ranjita Dash, Harish J. Palanthandalam-Madapusi |
Change in task conditions leads to changes in intermittency in intermittent feedback control employed by CNS in control of human stance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 116(4), pp. 447-459, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tamás Sándor Biró |
Kaniadakis Entropy Leads to Particle-Hole Symmetric Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(9), pp. 1217, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Monserrat Pallares Di Nunzio, Fernando Montani |
Spike Timing-Dependent Plasticity with Enhanced Long-Term Depression Leads to an Increase of Statistical Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(10), pp. 1384, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Altmann, Bernhard Strauss, Wolfgang Tschacher |
Cross-Correlation- and Entropy-Based Measures of Movement Synchrony: Non-Convergence of Measures Leads to Different Associations with Depressive Symptoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(9), pp. 1307, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tomonori Sawada, Hiroki Okawara, Daisuke Nakashima, Kaito Ikeda, Joji Nagahara, Haruki Fujitsuka, Sosuke Hoshino, Yuta Maeda, Yoshinori Katsumata, Masaya Nakamura, Takeo Nagura |
Constant Load Pedaling Exercise Combined with Electrical Muscle Stimulation Leads to an Early Increase in Sweat Lactate Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(24), pp. 9585, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Fredrik Orädd, Jonas Hyld Steffen, Pontus Gourdon, Magnus Andersson |
Copper binding leads to increased dynamics in the regulatory N-terminal domain of full-length human copper transporter ATP7B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 18(9), pp. 1010074, September 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dario Miocevic |
Consumers' responses to opposing copyright enforcement regimes: When cognitive appraisal leads to compliance vs reactance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 136, pp. 107380, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sangyub Kim, Minmo Koo, Kichun Nam |
Game experience leads to improvement in cognitive functioning of the early middle-aged adults in contrast with the young-aged adults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 129, pp. 107153, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yati Phyo, Canh Minh Do, Kazuhiro Ogata 0001 |
A Divide & Conquer Approach to Leads-to Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 65(6), pp. 1353-1364, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 10170 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|