Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu 0001 |
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mauricio Ayala-Rincón, Samuel Mimram |
Introduction to the special issue: Confluence. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Tim Elmo Feiten, Kristopher Holland, Anthony Chemero |
Scalar symmetries and strange tools: Learning Analytics and Embodied Design as techno-cultural confluence. |
Int. J. Child Comput. Interact. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Rimjhim, Sourav Kumar Dandapat |
Is gender-based violence a confluence of culture? Empirical evidence from social media. |
PeerJ Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Caroline J. Klivans, Patrick Liscio |
Confluence in labeled chip-firing. |
J. Comb. Theory, Ser. A |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yuya Matsumoto, Ryo Natsuaki, Akira Hirose |
Full-Learning Rotational Quaternion Convolutional Neural Networks and Confluence of Differently Represented Data for PolSAR Land Classification. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bo Li, Shuiguang Deng, Xueqiang Yan, Schahram Dustdar |
The Confluence of Blockchain and 6G Network: Scenarios Analysis and Performance Assessment. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth |
Algebraic coherent confluence and higher globular Kleene algebras. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Salvador Lucas, Miguel Vítores, Raúl Gutiérrez |
Proving and disproving confluence of context-sensitive rewriting. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Zhiheng Yuan, Yuanfei Fang, Xinran Qu, Yanjun Shi |
Optimization of On-Ramp Confluence Sequence for Internet of Vehicles with Graph Model. |
ChineseCSCW (2) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kentaro Kikuchi |
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
17 | José Miguel Blanco 0002, Bruno Rossi 0001, Tomás Pitner |
Tools for the Confluence of Semantic Web and IoT: A Survey. |
ENASE |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kiraku Shintani, Nao Hirokawa |
Compositional Confluence Criteria. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Belinda Felpel, Frank Köhne |
BPMN Modeler for Confluence. |
BPM (PhD/Demos) |
2022 |
DBLP BibTeX RDF |
|
17 | Wesley Koo, Charles Eesley |
A Confluence of Tech and Talent: Rural Online Entrepreneurship and Return Migration. |
HICSS |
2022 |
DBLP BibTeX RDF |
|
17 | Aashish Bhandari, Siddhant Bikram Shah, Prashant Giridhar Shambharkar |
The Confluence of AI and Blockchain in Tackling the COVID-19 Pandemic. |
ICCCNT |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Görres |
Termination and Confluence of an Extended CHASE Algorithm. |
ADBIS (Short Papers) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ronald Souza, Luciano Pezzi, Sebastiaan Swart, Fabrício Oliveira, Marcelo Santini |
Air-Sea Interactions over Eddies in the Brazil-Malvinas Confluence. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Meridel Rubenstein, Peer Sathikh |
Eden in Iraq: a wastewater design project as bio-art - a confluence of nature and culture, design and ecology, in Southern Iraq marshes. |
AI Soc. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Graham Campbell 0001, Detlef Plump |
Confluence up to garbage in graph transformation. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yuki Honda, Koji Nakazawa, Ken-etsu Fujita |
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Aart Middeldorp, Julian Nagele, Kiraku Shintani |
CoCo 2019: report on the eighth confluence competition. |
Int. J. Softw. Tools Technol. Transf. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Tao Li, Guanze Peng, Quanyan Zhu, Tamer Basar |
The Confluence of Networks, Games and Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Graham Campbell 0001, Detlef Plump |
Confluence up to Garbage in Graph Transformation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
String Diagram Rewrite Theory III: Confluence with and without Frobenius. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Rafael Romero 0002, Alejandro Díaz-Caro |
A note on confluence in typed probabilistic lambda calculi. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ryu Hasegawa |
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | María Luisa Alvite Díez, Leticia Barrionuevo |
Confluence between library and information science and digital humanities in Spain. Methodologies, standards and collections. |
J. Documentation |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe Riva 0001, Brenda K. Wiederhold |
Human-Robot Confluence: Toward a Humane Robotics. |
Cyberpsychology Behav. Soc. Netw. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Anupam Das 0002 |
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Karthik Shivashankar, Venkat Bakthavatchaalam |
Smart Municipal Governance System Using Confluence of Technologies in a Developing Country Scenario. |
ICEGOV |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Gaspard Férey, Jean-Pierre Jouannaud |
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. |
PPDP |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Arun Venkatachar |
Confluence of AI/ML with EDA and Software Engineering. |
ISQED |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Schmalstieg |
Visualization in the Real World: Confluence of Visualization and Augmented Reality. |
VISIGRAPP |
2021 |
DBLP BibTeX RDF |
|
17 | Raúl Gutiérrez, Salvador Lucas, Miguel Vítores |
Confluence of Conditional Rewriting in Logic Form. |
FSTTCS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ira Fesefeldt, Christoph Matheja, Thomas Noll 0001, Johannes Schulte |
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Tana Qian, Tsuguki Kinoshita, Minoru Fujii, Yuhai Bao |
Analyzing the Uncertainty of Degree Confluence Project for Validating Global Land-Cover Maps Using Reference Data-Based Classification Schemes. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Shuiguang Deng, Hailiang Zhao, Weijia Fang, Jianwei Yin, Schahram Dustdar, Albert Y. Zomaya |
Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence. |
IEEE Internet Things J. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Gehrke |
Technical Perspective: Checking Invariant Confluence, In Whole or In Parts. |
SIGMOD Rec. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Michael J. Whittaker, Joseph M. Hellerstein |
Checking Invariant Confluence, In Whole or In Parts. |
SIGMOD Rec. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | E. A. Huerta, Asad Khan, Xiaobo Huang, Minyang Tian, Maksim Levental, Ryan Chard, Wei Wei, Maeve Heflin, Daniel S. Katz, Volodymyr V. Kindratenko, Dawei Mu, Ben Blaiszik, Ian T. Foster |
Confluence of Artificial Intelligence and High Performance Computing for Accelerated, Scalable and Reproducible Gravitational Wave Detection. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Andrew Shepley, Gregory Falzon, Paul Kwan |
Confluence: A Robust Non-IoU Alternative to Non-Maxima Suppression in Object Detection. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth |
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Jörg Endrullis, Jan Willem Klop, Roy Overbeek |
Decreasing Diagrams for Confluence and Commutation. |
Log. Methods Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda calculus. |
Log. Methods Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Francisco Durán 0001, José Meseguer 0001, Camilo Rocha |
Ground confluence of order-sorted conditional specifications modulo axioms. |
J. Log. Algebraic Methods Program. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi |
Polymorphic computation systems: Theory and practice of confluence with call-by-value. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Reza Shokri Kalan |
Decentralization: A Confluence of Data and Digital Personality. |
SNAMS |
2020 |
DBLP DOI BibTeX RDF |
|
17 | H. Patricia McKenna |
Beyond Confluence, Integration and Symbiosis: Creating More Aware Relationships in Smart Cities. |
IHSI |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Tsmots, Oleksandr Kuzmin, Vasyl Dubuk, Volodymyr Antoniv |
Improvement and Orientation of Method of Data Arrays Sorting by Confluence on Architecture of Graphic Processor Unit. |
CSIT |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Graham Campbell 0001, Detlef Plump |
Confluence up to Garbage. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Kentaro Kikuchi, Takahito Aoto 0001 |
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Augusto Casaca, Srinivas Katkoori, Sandip Ray, Leon Strous (eds.) |
Internet of Things. A Confluence of Many Disciplines - Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers |
IFIPIoT |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Nobutaka Kito, Kazuyoshi Takagi, Naofumi Takagi |
Conversion of Logic Gates in Netlists for Rapid Single Flux Quantum Circuits Utilizing Confluence of Pulses. |
IPSJ Trans. Syst. LSI Des. Methodol. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai |
Conditions for confluence of innermost terminating term rewriting systems. |
Appl. Algebra Eng. Commun. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Maja H. Kirkeby, Henning Christiansen 0001 |
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. |
Int. J. Approx. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
Confluence by Critical Pair Analysis Revisited (Extended Version). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Shuiguang Deng, Hailiang Zhao, Jianwei Yin, Schahram Dustdar, Albert Y. Zomaya |
Edge Intelligence: the Confluence of Edge Computing and Artificial Intelligence. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Christine Bauer 0001 |
The Potential of the Confluence of Theoretical and Algorithmic Modeling in Music Recommendation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Jörg Endrullis, Jan Willem Klop, Roy Overbeek |
Decreasing Diagrams for Confluence and Commutation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Xin Liu 0029, Alina Chertock, Alexander Kurganov, Karlan Wolfkill |
One-Dimensional/Two-Dimensional Coupling Approach with Quadrilateral Confluence Region for Modeling River Systems. |
J. Sci. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ramesh Hariharan |
Genome Sequencing for Disease Diagnosis: The Confluence of Biology and Computing. |
HiPC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Jan Willem Klop |
Confluence of the Chinese Monoid. |
The Art of Modelling Computational Systems |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda |
Finite Response and Confluence of State-based Supervisory Controllers. |
CASE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
Confluence by Critical Pair Analysis Revisited. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Christian Sternagel, Akihisa Yamada 0002 |
Reachability Analysis for Termination and Confluence of Rewriting. |
TACAS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Aart Middeldorp, Julian Nagele, Kiraku Shintani |
Confluence Competition 2019. |
TACAS (3) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp |
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. |
CPP |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Maria Maximova |
Behavior and confluence analysis of M-adhesive transformation systems using M-functors. |
|
2019 |
RDF |
|
17 | William Tärneberg |
The confluence of Cloud computing, 5G, and IoT in the Fog. (PDF / PS) |
|
2019 |
RDF |
|
17 | Viktor Mähler |
The Thing About the Internet of Things: Scoping the Social Science Discourse in IoT Research. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Roger da Silva Machado, Ricardo Almeida 0002, Rogério Albandes, Ana Marilza Pernas, Adenauer C. Yamin |
An IoT Architecture to Provide Hybrid Context Reasoning. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kemal Akkaya |
Curriculum Design Requirements and Challenges for the First Bachelor's Degree on IoT in the US. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Motahareh Pourbehzadi, Taher Niknam, Abdollah Kavousi-Fard, Yasin Yilmaz |
IoT in Smart Grid: Energy Management Opportunities and Security Challenges. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Vishalini Laguduva Ramnath, Sathyanarayanan N. Aakur, Srinivas Katkoori |
Latent Space Modeling for Cloning Encrypted PUF-Based Authentication. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-Cheng Chen, Yingze Wang, Zixiang Nie, Qimei Cui |
Toward Holistic Integration of Computing and Wireless Networking. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mauricio Moreira Neto, Emanuel Ferreira Coutinho, Leonardo de Oliveira Moreira, José Neuman de Souza |
Toward Blockchain Technology in IoT Applications: An Analysis for E-health Applications. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Laavanya Rachakonda, Akshay Sharma, Saraju P. Mohanty, Elias Kougianos |
Good-Eye: A Combined Computer-Vision and Physiological-Sensor Based Device for Full-Proof Prediction and Detection of Fall of Adults. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Lewandowski, Srinivas Katkoori |
Lightweight Countermeasure to Differential-Plaintext Attacks on Permutation Ciphers. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Flávio Oquendo |
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Felipe Rocha, Lucas Cristiano Dantas, Luís Felipe Santos, Samela Ferreira, Bruna Soares, Alan Fernandes, Everton Cavalcante, Thaís Batista |
Energy Efficiency in Smart Buildings: An IoT-Based Air Conditioning Control System. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Brooks Olney, Shakil Mahmud, Robert Karam |
Evaluating Edge Processing Requirements in Next Generation IoT Network Architectures. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rogério Albandes, Roger da Silva Machado, João Ladislau Lopes, Jorge L. V. Barbosa, Adenauer C. Yamin |
An IoT Proposal for the Irrigation Management Exploring Context Awareness. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Srivalli Boddupalli, Sandip Ray |
REDEM: Real-Time Detection and Mitigation of Communication Attacks in Connected Autonomous Vehicle Applications. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yasaswy Kasarabada, David M. Luria, Ranga Vemuri |
Trust in IoT Devices: A Logic Encryption Perspective. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rogério Albandes, Roger da Silva Machado, Jorge L. V. Barbosa, Adenauer C. Yamin |
I2VSM Approach: Self-monitoring of Patients Exploring Situational Awareness in IoT. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Md Fahim Faysal Khan, Nicholas Anton Jao, Changchi Shuai, Keni Qiu, Mehrdad Mahdavi, Vijaykrishnan Narayanan |
Mixed Precision Quantization Scheme for Re-configurable ReRAM Crossbars Targeting Different Energy Harvesting Scenarios. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Bryan Pearson, Lan Luo, Cliff C. Zou, Jacob Crain, Yier Jin, Xinwen Fu |
Building a Low-Cost and State-of-the-Art IoT Security Hands-On Laboratory. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Reis 0001 |
Challenges in the Design of Integrated Systems for IoT. |
IFIPIoT |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Feng Liang, Francis C. M. Lau 0001, Heming Cui, Cho-Li Wang |
Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning. |
IEEE Trans. Parallel Distributed Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sandeep K. Shukla |
Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security. |
ACM Trans. Embed. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
Confluence of CHR revisited: invariants and modulo equivalence. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda-calculus. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Anton Salikhmetov |
Upward confluence in the interaction calculus. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Pedro R. D'Argenio, Raúl E. Monti |
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Daniel Gall, Thom W. Frühwirth |
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Bertram Felgenhauer |
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ramon Sanchez-Iborra, Jesús Sánchez Gómez, Antonio F. Skarmeta |
Evolving IoT networks by the confluence of MEC and LP-WAN paradigms. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Pedro R. D'Argenio, Raúl E. Monti |
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|