Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link
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