|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1710 occurrences of 1136 keywords
|
|
|
Results
Found 3162 publication records. Showing 3162 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Kensuke Misawa, Noriyuki Yamaotsu, Shuichi Hirono |
Identification of novel EED-EZH2 PPI inhibitors using an in silico fragment mapping method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 35(5), pp. 601-611, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Martin Lycka, Vratislav Peska, Martin Demko, Ioannis Spyroglou, Agata Kilar, Jirí Fajkus, Miloslava Fojtová |
WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 22(1), pp. 145, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Siyuan Liu, Tong Wang 0014, Qijiang Xu, Bin Shao, Jian Yin 0001, Tie-Yan Liu |
Complementing sequence-derived features with structural information extracted from fragment libraries for protein structure prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 22(1), pp. 351, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Grigorii V. Andrianov, Wern Juin Gabriel Ong, Ilya Serebriiskii, John Karanicolas |
Efficient Hit-to-Lead Searching of Kinase Inhibitor Chemical Space via Computational Fragment Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(12), pp. 5967-5987, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Harsh Bansia, Pranjal Mahanta, Neela H. Yennawar, Suryanarayanarao Ramakumar |
Small Glycols Discover Cryptic Pockets on Proteins for Fragment-Based Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(3), pp. 1322-1333, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kaori Fukuzawa, Koichiro Kato, Chiduru Watanabe, Yusuke Kawashima, Yuma Handa, Ami Yamamoto, Kazuki Watanabe 0005, Tatsuya Ohyama, Kikuko Kamisaka, Daisuke Takaya, Teruki Honma |
Special Features of COVID-19 in the FMODB: Fragment Molecular Orbital Calculations and Interaction Energy Analysis of SARS-CoV-2-Related Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(9), pp. 4594-4612, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Louis Bellmann, Patrick Penner, Matthias Rarey |
Topological Similarity Search in Large Combinatorial Fragment Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(1), pp. 238-251, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daisuke Takaya, Chiduru Watanabe, Shunpei Nagase, Kikuko Kamisaka, Yoshio Okiyama, Hirotomo Moriwaki, Hitomi Yuki, Tomohiro Sato, Noriyuki Kurita, Yoichiro Yagi, Tatsuya Takagi, Norihito Kawashita, Kenichiro Takaba, Tomonaga Ozawa, Midori Takimoto-Kamimura, Shigenori Tanaka, Kaori Fukuzawa, Teruki Honma |
FMODB: The World's First Database of Quantum Mechanical Calculations for Biomacromolecules Based on the Fragment Molecular Orbital Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(2), pp. 777-794, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hongyi Zhou, Hongnan Cao, Jeffrey Skolnick |
FRAGSITE: A Fragment-Based Approach for Virtual Ligand Screening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(4), pp. 2074-2089, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Neda Ojaghlou, Justin Airas, Lauren M. McRae, Cooper A. Taylor, Bill R. Miller, Carol A. Parish |
Understanding the Structure and Apo Dynamics of the Functionally Active JIP1 Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(1), pp. 324-334, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Philippe Gantzer, Benoît Creton, Carlos Nieto-Draghi |
Comparisons of Molecular Structure Generation Methods Based on Fragment Assemblies and Genetic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(9), pp. 4245-4258, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ningshan Li, Nayang Shan, Lingeng Lu, Zuoheng Wang |
tRFtarget: a database for transfer RNA-derived fragment targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 49(Database-Issue), pp. D254-D260, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jacques Serizay, Julie Ahringer |
Generating fragment density plots in R/Bioconductor with VplotR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 6(59), pp. 3009, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ondrej Kuzelka |
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 70, pp. 1281-1307, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ziqiao Zhang, Jihong Guan, Shuigeng Zhou |
FraGAT: a fragment-oriented multi-scale graph attention model for molecular property prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 37(18), pp. 2981-2987, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ziqi Chen, Martin Renqiang Min, Srinivasan Parthasarathy 0001, Xia Ning |
A deep generative model for molecule optimization via one fragment modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Mach. Intell. ![In: Nat. Mach. Intell. 3(12), pp. 1040-1049, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Emanuel Kieronski, Antti Kuusisto |
One-Dimensional Fragment over Words and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.02678, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Thierry Petit, Randy J. Zauhar |
A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10892, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Chongcan Li, Yong Cong, Weihua Deng |
Identifying the fragment structure of the organic compounds by deeply learning the original NMR data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.11740, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Stefan Kuhn 0001, Eda Tumer, Simon Colreavy-Donnelly, Ricardo Moreira Borges |
A Pilot Study For Fragment Identification Using 2D NMR and Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.12169, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Marzieh Masoumi, Ahmad Keshavarz, Reza Fotohi |
File fragment recognition based on content and statistical features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.12699, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Benson Chen, Xiang Fu 0005, Regina Barzilay, Tommi S. Jaakkola |
Fragment-based Sequential Translation for Molecular Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.01009, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Domenico Cantone, Andrea De Domenico, Pietro Maugeri |
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 195-210, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Markus Fleck, Noah Weber, Christopher Trummer |
Decoupled coordinates for machine learning-based molecular fragment linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.02930, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Christoph Benzmüller, Sebastian Reiche |
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.01654, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Seonghwan Seo, Jaechang Lim, Woo Youn Kim |
Fragment-based molecular generative model with high generalization ability and synthetic accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.12907, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Emanuel Kieronski, Sebastian Rudolph |
Finite Model Theory of the Triguarded Fragment and Related Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.08377, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Miroslav Chodil, Antonín Kucera 0001 |
The Satisfiability Problem for a Quantitative Fragment of PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.03794, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xiaopeng Lu, Tiancheng Zhao, Kyusong Lee |
VisualSparta: Sparse Transformer Fragment-level Matching for Large-scale Text-to-Image Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.00265, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Rahulkrishna Yandrapally, Ali Mesbah 0001 |
Fragment-Based Test Generation For Web Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.14043, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Soojung Yang, Doyeong Hwang, Seul Lee, Seongok Ryu, Sung Ju Hwang |
Hit and Lead Discovery with Explorative RL and Fragment-based Molecule Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.01219, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Reijo Jaakkola |
Complexity of the Ackermann fragment with one leading existential quantifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.05388, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Hiroyoshi Komatsu |
The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.03634, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Myriam Guillevic, Aurore Guillevic, Martin Vollmer, Paul Schlauri, Matthias Hill, Lukas Emmenegger, Stefan Reimann |
Automated fragment identification for electron ionisation mass spectrometry: application to atmospheric measurements of halocarbons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.13807, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Matthias Hoelzel, Richard Wilke |
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Govind Mittal, Pawel Korus, Nasir D. Memon |
FiFTy: Large-Scale File Fragment Type Identification Using Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 16, pp. 28-41, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mathy Vanhoef |
Fragment and Forge: Breaking Wi-Fi Through Frame Aggregation and Fragmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 763, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Gianluca Grilletti |
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 30(4), pp. 725-751, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Bin Liu 0040, Mingzhe Wang, Xiaolei Niu, Shengfa Wang, Song Zhang, Jianxin Zhang |
A Fragment Fracture Surface Segmentation Method Based on Learning of Local Geometric Features on Margins Used for Automatic Utensil Reassembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 132, pp. 102963, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Cao-An Vu, Pin-Hsien Pan, Yuh-Shyong Yang, Hardy Wai-Hong Chan, Yoichi Kumada, Wen-Yih Chen |
Combination of Aptamer Amplifier and Antigen-Binding Fragment Probe as a Novel Strategy to Improve Detection Limit of Silicon Nanowire Field-Effect Transistor Immunosensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(2), pp. 650, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Ballarín, Ana Cristina Marcén, Vicente Pelechano, Carlos Cetina |
On the influence of model fragment properties on a machine learning-based approach for feature location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 129, pp. 106430, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Myriam Guillevic, Aurore Guillevic, Martin K. Vollmer, Paul Schlauri, Matthias Hill, Lukas Emmenegger, Stefan Reimann |
Automated fragment formula annotation for electron ionisation, high resolution mass spectrometry: application to atmospheric measurements of halocarbons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 13(1), pp. 78, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Quentin Peyras, Julien Brunel, David Chemouil |
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 280, pp. 104641, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Je Hyeong Hong, Yoo Seong Jong, Muhammad Zeeshan Arshad, Young Min Kim 0001, Jinwook Kim |
Structure-from-Sherds: Incremental 3D Reassembly of Axially Symmetric Pots from Unordered and Mixed Fragment Collections. ![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. 5423-5431, 2021, IEEE, 978-1-6654-2812-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xun Wang |
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings, pp. 246-258, 2021, Springer, 978-3-030-88707-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Halfpap, Rainer Schlosser |
Memory-Efficient Database Fragment Allocation for Robust Load Balancing when Nodes Fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 37th IEEE International Conference on Data Engineering, ICDE 2021, Chania, Greece, April 19-22, 2021, pp. 1811-1816, 2021, IEEE, 978-1-7281-9184-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Isa Anshori, Antonius Eko Nugroho, Aminul Solihin, Jessika, Muhammad Yusuf, Yeni Wahyuni Hartati, Silmina Prastriyati Sari, Taufik Ramdani Tohari, Brian Yuliarto, Gilang Gumilar, Lavita Nuraviana, Raih Rona Althof |
Single-Chained Fragment Variable (scFv) Recombinant as a Potential Receptor for SARS-CoV-2 Biosensor Based on Surface Plasmon Resonance (SPR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SENSORS ![In: 2021 IEEE Sensors, Sydney, Australia, October 31 - Nov. 3, 2021, pp. 1-4, 2021, IEEE, 978-1-7281-9501-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Emanuel Kieronski, Sebastian Rudolph |
Finite Model Theory of the Triguarded Fragment and Related Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Shih-Chun You, Markus G. Kuhn |
Single-Trace Fragment Template Attack on a 32-Bit Implementation of Keccak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers, pp. 3-23, 2021, Springer, 978-3-030-97347-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Manishankar Mondal, Chanchal K. Roy, Banani Roy, Kevin A. Schneider |
FLeCCS: A Technique for Suggesting Fragment-Level Similar Co-change Candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: 29th IEEE/ACM International Conference on Program Comprehension, ICPC 2021, Madrid, Spain, May 20-21, 2021, pp. 160-171, 2021, IEEE, 978-1-6654-1403-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Stephan Haarmann |
Fragment-Based Case Management Models: Metamodel, Consistency, & Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021), Bamberg, Germany, February 25-26, 2021., pp. 1-8, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Mathy Vanhoef |
Fragment and Forge: Breaking Wi-Fi Through Frame Aggregation and Fragmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, pp. 161-178, 2021, USENIX Association, 978-1-939133-24-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Laouen Fernet, Sebastian Mödersheim |
Deciding a Fragment of (α , β )-Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings, pp. 122-142, 2021, Springer, 978-3-030-91858-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Miroslav Chodil, Antonín Kucera 0001 |
The Satisfiability Problem for a Quantitative Fragment of PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings, pp. 149-161, 2021, Springer, 978-3-030-86592-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Stepan L. Kuznetsov |
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings, pp. 317-334, 2021, Springer, 978-3-030-86058-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Lidia Tendera |
On the Fluted Fragment (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, March 16-19, 2021, Saarbrücken, Germany (Virtual Conference)., pp. 3:1-3:1, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-180-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Chao Liu, Kemin Wang, Wenhao Zhan, Yuting Wang, Bo Xiao, Wenpeng Gao |
Multi-path routing spectrum allocation algorithm based on fragment sensing and energy saving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HP3C ![In: HP3C 2021: 5th International Conference on High Performance Compilation, Computing and Communications, Guangzhou, China, June 18 - 20, 2021, pp. 50-54, 2021, ACM, 978-1-4503-8964-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Bartosz Bednarczyk |
Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, pp. 179-193, 2021, Springer, 978-3-030-75774-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nattapol Trijakwanich, Peerat Limkonchotiwat, Raheem Sarwar, Wannaphong Phatthiyaphaibun, Ekapol Chuangsuwanich, Sarana Nutanong |
Robust Fragment-Based Framework for Cross-lingual Sentence Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November, 2021, pp. 935-944, 2021, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhan Zhang, Yun-Tian Wang, Bang Li, An Guo, Cheng-Lin Liu |
Deep Rejoining Model for Oracle Bone Fragment Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACPR (2) ![In: Pattern Recognition - 6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, Revised Selected Papers, Part II, pp. 3-15, 2021, Springer, 978-3-031-02443-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Soojung Yang, Doyeong Hwang, Seul Lee, Seongok Ryu, Sung Ju Hwang |
Hit and Lead Discovery with Explorative RL and Fragment-based Molecule Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 7924-7936, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Martin Bromberger, Alberto Fiori, Christoph Weidenbach |
Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings, pp. 511-533, 2021, Springer, 978-3-030-67066-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Fangkai Zhang, Xiaofeng Fu, Masaki Omata |
Emotion Recognition on Extracted EEG Fragment Based on Self-reporting Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: International Conference on Cyberworlds, CW 2021, Caen, France, September 28-30, 2021, pp. 213-216, 2021, IEEE, 978-1-6654-4065-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Emanuel Kieronski, Sebastian Rudolph |
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Sagar Malhotra, Luciano Serafini |
A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AIxIA 2021 - Advances in Artificial Intelligence - 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers, pp. 137-152, 2021, Springer, 978-3-031-08420-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Konstantinos Tsilionis, Yves Wautelet |
From Service-Orientation to Agile Development by Conceptually Linking Business IT Services and User Stories: A Meta-Model and a Process Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (2) ![In: 23rd Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 2., pp. 153-162, 2021, IEEE, 978-1-6654-2069-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Felipe Castro-Medina, Lisbeth Rodríguez-Mazahua, Asdrúbal López Chau, Giner Alor-Hernández, Ulises Juárez-Martínez, Cuauhtémoc Sánchez-Ramírez |
An Improvement to FRAGMENT: A Web Application for Database Fragmentation, Allocation, and Replication Over a Cloud Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICT (3) ![In: Proceedings of Sixth International Congress on Information and Communication Technology - ICICT 2021, London, Volume 3, pp. 685-696, 2021, Springer, 978-981-16-1780-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rainer Schlosser, Stefan Halfpap |
Robust and Memory-Efficient Database Fragment Allocation for Large and Uncertain Database Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021., pp. 367-372, 2021, OpenProceedings.org, 978-3-89318-084-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Manish Bhatt, Avdesh Mishra, Md Wasi Ul Kabir, S. E. Blake-Gatto, Rishav Rajendra, Md. Tamjidul Hoque, Irfan Ahmed 0001 |
Hierarchy-Based File Fragment Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. Knowl. Extr. ![In: Mach. Learn. Knowl. Extr. 2(3), pp. 216-232, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 21(3), pp. 20:1-20:47, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abdelkamel Ben Ali, Gabriel Luque, Enrique Alba 0001 |
An efficient discrete PSO coupled with a fast local search heuristic for the DNA fragment assembly problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 512, pp. 880-908, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qunhui Li, Guohua Geng, Mingquan Zhou |
Pairwise Matching for 3D Fragment Reassembly Based on Boundary Curves and Concave-Convex Patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 6153-6161, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Abdel-Basset, Reda Mohamed, Karam M. Sallam, Ripon Kumar Chakrabortty, Michael J. Ryan |
An Efficient-Assembler Whale Optimization Algorithm for DNA Fragment Assembly Problem: Analysis and Validations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 222144-222167, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yoshinobu Akinaga, Koichiro Kato, Tatsuya Nakano, Kaori Fukuzawa, Yuji Mochizuki |
Fragmentation at sp2 carbon atoms in fragment molecular orbital method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 41(15), pp. 1416-1420, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yufeng Cai, Xiongjun Li, Zhe Sun, Yutong Lu, Huiying Zhao, Jack Hanson, Kuldip K. Paliwal, Thomas Litfin, Yaoqi Zhou, Yuedong Yang |
SPOT-Fold: Fragment-Free Protein Structure Prediction Guided by Predicted Backbone Structure and Contact Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 41(8), pp. 745-750, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Miyu Kusumoto, Kaori Ueno-Noto, Keiko Takano |
Systematic Interaction Analysis of Anti-Human Immunodeficiency Virus Type-1 Neutralizing Antibodies with High Mannose Glycans Using Fragment Molecular Orbital and Molecular Dynamics Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 41(1), pp. 31-42, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pablo A. Unzueta, Gregory J. O. Beran |
Polarizable continuum models provide an effective electrostatic embedding model for fragment-based chemical shift prediction in challenging systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 41(26), pp. 2251-2265, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sepideh Mazrouee, Wei Wang 0010 |
PolyCluster: Minimum Fragment Disagreement Clustering for Polyploid Phasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 17(1), pp. 264-277, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sara Sarfaraz, Iqra Muneer, Haiyan Liu |
Combining fragment docking with graph theory to improve ligand docking for homology model structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 34(12), pp. 1237-1259, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Wessam Elhefnawy, Min Li 0007, Jianxin Wang 0001, Yaohang Li |
DeepFrag-k: a fragment-based deep learning approach for protein fold recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 21-S(6), pp. 203, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth Goossens, Berthold Wroblowski, Cassiano Langini, Herman van Vlijmen, Amedeo Caflisch, Hans De Winter |
Assessment of the Fragment Docking Program SEED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(10), pp. 4881-4893, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ryo Hatada, Koji Okuwaki, Yuji Mochizuki, Yuma Handa, Kaori Fukuzawa, Yuto Komeiji, Yoshio Okiyama, Shigenori Tanaka |
Fragment Molecular Orbital Based Interaction Analyses on COVID-19 Main Protease - Inhibitor N3 Complex (PDB ID: 6LU7). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(7), pp. 3593-3602, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yan Li 0051, Yaping Sun, Yunpeng Song, Dongcheng Dai, Zhixiong Zhao, Qing Zhang, Wenge Zhong, Liaoyuan A. Hu, Yingli Ma, Xun Li, Renxiao Wang |
Fragment-Based Computational Method for Designing GPCR Ligands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(9), pp. 4339-4349, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Laura Chachulski, Björn Windshügel |
LEADS-FRAG: A Benchmark Data Set for Assessment of Fragment Docking Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(12), pp. 6544-6554, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Patrick Penner, Virginie Y. Martiny, Arnaud Gohier, Marcus Gastreich, Pierre Ducrot, David Brown, Matthias Rarey |
Shape-Based Descriptors for Efficient Structure-Based Fragment Growing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(12), pp. 6269-6281, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jinwen Shan, Xiaolin Pan, Xingyu Wang, Xudong Xiao, Changge Ji |
FragRep: A Web Server for Structure-Based Drug Design by Fragment Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(12), pp. 5900-5906, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Amanda E. Wakefield, Christine Yueh, Dmitri Beglov, Marcelo Santos Castilho, Dima Kozakov, György M. Keserü, Adrian Whitty, Sandor Vajda |
Benchmark Sets for Binding Hot Spot Identification in Fragment-Based Ligand Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(12), pp. 6612-6623, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Agnieszka S. Karczynska, Karolina Zieba, Urszula Uciechowska, Magdalena A. Mozolewska, Pawel Krupa, Emilia A. Lubecka, Agnieszka G. Lipska, Celina Sikorska, Sergey A. Samsonov, Adam K. Sieradzan, Artur Gieldon, Adam Liwo, Rafal Slusarz, Magdalena Slusarz, Jooyoung Lee 0002, Keehyoung Joo, Cezary Czaplewski |
Improved Consensus-Fragment Selection in Template-Assisted Prediction of Protein Structures with the UNRES Force Field in CASP13. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(3), pp. 1844-1864, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Koichiro Kato, Tomohide Masuda, Chiduru Watanabe, Naoki Miyagawa, Hideo Mizouchi, Shumpei Nagase, Kikuko Kamisaka, Kanji Oshima, Satoshi Ono, Hiroshi Ueda, Atsushi Tokuhisa, Ryo Kanada, Masateru Ohta, Mitsunori Ikeguchi, Yasushi Okuno, Kaori Fukuzawa, Teruki Honma |
High-Precision Atomic Charge Prediction for Protein Systems Using Fragment Molecular Orbital Calculation and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 60(7), pp. 3361-3368, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Lishuang Li, Anqiao Zhou, Beibei Zhang, Fengsen Xiao |
Multiple fragment-level interactive networks for answer selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 402, pp. 80-88, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Matan Drory Retwitzer, Vladimir Reinharz, Alexander Churkin, Yann Ponty, Jérôme Waldispühl, Danny Barash |
incaRNAfbinv 2.0: a webserver and software with motif control for fragment-based design of RNAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(9), pp. 2920-2922, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christoffer Bøgelund Rasmussen, Thomas B. Moeslund |
Evaluation of Model Selection for Kernel Fragment Recognition in Corn Silage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Sheng He, Lambert Schomaker |
FragNet: Writer Identification using Deep Fragment Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.07212, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ondrej Kuzelka |
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.05619, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Wen-Kai Yu, Ya-Xin Li, Jian Leng, Shuo-Fei Wang |
Fragment-synthesis-based multiparty cryptographic key distribution over a public network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.08362, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ian Pratt-Hartmann, Lidia Tendera |
The Fluted Fragment with Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.11169, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Marco Podda, Davide Bacciu, Alessio Micheli |
A Deep Generative Model for Fragment-Based Molecule Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.12826, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Ziqi Chen, Martin Renqiang Min, Srinivasan Parthasarathy 0001, Xia Ning |
Molecule Optimization via Fragment-based Generative Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.04231, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Manuel Bodirsky, Simon Knäuer, Florian Starke |
ASNP: a tame fragment of existential second-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.08190, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Jean Christoph Jung, Frank Wolter |
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.01597, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 3162 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|