Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Xiaofang Zhou 0001, David Truffet, Jiawei Han 0001 |
Efficient Polygon Amalgamation Methods for Spatial OLAP and Spatial Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999, Proceedings, pp. 167-187, 1999, Springer, 3-540-66247-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
polygon amalgamation, spatial databases, spatial indexing, on-line analytical processing (OLAP) |
92 | Hu Shuhua, Zhang Jixin |
Study of Regional Innovation Networks Based on Industry Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 150-153, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
84 | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski |
Checking Amalgamability Conditions for C ASL Architectural Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 451-463, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation |
77 | Paul Boehm, Harald-Reto Fonio, Annegret Habel |
Amalgamation of Graph Transformations with Applications to Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 267-283, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
75 | Tarek Sayed Ahmed |
On Amalgamation in Algebras of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(1), pp. 61-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation |
61 | José R. Herrero 0001, Juan J. Navarro |
Hypermatrix oriented supernode amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 46(1), pp. 84-104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sparse Cholesky factorization, Hypermatrix, Supernode amalgamation |
56 | Dali Zangurashvili |
Some Categorical Algebraic Properties: Counter-Examples for Functor Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(2), pp. 113-120, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation |
48 | Majid Alizadeh, Mohammad Ardeshir |
Amalgamation property for the class of basic algebras and some of its natural subclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(8), pp. 913-930, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification Primary 03G25, Primary 03D20, Secondary 03B20 |
48 | John T. Baldwin 0001, Olivier Lessmann |
Amalgamation properties and finite models in Ln-theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(2), pp. 155-167, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki |
Amalgamation in CASL via Enriched Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 993-1004, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Qing Liu 0011 |
Granular Language and Its Applications in Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 127-132, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Granular Language, Problem solving, Granules, Decompose, Amalgamation |
39 | Judit X. Madarász, Tarek Sayed Ahmed |
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 17(6), pp. 755-802, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Tapani Hyttinen |
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(1), pp. 63-73, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract elementary classes, Structure theorem, Categoricity |
34 | John G. Stell, Michael F. Worboys |
Generalizing Graphs Using Amalgamation and Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999, Proceedings, pp. 19-32, 1999, Springer, 3-540-66247-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Clive Marsh, C. McGowan |
Amalgamation of Knowledge and Data Through Fuzzy Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 269-272, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Knowlegde Based Models, Parameter Estimation, Fuzzy Modeling |
34 | Staffan Bonnier, Jan Maluszynski |
Towards a Clean Amalgamation of Logic Programs with External Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings, pp. 20-34, 1988, Springer, 3-540-50820-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Gregory R. Wheeler |
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 170-180, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, pp. 156-170, 2006, Springer, 978-3-540-71997-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Till Mossakowski |
Comorphism-Based Grothendieck Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 593-604, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
Semantics of Architectural Specifications in CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 253-268, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(1), pp. 59-65, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | M. A. Nait Abdallah |
Icons and Local Definitions in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings, pp. 60-72, 1986, Springer, 3-540-16078-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
27 | Larisa Maksimova |
Definability and Interpolation in Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 271-291, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation |
20 | Mohamed A. Tolba, Essam H. Houssein, Mohammed Hamouda Ali, Fatma A. Hashim |
A new robust modified capuchin search algorithm for the optimum amalgamation of DSTATCOM in power distribution networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 36(2), pp. 843-881, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Thimmaraja Yadava G., B. G. Nagaraja, H. S. Jayanna |
Amalgamation of noise elimination and TDNN acoustic modelling techniques for the advancements in continuous Kannada ASR system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(7), pp. 19953-19968, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Somiya Rani, Amita Jain |
Optimizing healthcare system by amalgamation of text processing and deep learning: a systematic review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(1), pp. 279-303, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Pronaya Bhattacharya, Umesh Bodkhe, Mohd. Zuhair, Mamoon Rashid, Xuan Liu 0006, Ashwin Verma, Ram Kishan Dewangan |
Amalgamation of blockchain and sixth-generation-envisioned responsive edge orchestration in future cellular vehicle-to-anything ecosystems: Opportunities and challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Emerg. Telecommun. Technol. ![In: Trans. Emerg. Telecommun. Technol. 35(4), April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Michal Wrona |
Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16540, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Zalán Gyenis, Övge Öztürk |
Amalgamation and Robinson property in universal algebraic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 32(1), pp. 180-196, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Sathiyandrakumar Srinivasan, P. Deepalakshmi |
An innovative malware detection methodology employing the amalgamation of stacked BiLSTM and CNN+LSTM-based classification networks with the assistance of Mayfly metaheuristic optimization algorithm in cyber-attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 35(10), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mohammed Yusuf Ansari, Vaisali Chandrasekar, Ajay Vikram Singh, Sarada Prasad Dakua |
Re-Routing Drugs to Blood Brain Barrier: A Comprehensive Analysis of Machine Learning Approaches With Fingerprint Amalgamation and Data Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 9890-9906, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shweta Tyagi, Devidas T. Kushnure, Sanjay N. Talbar |
An amalgamation of vision transformer with convolutional neural network for automatic lung tumor segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Medical Imaging Graph. ![In: Comput. Medical Imaging Graph. 108, pp. 102258, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Hemanta Kumar Palo, Swapna Subudhiray, Niva Das |
The amalgamation of wavelet packet information gain entropy tuned source and system parameters for improved speech emotion recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Commun. ![In: Speech Commun. 149, pp. 11-28, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Choo Chia Chun, Yi Chen Lee, Harikrishnan Ramiah, Yong Chen 0005, Pui-In Mak, Rui Paulo Martins |
A High-PCE Range-Extension CMOS Rectifier Employing Advanced Topology Amalgamation Technique for Ambient RF Energy Harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(10), pp. 3747-3751, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Santosh Kumar Yadav, Rakesh Kumar 0011 |
EVACON-Rainsnow Computing: An Amalgamation of Cloud and Its Inherited Computing to Encourage End User for Both Localized and Globalized Remote Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 132(4), pp. 2737-2792, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shangde Gao, Yichao Fu, Ke Liu, Yuqiang Han |
Contrastive Knowledge Amalgamation for Unsupervised Image Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14781, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Andrés Aranda, Samuel Braunfeld, David Chodounský, Jan Hubicka, Matej Konecný, Jaroslav Nesetril, Andy Zucker |
Type-respecting amalgamation and big Ramsey degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12679, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Cuong V. Nguyen, Khiem H. Le, Anh M. Tran, Quang Hong Pham, Binh T. Nguyen 0001 |
Learning for Amalgamation: A Multi-Source Transfer Learning Framework For Sentiment Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.09115, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Manh-Duy Nguyen, Binh T. Nguyen 0001, Cathal Gurrin |
HADA: A Graph-based Amalgamation Framework in Image-text Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04742, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | George Sains, Conor J. Houghton, Seth Bullock |
Spatial community structure impedes language amalgamation in a population-based iterated learning model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11962, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Vincent Guingona, Miriam Parnes |
Ranks based on strong amalgamation Fraïssé classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(7-8), pp. 889-929, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Muhammad Ahmad Raza, Mohammed M. A. Almazah, Nadhir Al-Ansari, Ijaz Hussain, Fuad S. Al-Duais, Mohammed A. Naser |
A New Bayesian Network-Based Generalized Weighting Scheme for the Amalgamation of Multiple Drought Indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2023, pp. 8260317:1-8260317:23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Haofei Zhang, Feng Mao, Mengqi Xue, Gongfan Fang, Zunlei Feng, Jie Song 0011, Mingli Song |
Knowledge Amalgamation for Object Detection With Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 32, pp. 2093-2106, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yeqing Ren, Haipeng Peng, Lixiang Li 0001, Xiaopeng Xue, Yang Lan, Yixian Yang |
Generalized Voice Spoofing Detection via Integral Knowledge Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Audio Speech Lang. Process. ![In: IEEE ACM Trans. Audio Speech Lang. Process. 31, pp. 2461-2475, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 1-16, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rohit Misra, Sapna S. Mishra, Tapan K. Gandhi |
Assistive Completion of Agrammatic Aphasic Sentences: Amalgamation of NLP and Neurolinguistics-based Synthetic Dataset. ![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 |
|
20 | Jidapa Thadajarassiri, Thomas Hartvigsen, Walter Gerych, Xiangnan Kong, Elke A. Rundensteiner |
Knowledge Amalgamation for Multi-Label Classification via Label Dependency Transfer. ![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. 9980-9988, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Manh-Duy Nguyen, Binh T. Nguyen 0001, Cathal Gurrin |
HADA: A Graph-Based Amalgamation Framework in Image-text Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I, pp. 717-731, 2023, Springer, 978-3-031-28243-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yi-Chung Chen, Hsi-Wen Chen, Shun-Gui Wang, Ming-Syan Chen |
SPACE: Single-round Participant Amalgamation for Contribution Evaluation in Federated Learning. ![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 |
|
20 | Dyutisree Halder, Harshit, Abhishek Rai, Rahul Dev Garg |
Augmentation of Urban Atmosphere Through Amalgamation of Geospatial & Anthropogenic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2023, Pasadena, CA, USA, July 16-21, 2023, pp. 2414-2417, 2023, IEEE, 979-8-3503-2010-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Junyoung Park, Jeongyoun Ahn, Cheolwoo Park |
Kernel Sufficient Dimension Reduction and Variable Selection for Compositional Data via Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 27034-27047, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Yunzhi Hao, Yu Wang, Shunyu Liu 0001, Tongya Zheng, Xingen Wang, Xinyu Wang 0001, Mingli Song, Wenqi Huang, Chun Chen |
Attribution Guided Layerwise Knowledge Amalgamation from Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing - 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part I, pp. 147-160, 2023, Springer, 978-981-99-8078-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Khush Bakhat, Kashif Kifayat, M. Shujah Islam, M. Mattah Islam |
Human activity recognition based on an amalgamation of CEV & SGM features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 43(6), pp. 7351-7362, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Shefali Dhingra, Poonam Bansal |
Designing of a rigorous image retrieval system with amalgamation of artificial intelligent techniques and relevance feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 42(2), pp. 1115-1126, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Deepa Abin, Sudeep D. Thepade |
Improved shadow suppression with amalgamation of AGWCD and exemplar based inpainting method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 43(3), pp. 2907-2919, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Renjun Xu, Shuoying Liang, Lanyu Wen, Zhitong Guo, Xinyue Huang, Mingli Song, Jindong Wang 0001, Xiaoxiao Xu, Huajun Chen |
Hierarchical knowledge amalgamation with dual discriminative feature alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 613, pp. 556-574, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Cuong V. Nguyen, Khiem H. Le, Anh M. Tran, Quang Hong Pham, Binh T. Nguyen 0001 |
Learning for amalgamation: A multi-source transfer learning framework for sentiment classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 590, pp. 1-14, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Amandeep Singh, Gaurav Sethi, G. S. Kalra |
Amalgamation of ROAD-TGM and progressive PCA using performance booster method for detail persevering image denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 81(2), pp. 1719-1742, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Annu Mishra, Pankaj Gupta, Peeyush Tewari |
Global U-net with amalgamation of inception model and improved kernel variation for MRI brain image segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 81(16), pp. 23339-23354, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alexis Byers, Anita O'Mellan |
An amalgamation of graceful and harmonious labelings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. ICA ![In: Bull. ICA 96, pp. 53-67, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos |
Examples of weak amalgamation classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 68(2), pp. 178-188, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | PLS Jayalaxmi, Rahul Saha, Gulshan Kumar, Tai-Hoon Kim |
Machine and deep learning amalgamation for feature extraction in Industrial Internet-of-Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 97, pp. 107610, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ciro Russo |
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 16(1-2), pp. 355-380, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Donglin Xie, Ruonan Yu, Gongfan Fang, Jie Song 0011, Zunlei Feng, Xinchao Wang, Li Sun, Mingli Song |
Federated Selective Aggregation for Knowledge Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.13309, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Tianshu Huang, Tianlong Chen, Sijia Liu 0001, Shiyu Chang, Lisa Amini, Zhangyang Wang |
Optimizer Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.06474, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Manoj H. Devare |
Amalgamation of Indirect Gamification into Development and Operations (DEVOPS) Course Teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04659, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yanni Wang, Gang Yang 0001, Dayong Ding, Jianchun Zhao |
Segmentation-based Information Extraction and Amalgamation in Fundus Images for Glaucoma Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11456, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Haofei Zhang, Feng Mao, Mengqi Xue, Gongfan Fang, Zunlei Feng, Jie Song 0011, Mingli Song |
Knowledge Amalgamation for Object Detection with Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.03187, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Marcus de Carvalho, Mahardhika Pratama, Jie Zhang 0002, Yajuan Sun |
Class-Incremental Learning via Knowledge Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.02112, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso |
General Interpolation and Strong Amalgamation for Contiguous Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.11771, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yuan Cao, Ligang Li, Wei Ni, Bo Liu 0071, Wenbo Zhou, Qi Xiao |
Amalgamation of Geometry Structure, Meteorological and Thermophysical Parameters for Intelligent Prediction of Temperature Fields in 3D Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(6), pp. 2386, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Malicki |
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(5-6), pp. 685-704, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Marcus de Carvalho, Mahardhika Pratama, Jie Zhang 0002, Yajuan Sun |
Class-Incremental Learning via Knowledge Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (3) ![In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III, pp. 36-50, 2022, Springer, 978-3-031-26408-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Radhika Nautiyal, Radhey Shyam Jha, Rajesh Bahuguna, Anita Gehlot, Abhinav Kathuria, Samta Kathuria |
Amalgamation of Blockchain and Smart Contracts in Copyright. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 5th International Conference on Contemporary Computing and Informatics, IC3I 2022, Uttar Pradesh, India, December 14-16, 2022, pp. 1653-1657, 2022, IEEE, 979-8-3503-9826-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Linzhu Yu, Dawei Jiang, Ke Chen 0005, Lidan Shou |
Arm: Efficient Learning of Neural Retrieval Models with Desired Accuracy by Automatic Knowledge Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11 - 15, 2022, pp. 3345-3349, 2022, ACM, 978-1-4503-8732-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Abhishek Pandey, Senjuti Sen, Soumyadip Majumder, Dev Savla, Pratik Patil |
Location Intelligence in Amalgamation of Floating Solar PV & Electric Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2022, Kuala Lumpur, Malaysia, July 17-22, 2022, pp. 2888-2891, 2022, IEEE, 978-1-6654-2792-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Tianshu Huang, Tianlong Chen, Sijia Liu 0001, Shiyu Chang, Lisa Amini, Zhangyang Wang |
Optimizer Amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022, 2022, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Sy-David Friedman, Dan Hathaway |
Generic coding with Help and Amalgamation Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(4), pp. 1385-1395, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee |
The Relativized Lascar Groups, Type-Amalgamation, and algebraicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(2), pp. 531-557, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Sita Rani, Ram Krishn Mishra, Mohammed Usman, Aman Kataria, Pramod Kumar, Pankaj Bhambri, Amit Kumar Mishra |
Amalgamation of Advanced Technologies for Sustainable Development of Smart City Environment: A Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 150060-150087, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Aparna Kumari, Rajesh Gupta 0007, Sudeep Tanwar |
Amalgamation of blockchain and IoT for smart cities underlying 6G communication: A comprehensive review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 172, pp. 102-118, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Pritul Dave, Arjun Chandarana, Parth Goel, Amit Ganatra |
An amalgamation of YOLOv4 and XGBoost for next-gen smart traffic management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 7, pp. e586, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tarek Sayed Ahmed |
Omitting types algebraically and more about amalgamation for modal cylindric algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 67(3), pp. 295-312, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michael Greenacre, Eric Grunsky, John Bacon-Shone |
A comparison of isometric and amalgamation logratio balances in compositional data analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 148, pp. 104621, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shreya Gupta, Parantak Singh, Megha Sundriyal, Md. Shad Akhtar, Tanmoy Chakraborty 0002 |
LESA: Linguistic Encapsulation and Semantic Amalgamation Based Generalised Claim Detection from Online Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.11891, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Manuel Bodirsky, Simon Knäuer, Jakub Rydval |
Amalgamation is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00452, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Lei Li 0039, Yankai Lin, Xuancheng Ren, Guangxiang Zhao, Peng Li 0030, Jie Zhou 0016, Xu Sun 0001 |
Model Uncertainty-Aware Knowledge Amalgamation for Pre-Trained Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.07327, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Paolo Lipparini |
Linearly ordered sets with only one operator have the amalgamation property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(10), pp. 103015, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Manandeep |
The amalgamation of technology and sustainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 27(4), pp. 11, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings, pp. 1-18, 2021, Springer, 978-3-030-88700-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Dhairya Jadav, Mohammad S. Obaidat, Sudeep Tanwar, Rajesh Gupta 0007, Kuei-Fang Hsiao |
Amalgamation of Blockchain and AI to Classify Malicious Behavior of Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CITS ![In: International Conference on Computer, Information and Telecommunication Systems, CITS 2021, Istanbul, Turkey, November 11-13, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-4913-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
Interpolation and Amalgamation for Arrays with MaxDiff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 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. 268-288, 2021, Springer, 978-3-030-71994-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jidapa Thadajarassiri, Thomas Hartvigsen, Xiangnan Kong, Elke A. Rundensteiner |
Semi-Supervised Knowledge Amalgamation for Sequence Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 9859-9867, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shreya Gupta, Parantak Singh, Megha Sundriyal, Md. Shad Akhtar, Tanmoy Chakraborty 0002 |
LESA: Linguistic Encapsulation and Semantic Amalgamation Based Generalised Claim Detection from Online Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, EACL 2021, Online, April 19 - 23, 2021, pp. 3178-3188, 2021, Association for Computational Linguistics, 978-1-954085-02-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Caixia Li, Wenhua Xu, Xizhu Si, Ping Song |
KABI: Class-Incremental Learning via knowledge Amalgamation and Batch Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAI ![In: ICIAI 2021: 2021 the 5th International Conference on Innovation in Artificial Intelligence, Xiamen, China, March 5-8, 2021, pp. 170-176, 2021, ACM, 978-1-4503-8863-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Chiranjib Sur |
AACR: Feature Fusion Effects of Algebraic Amalgamation Composed Representation on (De)Compositional Network for Caption Generation for Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 1(4), pp. 229, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Daoud Siniora, Slawomir Solecki |
Coherent Extension of Partial automorphisms, Free Amalgamation and automorphism Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(1), pp. 199-223, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Agneet Chatterjee, Sudipta Kumar Ghosal, Ram Sarkar |
LSB based steganography with OCR: an intelligent amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 79(17-18), pp. 11747-11765, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Simon |
On Amalgamation in NTP2 Theories and Generically Simple Generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 61(2), pp. 233-243, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Gaina, Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Stability of termination and sufficient-completeness under pushouts via amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 848, pp. 82-105, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|