Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Bertram Felgenhauer, Franziska Rapp |
Layer Systems for Confluence - Formalized. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tayyabah Hassan, Fahad Ahmed |
Transaction and Identity Authentication Security Model for E-Banking: Confluence of Quantum Cryptography and AI. |
INTAP |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. |
WFLP |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nao Hirokawa, Julian Nagele, Aart Middeldorp |
Cops and CoCoWeb: Infrastructure for Confluence Tools. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Gall, Thom W. Frühwirth |
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Hamana |
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Saptashwa Mitra, Sangmi Lee Pallickara |
Confluence: Adaptive Spatiotemporal Data Integration Using Distributed Query Relaxation over Heterogeneous Observational Datasets. |
UCC |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida 0001, Kiraku Shintani, Harald Zankl |
Confluence Competition 2018. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nirina Andrianarivelo, Pierre Réty |
Confluence of Prefix-Constrained Rewrite Systems. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Jan Willem Klop, Roy Overbeek |
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Francisco Durán 0001, José Meseguer 0001, Camilo Rocha |
Proving Ground Confluence of Equational Specifications Modulo Axioms. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
Confluence of CHR Revisited: Invariants and Modulo Equivalence. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ivaylo Hristakiev |
Confluence analysis for a graph programming language. |
|
2018 |
RDF |
|
17 | Alejandro Díaz-Caro, Guido Martínez |
Confluence in Probabilistic Rewriting. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Zeyin He, Tao Deng, Xiangyang Xu |
Vibration performance discrete optimization of a gear system featuring confluence transmission used in marine gearbox. |
Int. J. Model. Simul. Sci. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yu-Jen Ku, Dian-Yu Lin, Chia-Fu Lee, Ping-Jung Hsieh, Hung-Yu Wei, Chun-Ting Chou, Ai-Chun Pang |
5G Radio Access Network Design with the Fog Paradigm: Confluence of Communications and Computing. |
IEEE Commun. Mag. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren |
Simplification of Reaction Networks, Confluence and Elementary Modes. |
Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Julian Nagele, Aart Middeldorp |
CoCoWeb - A Convenient Web Interface for Confluence Tools. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Alejandro Díaz-Caro, Guido Martínez |
Confluence in Probabilistic Rewriting. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Maja H. Kirkeby, Henning Christiansen 0001 |
Confluence and Convergence in Probabilistically Terminating Reduction Systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Daniel Gall, Thom W. Frühwirth |
A Decidable Confluence Test for Cognitive Models in ACT-R. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Bertram Felgenhauer |
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Thomas Sternagel, Christian Sternagel |
Certified Non-Confluence with ConCon 1.5. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Julian Nagele, Bertram Felgenhauer, Harald Zankl |
Certifying Confluence Proofs via Relative Termination and Rule Labeling. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Aftab Alam, Shah Khusro, Irfan Ullah 0001, Muhammad Shuaib Karim |
Confluence of social network, social question and answering community, and user reputation model for information seeking and experts generation. |
J. Inf. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón |
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. |
J. Autom. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andrés Cardona, Leandro Ariza-Jiménez, Diego Uribe, Johanna C. Arroyave, July Galeano 0001, Fabian M. Cortés-Mancera |
Bio-EdIP: An automatic approach for in vitro cell confluence images quantification. |
Comput. Methods Programs Biomed. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
On proving confluence modulo equivalence for Constraint Handling Rules. |
Formal Aspects Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Philip Johnson-Freyd, Paul Downen, Zena M. Ariola |
Call-by-name extensionality and confluence. |
J. Funct. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Bertram Felgenhauer, René Thiemann |
Reachability, confluence, and termination analysis with state-compatible automata. |
Inf. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Michael Lawry, Asfahaan Mirza, Yidi Wendy Wang, David Sundaram |
Transportation at the Confluence of Engineering and Big Data: Design of Automated Motorway Lane-Changing Systems. |
FNSS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi |
Confluence of Graph Rewriting with Interfaces. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Sa'adah Hassan, Azrina Kamaruddin, Novia Admodisastro, Marzanah A. Jabar |
Towards Developing an Approach to Confluence Innovative in Requirements Engineering. |
SoMeT |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Christian Sternagel, Thomas Sternagel |
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. |
CADE |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ivaylo Hristakiev, Detlef Plump |
Checking Graph Programs for Confluence. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Pitt, Emma Hart |
For Flux Sake: The Confluence of Socially- and Biologically-Inspired Computing for Engineering Change in Open Systems. |
FAS*W@SASO/ICCAC |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Nabil Georges Badr |
Empowering IT Organizations Through a Confluence of Knowledge for Value Integration into the IT Services Firm's Business Model. |
IC3K |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Nabil Georges Badr |
Empowering Capability for Innovation in IT Organizations - A Confluence of Knowledge for Continual Organizational Learning. |
KMIS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama, Yuta Kimura |
Improving Rewriting Induction Approach for Proving Ground Confluence. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lukasz Czajka 0001 |
Confluence of an Extension of Combinatory Logic by Boolean Constants. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Gall, Thom W. Frühwirth |
A Decidable Confluence Test for Cognitive Models in ACT-R. |
RuleML+RR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Maja H. Kirkeby, Henning Christiansen 0001 |
Confluence and Convergence in Probabilistically Terminating Reduction Systems. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Zhongmin Xiong, Jiguang Zhu, Hongchun Yuan, Shijun He, Huiwen Wei |
A new approach to detecting active rule confluence with exclusive rules during an indeterminable rule process. |
J. Intell. Fuzzy Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga |
Confluence reduction for Markov automata. |
Theor. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Koji Nakazawa, Ken-etsu Fujita |
Compositional Z: Confluence Proofs for Permutative Conversion. |
Stud Logica |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Karl Gmeiner |
Confluence of Conditional Term Rewrite Systems via Transformations. |
WPTE@FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
On Proving Confluence Modulo Equivalence for Constraint Handling Rules. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Thomas Sternagel, Christian Sternagel |
Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Christian Sternagel, Thomas Sternagel |
Level-Confluence of 3-CTRSs in Isabelle/HOL. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Seppo Ilari Tirri |
Dimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Julian Nagele, Bertram Felgenhauer, Harald Zankl |
Certifying Confluence Proofs via Relative Termination and Rule Labeling. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Zhongmin Xiong, Jiguang Zhu, Changji Li, Hongchun Yuan |
基于条件冲突分析的主动规则集汇流性判定方法 (Confluence Decision Method for Active Rule Set Based on Condition Conflict Analysis). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Kentaro Kikuchi |
Nominal Confluence Tool. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Kazuki Takise, Yasuhito Asano, Masatoshi Yoshikawa |
Multi-user routing to single destination with confluence. |
SIGSPATIAL/GIS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Julian Nagele, Aart Middeldorp |
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems. |
ITP |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ana Paula Moreira Bezerra, Samara Cardoso Da Silva-Santiago, José Francisco Diogo Da Silva Jr., Emanuel Diego S. Penha, Monalisa M. Silveira, Myrna S. Ramos, Mônica Moraes Silva, Ana Carolina L. Pacheco, Diana Magalhaes de Oliveira |
Confluence of Genes Related to the Combined Etiology DOISm (Diabetes, Obesity, Inflammation and Metabolic Syndrome) in Dissecting Nutritional Phenotypes. |
IWBBIO |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Christian Sternagel, Thomas Sternagel |
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama |
Ground Confluence Prover based on Rewriting Induction. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Qi Dong, Roberto Arias-Yacupoma, Louis Katchen, Mubbasir Kapadia |
Confluence: visualizing social physics for interactive narrative. |
MIG |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Fritz Müller 0001 |
On confluence and semantic full abstraction of lambda calculus languages. |
|
2016 |
RDF |
|
17 | Masoud Rahimi, Mona Akbari, Mohammad Amin Parsamoghadam, Ammar Abdulaziz Alsairafi |
CFD study on effect of channel confluence angle on fluid flow pattern in asymmetrical shaped microchannels. |
Comput. Chem. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom |
Layer Systems for Proving Confluence. |
ACM Trans. Comput. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Catherine Hobbs |
Systems Thinking, Critical Realism and Philosophy: A Confluence of Ideas. |
J. Oper. Res. Soc. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rebecca Rouse, Maria Engberg, Nassim Jafarinaimi, Jay David Bolter |
MRx design and criticism: the confluence of media studies, performance and social interaction. |
Digit. Creativity |
2015 |
DBLP DOI BibTeX RDF |
|
17 | George Varghese |
Life in the Fast Lane: Viewed from the Confluence Lens. |
Comput. Commun. Rev. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Friedrich Otto, Frantisek Mráz |
Lambda-confluence for context rewriting systems. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Arnd Hartmanns, Mark Timmer |
Sound statistical model checking for MDP using partial order and confluence reduction. |
Int. J. Softw. Tools Technol. Transf. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Tom J. Ameloot, Jan Van den Bussche |
Deciding Confluence for a Simple Class of Relational Transducer Networks. |
Theory Comput. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mauricio Ayala-Rincón |
Formalising Confluence in PVS. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Julian Nagele, René Thiemann |
Certification of Confluence Proofs using CeTA. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Anton Wijs |
Confluence Detection for Transformations of Labelled Transition Systems. |
GaM |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Pierre Jouannaud, Jiaxiang Liu 0001, Mizuhito Ogawa |
Confluence of Layered Rewrite Systems. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Mohamad Adnan Al-Alaoui, Mohammed Baydoun, Elias Yaacoub |
Confluence of pattern recognition and signal processing: application of Al-Alaoui pattern recognition algorithm to digital filters design. |
IET Signal Process. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rupert Ortner, Danut-Constantin Irimia, Christoph Guger, Günter Edlinger |
Human Computer Confluence in BCI for Stroke Rehabilitation. |
HCI (15) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Cansu Kaynak, Boris Grot, Babak Falsafi |
Confluence: unified instruction supply for scale-out servers. |
MICRO |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Nao Hirokawa, Julian Nagele, Naoki Nishida 0001, Harald Zankl |
Confluence Competition 2015. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kiraku Shintani, Nao Hirokawa |
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. |
CADE |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Giampaolo E. D'Errico |
Receiver operating characteristic: A tool for cell confluence estimation. |
MeMeA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Confluence of Orthogonal Nominal Rewriting Systems Revisited. |
RTA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Julian Nagele, Bertram Felgenhauer, Aart Middeldorp |
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. |
RTA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lukasz Czajka 0001 |
Confluence of nearly orthogonal infinitary term rewriting systems. |
RTA |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud, Mizuhito Ogawa |
Confluence of Layered Rewrite Systems. |
CSL |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Gabriele Taentzer, Ulrike Golas |
Towards Local Confluence Analysis for Amalgamated Graph Transformation. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Nathan Cooper, Andrew Swan, David Townend |
A confluence of new technology and the right to water: experience and potential from South Africa's constitution and commons. |
Ethics Inf. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Henri Hansen, Mark Timmer |
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Barton P. Miller, Yoshio Tanaka, Elisa Heymann |
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3). |
NII Shonan Meet. Rep. |
2014 |
DBLP BibTeX RDF |
|
17 | Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom |
Layer Systems for Proving Confluence. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto 0001 |
Confluence for classical logic through the distinction between values and computations. |
CL&C |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann |
On Termination, Confluence and Consistent CHR-based Type Inference. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Cláudia Nalon, João Marcos 0001, Clare Dixon |
Clausal Resolution for Modal Logics of Confluence. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo |
Symbolic Termination and Confluence Checking for ECA Rules. |
Trans. Petri Nets Other Model. Concurr. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann |
On Termination, Confluence and Consistent CHR-based Type Inference. |
Theory Pract. Log. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud |
Confluence: The Unifying, Expressive Power of Locality. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ephraim Nissan, Ghil'ad Zuckermann |
One Zoonym, Two Parents: Mendele's Phono-Semantic Matching of Animal Terms, and Later Developments of Lexical Confluence in Modern Hebrew Zoonymy. |
Language, Culture, Computation (3) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Cláudia Nalon, João Marcos 0001, Clare Dixon |
Clausal Resolution for Modal Logics of Confluence. |
IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama, Kazumasa Uchida |
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams. |
RTA-TLCA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jiaxiang Liu 0001, Nachum Dershowitz, Jean-Pierre Jouannaud |
Confluence by Critical Pair Analysis. |
RTA-TLCA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Sternagel, Aart Middeldorp |
Conditional Confluence (System Description). |
RTA-TLCA |
2014 |
DBLP DOI BibTeX RDF |
|