Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marius Dumitran, Florin Manea |
Prefix-Suffix Square Completion. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Florin Manea, Dirk Nowotka (eds.) |
Combinatorics on Words - 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean Néraud |
On the Contribution of WORDS to the Field of Combinatorics on Words. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena A. Petrova, Arseny M. Shur |
On the Tree of Ternary Square-Free Words. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Eduardo Blazek |
New Formulas for Dyck Paths in a Rectangle. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Köppl, Tomohiro I |
Arithmetics on Suffix Arrays of Fibonacci Words. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Peltomäki, Markus A. Whiteland |
A Square Root Map on Sturmian Words - (Extended Abstract). |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Fici, Filippo Mignosi |
Words with the Maximum Number of Abelian Squares. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Stoll |
Thue-Morse Along Two Polynomial Subsequences. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hamoon Mousavi, Jeffrey O. Shallit |
Mechanical Proofs of Properties of the Tribonacci Word. |
WORDS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joel D. Day, Daniel Reidenbach, Johannes C. Schneider |
Periodicity Forcing Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel Dekking |
Dynamical Equivalence of Morphisms. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cassaigne |
Which Arnoux-Rauzy Words Are 2-Balanced? |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Delecroix, Tomás Hejda, Wolfgang Steiner |
Balancedness of Arnoux-Rauzy and Brun Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel Rigo, Pavel Salimov |
Another Generalization of Abelian Equivalence: Binomial Complexity of Infinite Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aleksi Saarela |
Weakly Unambiguous Morphisms with Respect to Sets of Patterns with Constants. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Smith |
On Infinite Words Determined by L Systems. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tero Harju |
A Note on Square-Free Shuffles of Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gilbert Levitt |
Subword Complexity in Free Groups. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Masáková, Edita Pelantová |
Enumerating Abelian Returns to Prefixes of Sturmian Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James D. Currie, Narad Rampersad, Kalle Saari |
Suffix Conjugates for a Class of Morphic Subshifts - (Extended Abstract). |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina |
Finitely Generated Ideal Languages and Synchronizing Automata. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florence Levé, Gwénaël Richomme |
On Quasiperiodic Morphisms. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juhani Karhumäki, Arto Lepistö, Luca Q. Zamboni (eds.) |
Combinatorics on Words - 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | L'ubomíra Balková, Michelangelo Bucci, Alessandro De Luca 0002, Svetlana Puzynina |
Infinite Words with Well Distributed Occurrences. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Narad Rampersad |
Non-constructive Methods for Avoiding Repetitions in Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giusi Castiglione, Marinella Sciortino |
Words, Trees and Automata Minimization. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Jérémie Bourdon, Timo Jolivet, Anne Siegel |
Generating Discrete Planes with Substitutions. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rogério Reis, Emanuele Rodaro |
Regular Ideal Languages and Synchronizing Automata. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Sébastien Labbé 0001 |
Convergence and Factor Complexity for the Arnoux-Rauzy-Poincaré Algorithm. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch |
Auto-similarity in Rational Base Number Systems. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Kärki |
Similarity Relations and Repetition-Freeness. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro De Luca 0002, Gabriele Fici |
Open and Closed Prefixes of Sturmian Words. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mari Huova, Aleksi Saarela |
Strongly k-Abelian Repetitions. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Choffrut, Robert Mercas |
The Lexicographic Cross-Section of the Plactic Monoid Is Regular. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shuo Tan, Jeffrey O. Shallit |
Sets Represented as the Length-n Factors of a Word. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vesa Halava |
Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem. |
WORDS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit |
The Critical Exponent is Computable for Automatic Sequences |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthew J. Samuel |
Word posets, with applications to Coxeter groups |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Steiner |
On the Delone property of (-β)-integers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Sébastien Labbé 0001 |
Uniformly balanced words with linear complexity and prescribed letter frequencies |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Rittaud, Laurent Vivier |
Circular words and applications |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Golnaz Badkobeh, Maxime Crochemore |
Finite-Repetition threshold for infinite ternary words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Narad Rampersad, Jeffrey O. Shallit, Arseny M. Shur |
Fife's Theorem for (7/3)-Powers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Sidorov |
Optimizing Properties of Balanced Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anna E. Frid |
Infinite permutations vs. infinite words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bastian Bischoff, Dirk Nowotka |
Pattern Avoidability with Involution |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksi Saarela |
Systems of Word Equations and Polynomials: a New Approach |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Alain Finkel, Pierre McKenzie |
Bounded Parikh Automata |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kortelainen |
Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions. |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
From Regular to Strictly Locally Testable Languages |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vesa Halava, Tero Harju, Tomi Kärki |
A new proof for the decidability of D0L ultimate periodicity |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Valyuzhenich |
Permutation complexity of the fixed points of some uniform binary morphisms |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Nevisi, Daniel Reidenbach |
Unambiguous 1-Uniform Morphisms |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Puzynina, Luca Q. Zamboni |
Abelian returns in Sturmian words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elena A. Petrova, Arseny M. Shur |
Constructing Premaximal Binary Cube-free Words of Any Level |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Ferenczi |
Dynamical generalizations of the Lagrange spectrum |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Srecko Brlek |
Interactions between Digital Geometry and Combinatorics on Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Burderi |
Monoids and Maximal Codes |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Ambroz, Stepan Holub, Zuzana Masáková (eds.) |
Proceedings 8th International Conference Words 2011, Prague, Czech Republic, 12-16th September 2011. |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bilotta, Elisa Pergola, Renzo Pinzani |
Pattern 1^j0^i avoiding binary words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dombek |
Substitutions over infinite alphabet generating (-β)-integers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Irina A. Gorbunova, Arseny M. Shur |
On Pansiot Words Avoiding 3-Repetitions |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Fici |
A Classification of Trapezoidal Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich |
Recurrent Partial Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Roux, Brigitte Vallée |
Information theory: Sources, Dirichlet series, and realistic analyses of data structures |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steven Widmer |
Permutation Complexity Related to the Letter Doubling Map |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Monteil 0002 |
The complexity of tangent words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nik Looker, Malcolm Munro, Binka Gwynne, Jie Xu 0007 |
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones |
Model-Based Integration of Safety Analysis and Reliable Software Development. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | George F. Hurlburt |
Development Of The Warfighting Architecture Requirements (War) Tool. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Enokido, Makoto Takizawa 0001 |
Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Smithi Piromruen, James B. D. Joshi |
An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA |
WORDS |
2005 |
DBLP BibTeX RDF |
|
1 | Yunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han |
Distributed Scalable Location Data Management System Based on the GALIS Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky |
Error Recovery for a Boiler System with OTS PID Controller. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla |
Real-Time Data Fusion Technique for Validation of an Autonomous System. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Youhei Tanaka, Tomoya Enokido, Makoto Takizawa 0001 |
Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng |
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj |
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns |
1 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul |
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
collaborative testing, Web services, verification, service composition, group testing |
1 | Helen Gill |
Challenges for Critical Embedded Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky |
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christof Fetzer, Gert Pfeifer, Trevor Jim |
Enhancing DNS Security using the SSL Trust Infrastructure. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Copyright. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk |
Functional and Non-Functional Properties in a Family of Embedded Operating Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Rasche, Andreas Polze |
Dynamic Reconfiguration of Component-based Real-time Software. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joseph P. Loyall, Jamie Lawson, Gary Duzan |
Issues in Providing Quality of Service in a Joint Battlespace Infosphere. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raymond A. Paul |
DoD Towards Software Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa |
Oparating Systems For Building Robust Embedded SDystem. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Young Sik Hong, J. H. No, In Han |
Evaluation of Fault-tolerant Distributed Web Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
performance evaluation, Web services, Fault tolerance, replication, clock synchronization |
1 | Hong Mei 0001, Gang Huang 0001, Wei-Tek Tsai |
Towards Self-Healing Systems via Dependable Architecture and. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor |
A Role-Based Access Control Policy Verification Framework for Real-Time Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
Deterministic Scheduling for Multithreaded Replicas. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou |
Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
TCoDA, Multimedia, Real-time, synchronous, streaming, Music, Digital, Ensemble, TMO |
1 | Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu |
An Adaptable Security Framework for Service-based Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
adaptability, security policy, situation-awareness, Service-based systems, security framework, security agent |
1 | Peter P. Puschner |
Experiments with WCET-Oriented Programming and the Single-Path Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Eberhard, Anand Tripathi |
Object-Based Commutativity Analysis for Real-Time Applications. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|