Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Lukasz Czajka 0001 |
A Coinductive Confluence Proof for Infinitary Lambda-Calculus. |
RTA-TLCA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Henning Christiansen 0001, Maja H. Kirkeby |
Confluence Modulo Equivalence in Constraint Handling Rules. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
17 | M. E. Jayasanthi Ranjith, N. J. R. Muniraj |
VLSI implementation of novel fast confluence ICA algorithm for signal processing applications. |
VDAT |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jeroen Ketema, Jakob Grue Simonsen |
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. |
ACM Trans. Comput. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen |
Confluence of aspects for sequence diagrams. |
Softw. Syst. Model. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sébastien Konieczny, Ramón Pino Pérez |
Confluence operators and their relationships with revision, update and merging. |
Ann. Math. Artif. Intell. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Hetzl, Lutz Straßburger |
Herbrand-Confluence. |
Log. Methods Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Denis Berthier |
From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Lukasz Czajka 0001 |
Confluence of an extension of Combinatory Logic by Boolean Constants. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge |
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. |
Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Anthony Lewis Brooks |
Human Computer Confluence in Rehabilitation: Digital Media Plasticity and Human Performance Plasticity. |
HCI (8) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Rupert Ortner, David Ram, Alexander Kollreider, Harald Pitsch, Joanna Wojtowicz, Günter Edlinger |
Human-Computer Confluence for Rehabilitation Purposes after Stroke. |
HCI (19) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jie Tang 0001, Sen Wu 0001, Jimeng Sun 0001 |
Confluence: conformity influence in large social networks. |
KDD |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Frantisek Mráz, Friedrich Otto |
Lambda-Confluence Is Undecidable for Clearing Restarting Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Arnd Hartmanns, Mark Timmer |
On-the-Fly Confluence Detection for Statistical Model Checking. |
NASA Formal Methods |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Harald Zankl |
Confluence by Decreasing Diagrams - Formalized. |
RTA |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001 |
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga |
Confluence Reduction for Markov Automata. |
FORMATS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Eric S. K. Yu, Alexei Lapouchnian |
Architecting the enterprise to leverage a confluence of emerging technologies. |
CASCON |
2013 |
DBLP BibTeX RDF |
|
17 | Patrick Martin 0001, Farhana H. Zulkernine, Shady Khalifa, Azadeh Eftekhari, B. Ashtiani, Dan Rope, Mike McRoberts, Craig Statchuk |
Analytics-as-a-service: confluence of big data, cloud computing and software-as-a-service. |
CASCON |
2013 |
DBLP BibTeX RDF |
|
17 | Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas |
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. |
Fundam. Informaticae |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Armenta Ramade, Arturo Serrano-Santoyo, Mayer R. Cabrera-Flores, Roberto Conte |
The new digital divide: the confluence of broadband penetration, sustainable development, technology adoption and community participation. |
Inf. Technol. Dev. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Peter A. Bandettini |
Functional MRI: A confluence of fortunate circumstances. |
NeuroImage |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Pierre Jouannaud, Jiaxiang Liu 0001 |
From diagrammatic confluence to modularity. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Barton P. Miller, Yoshio Tanaka, Elisa Heymann |
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8). |
NII Shonan Meet. Rep. |
2012 |
DBLP BibTeX RDF |
|
17 | Ferruccio Guidi |
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover. |
J. Formaliz. Reason. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama |
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rémy Haemmerlé |
Diagrammatic confluence for Constraint Handling Rules |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón |
Formalizing the Confluence of Orthogonal Rewriting Systems |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Harald Zankl |
Confluence by Decreasing Diagrams -- Formalized |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Oscar Mayora-Ibarra, Ryoichi Shinkuma |
Foreword: Mobility and Social Networks Confluence. |
Mob. Networks Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tomas Kuhr, Vilém Vychodil |
Similarity issues of confluence of fuzzy relations. |
Int. J. Gen. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Radu Mateescu 0001, Anton Wijs |
Sequential and distributed on-the-fly computation of weak tau-confluence. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rémy Haemmerlé |
Diagrammatic confluence for Constraint Handling Rules. |
Theory Pract. Log. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Isabelle Viaud-Delmon, Andrea Gaggioli, Alois Ferscha, Stephen Dunne |
Human Computer Confluence Applied in Healthcare and Rehabilitation. |
Annual Review of Cybertherapy and Telemedicine |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Klein 0001, Nao Hirokawa |
Confluence of Non-Left-Linear TRSs via Relative Termination. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
17 | William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001 |
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Grant Martin |
Keynote 1 - The once and future FPGA: The confluence of configurable processing and reconfigurable technology. |
ReConFig |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Riener |
Driver-vehicle confluence or how to control your car in future? |
AutomotiveUI |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Thiago Schumacher Barcelos, Ismar Frango Silveira |
Teaching Computational Thinking in initial series An analysis of the confluence among mathematics and Computer Sciences in elementary education and its implications for higher education. |
CLEI |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Bertram Felgenhauer |
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. |
RTA |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge |
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Hetzl, Lutz Straßburger |
Herbrand-Confluence for Cut Elimination in Classical First Order Logic. |
CSL |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Jeroen Ketema |
Rational Term Rewriting Revisited: Decidability and Confluence. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Baaz, Stefan Hetzl |
On the non-confluence of cut-elimination. |
J. Symb. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Enrico Biermann |
Local Confluence Analysis of Consistent EMF Transformations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the confluence of lambda-calculus with conditional rewriting |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Jyoti S. A. Bhat, Sushil, P. K. Jain |
Strategic Management of Innovation Focusing on Confluence of Continuity and Change. |
Int. J. Green Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Daniyar S. Shamkanov |
Strong Normalization and Confluence for Reflexive Combinatory Logic. |
WoLLIC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis |
CONFLuEnCE: CONtinuous workFLow ExeCution Engine. |
SIGMOD Conference |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Harald Zankl, Bertram Felgenhauer, Aart Middeldorp |
CSI - A Confluence Tool. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Seungil Huh, Mei Chen |
Detection of mitosis within a stem cell population of high cell confluence in phase-contrast microscopy images. |
CVPR |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Basuki Widodo |
Sedimentation characteristics study on the confluence of two rivers using Meshless Local Petrov-Galerkin Method. |
ICCSCE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas |
On the Confluence of the Graphic Calculus with Penrose Diagrams (I). |
EUROCAST (1) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aaron Stump, Garrin Kimmell, Roba El Haj Omar |
Type Preservation as a Confluence Problem. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama |
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Benoît Gaillard, Bruno Gaume, Emmanuel Navarro |
Invariants and Variability of Synonymy Networks: Self Mediated Agreement by Confluence. |
Graph-based Methods for Natural Language Processing |
2011 |
DBLP BibTeX RDF |
|
17 | Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis |
CONFLuEnCE: Implementation and application design. |
CollaborateCom |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Raphael Cóbe, Renata Wassermann, Fabio Kon |
Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches. |
ONTOBRAS-MOST |
2011 |
DBLP BibTeX RDF |
|
17 | Bertram Felgenhauer, Harald Zankl, Aart Middeldorp |
Layer Systems for Proving Confluence. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jung Hoon Baeg, Kathleen Burnett, Laurie J. Bonnici, Mega M. Subramaniam |
Navigating the confluence of streams in the development of disciplinary identity, 2004--2009. |
iConference |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Paul F. M. J. Verschure |
The complexity of reality and human computer confluence: stemming the data deluge by empowering human creativity. |
CHItaly |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Radim Belohlávek, Tomas Kuhr, Vilém Vychodil |
Confluence and termination of fuzzy relations. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron |
Non-confluence in divisionless P systems with active membranes. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the confluence of lambda-calculus with conditional rewriting. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Detlef Plump |
Checking Graph-Transformation Systems for Confluence. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Poinsot, Gérard Duchamp, Christophe Tollu |
Partial monoids: associativity and confluence |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Guillaume Bonfante |
Observation of implicit complexity by non confluence |
DICE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Morgenstern, Klaus Schneider 0001 |
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Roberto M. Amadio, Patrick Baillot, Antoine Madet |
An affine-intuitionistic system of types and effects: confluence and termination |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems (extended version) |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Mark M. Schira, Christopher W. Tyler, Branka Spehar, Michael Breakspear |
Modeling Magnification and Anisotropy in the Primate Foveal Confluence. |
PLoS Comput. Biol. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Gregory Grefenstette, Laura Wilber |
Search-Based Applications: At the Confluence of Search and Database Technologies |
|
2010 |
DOI RDF |
|
17 | Jean-Pierre Jouannaud, Benjamin Monate |
Infinite Families of Finite String Rewriting Systems and Their Confluence. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Björn Kijl, Durk Boersma |
Developing a business model engineering & experimentation tool - the quest for scalable 'lollapalooza confluence patterns'. |
AMCIS |
2010 |
DBLP BibTeX RDF |
|
17 | Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger |
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001 |
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas |
Local Confluence for Rules with Nested Application Conditions. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements. |
QPL@MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Kim Bartel Sheehan, Deborah K. Morrison |
Beyond Convergence: Confluence Culture and the Role of the Advertising Agency in a Changing World. |
First Monday |
2009 |
DBLP DOI BibTeX RDF |
|
17 | René David |
A direct proof of the confluence of combinatory strong reduction. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems: Confluence |
Log. Methods Comput. Sci. |
2009 |
DBLP BibTeX RDF |
|
17 | Claus-Peter Wirth |
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
17 | René David |
A direct proof of the confluence of combinatory strong reduction |
CoRR |
2009 |
DBLP BibTeX RDF |
|
17 | Roberto M. Amadio, Patrick Baillot, Antoine Madet |
An affine-intuitionistic system of types and effects: confluence and termination |
CoRR |
2009 |
DBLP BibTeX RDF |
|
17 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements |
CoRR |
2009 |
DBLP BibTeX RDF |
|
17 | Claus-Peter Wirth |
Shallow confluence of conditional term rewriting systems. |
J. Symb. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001 |
The lambda-calculus with constructors: Syntax, confluence and separation. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Radim Belohlávek, Tomas Kuhr, Vilém Vychodil |
Confluence and related properties of fuzzy relations. |
FUZZ-IEEE |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
Confluence of Reduction Rules for Lexicographic Ordering Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
17 | Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage |
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. |
QPL/DCM@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Masayuki Noro, Takeshi Sasaki, Kotaro Yamada, Masaaki Yoshida |
Confluence of Swallowtail Singularities of the Hyperbolic Schwarz Map Defined by the Hypergeometric Differential Equation. |
Exp. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lorena Chavarría-Báez, Xiaoou Li |
Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
17 | Denis Berthier |
From Constraints to Resolution Rules Part II : chains, braids, confluence and T&E. |
SCSS (2) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tom Schrijvers, Martin Sulzmann |
Confluence for Functional Dependencies. |
Trends in Functional Programming |
2008 |
DBLP BibTeX RDF |
|
17 | Sonia Fagorzi, Elena Zucca |
A calculus of open modules: call-by-need strategy and confluence. |
Math. Struct. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lixin Fu 0001, Hamid R. Nemati, Fereidoon Sadri |
Privacy-Preserving Data Mining and the Need for Confluence of Research and Practice. |
Int. J. Inf. Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|