|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | S. K. Lakshminarayana, Prabhugoud I. Basarkod |
Unification of K-Nearest Neighbor (KNN) with Distance Aware Algorithm for Intrusion Detection in Evolving Networks Like IoT. |
Wirel. Pers. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia |
Equational Anti-Unification over Absorption Theories. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
E-unification for Second-Order Abstract Syntax. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek |
The Undecidability of Unification Modulo σ Alone. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek |
A Unification Algorithm for Second-Order Linear Terms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray |
Towards a Unification of Logic and Information Theory. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan |
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhongda Chu, Fei Teng 0005 |
Stability Constrained Optimization in High IBR-Penetrated Power Systems-Part I: Constraint Development and Unification. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Mostafanejad |
Unification of popular artificial neural network activation functions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Anti-unification and Generalization: A Survey. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xu Liu, Tong Zhou, Yuanxin Wang, Yuping Wang, Qinjingwen Cao, Weizhi Du, Yonghuan Yang, Junjun He, Yu Qiao, Yiqing Shen 0003 |
Towards the Unification of Generative and Discriminative Visual Foundation Model: A Survey. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhibo Chen 0009, Frank Pfenning |
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ivo Düntsch, Wojciech Dzik |
The fork and its role in unification of closure algebras. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Harshit Sikchi, Amy Zhang 0001, Scott Niekum |
Imitation from Arbitrary Experience: A Dual Unification of Reinforcement and Imitation Learning Methods. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sabah Al-Fedaghi |
In Pursuit of Unification of Conceptual Models: Sets as Machines. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
Recursive First-order Syntactic Unification Modulo Variable Classes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xihua Xu |
Unification of Lagrangian staggered-grid hydrodynamics and cell-centered hydrodynamics in one dimension. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xingtong Yu, Zhenghao Liu, Yuan Fang 0001, Zemin Liu, Sihong Chen, Xinming Zhang 0001 |
Generalized Graph Prompt: Toward a Unification of Pre-Training and Downstream Tasks on Graphs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Vanessa Wirth 0001, Vanessa Wirth 0002 |
Author-Unification: Name-, Institution-, and Career-Sharing Co-authors. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). |
Log. Methods Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | August J. Naudé, Herman C. Myburgh |
Unification of Road Scene Segmentation Strategies Using Multistream Data and Latent Space Attention. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Kappelmann |
Unification Utilities for Isabelle/ML. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
12 | Jean-Pierre Jouannaud, Fernando Orejas |
Unification of drags and confluence of drag rewriting. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | José Meseguer 0001 |
Variants and satisfiability in the infinitary unification wonderland. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pankaj, Ashish Kumar 0005, Rama Komaragiri, Manjeet Kumar |
A novel CS-NET architecture based on the unification of CNN, SVM and super-resolution spectrogram to monitor and classify blood pressure using photoplethysmography. |
Comput. Methods Programs Biomed. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Emmanuel Oluseye Adeyefa, Ezekiel Olaoluwa Omole |
A continuous five-step implicit block unification method for numerical solution of second-order elliptic partial differential equations. |
Int. J. Math. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi |
Unification types in Euclidean modal logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
Remarks about the unification types of some locally tabular normal modal logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mediva Haura, Agatha Constansha, Levana Dhia Prawati |
Implementation of Tax Technology e-Bupot Unification in Indonesia: Applying the DeLone & McLean Information Systems Success Model. |
ICEME |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl |
Refining Unification with Abstraction. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tianze Zhang, Haolin Ren, Qian'Ang Mao, Cong Ma, Shuxi Liang, Daning Hu, Xiao Fan Liu |
Unlocking Decentralized Lending Protocols: Semantic Unification and Risk Spillover Assessment. |
ICDM (Workshops) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiang Gao, Honghui Lin, Yu Li, Ruiyan Fang, Xin Zhang |
Look and Think: Intrinsic Unification of Self-Attention and Convolution for Spatial-Channel Specificity. |
ICASSP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
E-Unification for Second-Order Abstract Syntax. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Victor Araújo, Riei Joaquim Matos Rodrigues, José Victor Silva Cruz, Lucas Cavalcanti, Matheus Vinícius Teotonio do Nascimento Andrade, Matheus Paixão Gumercindo dos Santos, João G. Melo, Pedro Paulo Salman de Oliveira, Ryan Vinicius Santos Morais, Edna Barros |
RobôCIn SSL-Unification: A Modular Software Architecture for Dynamic Multi-robot Systems. |
RoboCup |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz |
Unification, Extension, and Interpretation of Group Fairness Metrics for ML-Based Decision-Making. |
EWAF |
2023 |
DBLP BibTeX RDF |
|
12 | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001 |
Superposition with Delayed Unification. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Towards Fast Nominal Anti-unification of Letrec-Expressions. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino |
Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection. |
CVPR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roger Bosman, Georgios Karachalias, Tom Schrijvers |
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. |
ITP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jaron Maene, Luc De Raedt |
Soft-Unification in Deep Probabilistic Logic. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
12 | Karina Melnyk, Yaroslav Kravets, Iryna Liutenko, Svitlana Yershova, Oksana Ivashchenko, Dmytro Yershov, Olena Odyntsova |
Multi-Agent Approach for the Unification of Meteorological Data. |
COLINS (3) |
2023 |
DBLP BibTeX RDF |
|
12 | Maribel Fernández |
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Predicate Anti-unification in (Constraint) Logic Programming. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy |
A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Anti-unification and Generalization: A Survey. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Masaya Sato, Keisuke Maeda, Ren Togo, Takahiro Ogawa 0001, Miki Haseyama |
Caption Unification for Multiple Viewpoint Lifelogging Images and Its Verification. |
GCCE |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoyu Li, Xiao Dai, Dan Wang |
Target Tracking Algorithm Based on Hybrid Attention Unification Framework. |
CAIBDA |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz |
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Panpan Zhang, Zhicai Li, Lifeng Bao, Peng Zhang, Yongshang Wang, Lin Wu 0003, Yong Wang |
The Refined Gravity Field Models for Height System Unification in China. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Gruber 0003, Jonas Ågren, Detlef Angermann, Artu Ellmann, Andreas Engfeldt, Christoph Gisinger, Leszek Jaworski, Tomasz Kur, Simo Marila, Jolanta Nastula, Faramarz Nilfouroushan, Maaria Nordman, Markku Poutanen, Timo Saari, Marius Schlaak, Anna Swiatek, Sander Varbla, Ryszard Zdunek |
Geodetic SAR for Height System Unification and Sea Level Research - Results in the Baltic Sea Test Network. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | James Joseph Wright, Paul David Bourke |
Unification of free energy minimization, spatiotemporal energy, and dimension reduction models of V1 organization: Postnatal learning on an antenatal scaffold. |
Frontiers Comput. Neurosci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Alexandre Bazin, Syed Attique Shah, Iztok Fister Jr., Sadok Ben Yahia, Dirk Draheim |
A Novel Framework for Unification of Association Rule Mining, Online Analytical Processing and Statistical Reasoning. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Svetlana V. Minina, Nikita E. Shklovskiy-Kordi |
Neuron quantum computers and a way to unification of science: A compendium of Efim Liberman's scientific work. |
Biosyst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sonal Tuteja, Rajeev Kumar 0004 |
A Unification of Heterogeneous Data Sources into a Graph Model in E-commerce. |
Data Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Constantinos G. Vayenas, Dimitrios Grigoriou, Dionysios Tsousis, Konstantinos Parisis, Elias C. Aifantis |
Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
About the unification type of $\mathbf {K}+\square \square \bot $. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Guoqing Zhang 0002, Zhiyuan Luo 0003, Yuhao Chen, Yuhui Zheng, Weisi Lin |
Illumination Unification for Person Re-Identification. |
IEEE Trans. Circuits Syst. Video Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Liisa Holm |
Dali server: structural unification of protein families. |
Nucleic Acids Res. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ghassen Hamdi, Abdelmoutia Telli, Mohamed Nazih Omri |
Querying of several DL-Lite knowledge bases from various information sources-based polynomial response unification approach. |
J. King Saud Univ. Comput. Inf. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino |
Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bin Yan 0004, Yi Jiang, Peize Sun, Dong Wang 0004, Zehuan Yuan, Ping Luo 0002, Huchuan Lu |
Towards Grand Unification of Object Tracking. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
A Special Case of Schematic Syntactic Unification. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Ximing Qiao, Hai Li 0001 |
Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova |
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ran Gutin |
Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Andrew Draganov, Tyrus Berry, Jakob Rødsgaard Jørgensen, Katrine Scheel Nellemann, Ira Assent, Davide Mottin |
GiDR-DUN; Gradient Dimensionality Reduction - Differences and Unification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
Functional Pearl: Dependent type inference via free higher-order unification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz |
Distributive Justice as the Foundational Premise of Fair ML: Unification, Extension, and Interpretation of Group Fairness Metrics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy |
Pseudo-Poincaré: A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Michal Buran, David M. Cerna |
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yingxue Fu |
Towards Unification of Discourse Annotation Frameworks. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nic Fishman, Leif Hancox-Li |
Should attention be all we need? The epistemic and ethical implications of unification in machine learning. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shailendra Singh 0005, S. P. Tiwari |
On unification of categories of fuzzy automata as Qua category. |
Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Slawomir Kost, Piotr Wojtylak |
Finitary unification in locally tabular modal logics characterized. |
Ann. Pure Appl. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Oded Shor, Felix Benninger, Andrei Yu. Khrennikov |
Towards Unification of General Relativity and Quantum Theory: Dendrogram Representation of the Event-Universe. |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan Abedi, Simone Carlo Surace, Jean-Pascal Pfister |
A Unification of Weighted and Unweighted Particle Filters. |
SIAM J. Control. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Becher, Armin Gerl |
ConTra Preference Language: Privacy Preference Unification via Privacy Interfaces. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dennis de Champeaux |
Faster Linear Unification Algorithm. |
J. Autom. Reason. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Steven Eker |
Associative unification in Maude. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Zofia Kostrzycka |
Projective unification in weakly transitive and weakly symmetric modal logics. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Mojtaba Mojtahedi |
Unification with parameters in the implication fragment of classical propositional logic. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bahram Farhadinia |
An innovative unification process for probabilistic hesitant fuzzy elements and its application to decision making. |
Fuzzy Optim. Decis. Mak. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | George A. Anastassiou |
Unification of Fractional Calculi with Applications |
|
2022 |
DOI RDF |
|
12 | Max Lübbering, Maren Pielka, Ilhamcengiz Henk, Rafet Sifa |
Datastack: Unification of Heterogeneous Machine Learning Dataset Interfaces. |
ICDE Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Seiichi Harata, Takuto Sakuma, Shohei Kato |
Audio-Visual Shared Emotion Representation for Robust Emotion Recognition on Modality Missing Using Hemi-hyperspherical Embedding and Latent Space Unification. |
HCI (38) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hai Lin 0005, Christopher Lynch |
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank-2 Intersection Types Using Set Unification. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay |
Towards a Grand Unification of Büchi Complementation Constructions. |
Principles of Systems Design |
2022 |
DBLP DOI BibTeX RDF |
|
12 | René Arnulfo García-Hernández, Yulia Ledeneva, Ángel Hernández-Castañeda, Gabriela Villada Ramírez |
Unification of Source-Code Re-Use Similarity Measures. |
MICAI (1) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Nominal Anti-Unification with Atom-Variables. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
A Certified Algorithm for AC-Unification. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott |
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Mahtab Shahin, Amrendra Singh Yadav, Dirk Draheim |
Towards Unification of Statistical Reasoning, OLAP and Association Rule Mining: Semantics and Pragmatics. |
DASFAA (1) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
12 | Hiroki Uematsu, Phuc Nguyen 0001, Hideaki Takeda 0001 |
Design for Data Structures: Data Unification and Federation with Wikibase. |
IEEE Big Data |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Anshu Dubey, Tom Klosterman |
Language Agnostic Approach for Unification of Implementation Variants for Different Computing Devices. |
PPAM (1) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mirko Bunse |
Unification of Algorithms for Quantification and Unfolding. |
GI-Jahrestagung |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jordan Samhi, Jun Gao 0001, Nadia Daoudi, Pierre Graux, Henri Hoyez, Xiaoyu Sun 0002, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein |
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|