Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Holger Spakowski, Rahul Tripathi |
On the Power of Unambiguity in Alternating Machines. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
81 | Holger Spakowski, Rahul Tripathi |
On the Power of Unambiguity in Alternating Machines. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
62 | Seymour Ginsburg, Joseph S. Ullian |
Preservation of unambiguity and inherent ambiguity in context-free languages. |
J. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
46 | Violetta Lonati, Matteo Pradella |
Snake-Deterministic Tiling Systems. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
2D language, tiling systems, online tessellation automata, unambiguity, determinism, picture language |
44 | Dominik D. Freydenberger, Daniel Reidenbach |
The Unambiguity of Segmented Morphisms. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Serge Abiteboul, Tova Milo, Omar Benjelloun |
Regular rewriting of active XML and unambiguity. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Bahar Akbal-Delibas, Pruet Boonma, Junichi Suzuki |
Extensible and Precise Modeling for Wireless Sensor Networks. |
UNISCON |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Urszula Wybraniec-Skardowska |
Meaning and Interpretation. I. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring |
27 | Dora Giammarresi |
Tiling Recognizable Two-Dimensional Languages. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages |
27 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
Unambiguity - Determinism, Automata and Formal Languages, Two-dimensional languages |
27 | Mikkel Thorup |
Controlled Grammatic Ambiguity. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
grammatic ambiguity, semantic unambiguity |
25 | Erik Paul |
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata. |
Int. J. Found. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Andreea-Teodora Nász |
Solving the Weighted HOM-Problem With the Help of Unambiguity. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tomoyuki Yamakami |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tomoyuki Yamakami |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata. |
RP |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Colcombet, Karin Quaas, Michal Skrzypczak |
Unambiguity in Automata Theory (Dagstuhl Seminar 21452). |
Dagstuhl Reports |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Volodymyr Shyrokov |
"Accuracy" vs "Unambiguity" in Linguistics. |
COLINS |
2021 |
DBLP BibTeX RDF |
|
25 | Bence Nagy, Tibor Brunner, Zoltán Porkoláb |
Unambiguity of Python Language Elements for Static Analysis. |
SCAM |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yong Li 0031, Moshe Y. Vardi, Lijun Zhang 0001 |
On the Power of Unambiguity in Büchi Complementation. |
GandALF |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k,l)-Unambiguity and Quasi-Deterministic Structures. |
J. Autom. Lang. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Eric Allender, Archit Chauhan, Samir Datta, Anish Mukherjee 0001 |
Planarity, Exclusivity, and Unambiguity. |
Electron. Colloquium Comput. Complex. |
2019 |
DBLP BibTeX RDF |
|
25 | Wenjuan Wang, Allen Zhang 0001, Kelvin C. P. Wang, Andrew F. Braham, Shi Qiu |
Pavement Crack Width Measurement Based on Laplace's Equation for Continuity and Unambiguity. |
Comput. Aided Civ. Infrastructure Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Erik Paul |
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable. |
MFCS |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. |
Algorithmica |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-Way Automata. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. |
ITCS |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Colcombet |
Unambiguity in Automata Theory. |
DCFS |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. |
Electron. Colloquium Comput. Complex. |
2014 |
DBLP BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
25 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Okhotin, Kai Salomaa |
Input-driven pushdown automata: nondeterminism and unambiguity. |
NCMA |
2013 |
DBLP BibTeX RDF |
|
25 | Marcin Bilkowski, Michal Skrzypczak |
Unambiguity and uniformization problems on infinite trees. |
CSL |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the power of unambiguity in log-space. |
Comput. Complex. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Kewei Tu, Vasant G. Honavar |
Unambiguity Regularization for Unsupervised Learning of Probabilistic Grammars. |
EMNLP-CoNLL |
2012 |
DBLP BibTeX RDF |
|
25 | Nguyen Dinh Han, Ho Ngoc Vinh, Phan Trung Huy |
An Extension of Codes by Unambiguity of Languages. |
IIH-MSP |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Yo-Sub Han, Ludovic Mignot |
Generalized One-Unambiguity. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the Power of Unambiguity in Logspace. |
Electron. Colloquium Comput. Complex. |
2010 |
DBLP BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the Power of Unambiguity in Logspace |
CoRR |
2010 |
DBLP BibTeX RDF |
|
25 | Dora Giammarresi |
Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity |
CoRR |
2010 |
DBLP BibTeX RDF |
|
25 | Dora Giammarresi |
Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity. |
JAC |
2010 |
DBLP BibTeX RDF |
|
25 | Chunhua Tian, Feng Li, Jing Xiao, Tie Liu, Hao Zhang 0096 |
Unambiguity verification and execution prioritization of rule set. |
SOLI |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata |
Provably Secure Convertible Undeniable Signatures with Unambiguity. |
SCN |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Paritosh K. Pandya, Simoni S. Shah |
Unambiguity in Timed Regular Languages: Automata and Logics. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Dominik D. Freydenberger, Daniel Reidenbach |
The unambiguity of segmented morphisms. |
Discret. Appl. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata |
Provably Secure Convertible Undeniable Signatures with Unambiguity. |
IACR Cryptol. ePrint Arch. |
2009 |
DBLP BibTeX RDF |
|
25 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Kirsten, Sylvain Lombardy |
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity |
CoRR |
2007 |
DBLP BibTeX RDF |
|
25 | Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002 |
Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton |
CoRR |
2007 |
DBLP BibTeX RDF |
|
25 | Pekka Kilpeläinen, Rauno Tuhkanen |
One-unambiguity of regular expressions with numeric occurrence indicators. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002 |
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
Co-determinism and unambiguity of automata accepting finite or infinite words. |
Sci. Ann. Cuza Univ. |
2004 |
DBLP BibTeX RDF |
|
25 | Luc Goossens |
An Aggregation Based Approach to Reconcile Expressiveness and Unambiguity in Object Oriented Modelling Languages. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
25 | Andreas Neumann 0001 |
Unambiguity of SMGL Content Models - Pushdown Automata Revisited |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1997 |
RDF |
|
25 | Andreas Neumann 0001 |
Unambiguity of SGML Content Models - Pushdown Automata Revisited. |
Developments in Language Theory |
1997 |
DBLP BibTeX RDF |
|
25 | Juha Honkala |
A Decision Method for the Unambiguity of Sets Defined by Number Systems |
J. Univers. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Henning Fernau, Ludwig Staiger |
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Klaus-Jörn Lange |
Unambiguity of Circuits. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Anne Brüggemann-Klein |
Unambiguity of Extended Regular Expressions in SGML Document Grammars. |
ESA |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Gerhard Buntrock, Birgit Jenner, Klaus-Jörn Lange, Peter Rossmanith |
Unambiguity and Fewness for Logarithmic Space. |
FCT |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Maryse Pelletier |
Boolean Closure and Unambiguity of Rational Sets. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Klaus-Jörn Lange |
Unambiguity of Circuits. |
SCT |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Tom Head |
One-Dimensional Cellular Automata: Injectivity From Unambiguity. |
Complex Syst. |
1989 |
DBLP BibTeX RDF |
|
25 | Alexander Ja. Dikovsky, Larisa S. Modina |
On Three Types of Unambiguity of Context-Free Languages. |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
25 | N. Hojka |
On the unambiguity of n-tuple languages. |
Computing |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Miroslav Hladký |
Precedence relations and their connection with unambiguity of context-free grammars. |
Kybernetika |
1972 |
DBLP BibTeX RDF |
|
25 | Jozef Gruska |
Complexity and Unambiguity of Context-Free Grammars and Languages |
Inf. Control. |
1971 |
DBLP DOI BibTeX RDF |
|
25 | Jozef Gruska |
Unambiguity and ambiguity of context-free grammars and languages. |
IFIP Congress (1) |
1968 |
DBLP BibTeX RDF |
|
18 | Marcella Anselmo, Natasha Jonoska, Maria Madonia |
Framed Versus Unframed Two-Dimensional Languages. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Johannes C. Schneider |
Unambiguous Erasing Morphisms in Free Monoids. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
automata, determinism, two-dimensional languages |
18 | Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Albert Ambroziewicz, Tomasz Straszak |
Complementary Use Case Scenario Representations Based on Domain Vocabularies. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
requirements, scenarios, use cases, activity diagrams, interaction diagrams |
18 | Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux |
Feature Diagrams: A Survey and a Formal Semantics. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Nicolae Santean, Sheng Yu 0001 |
On Weakly Ambiguous Finite Transducers. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor |
Disciplined Methods of Software Specification: A Case Study. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
tabular specifications, trace specifications, software, finite state machine, traces |
18 | Birgit Hofreiter, Christian Huemer, Werner Winiwarter |
OCL-Constraints for UMM Business Collaborations. |
EC-Web |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Guizhen Yang, I. V. Ramakrishnan, Michael Kifer |
On the complexity of schema inference from web pages in the presence of nullable data attributes. |
CIKM |
2003 |
DBLP DOI BibTeX RDF |
data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference |
18 | Kil-Sang Yoo, Won-Hyung Lee |
Wavelet-Based Blind Watermarking Technique for Real-Time Watermark Interpretation. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki |
AGORA: Attributed Goal-Oriented Requirements Analysis Method. |
RE |
2002 |
DBLP DOI BibTeX RDF |
Requirements Elicitation, Quality Metrics, Goal Oriented Analysis |
18 | Duminda Wijesekera, Sushil Jajodia |
Policy algebras for access control: the propositional case. |
CCS |
2001 |
DBLP DOI BibTeX RDF |
policy algebra, access control, security policy, policy composition |
18 | Monique Snoeck, Guido Dedene |
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking |
18 | Klaus-Jörn Lange |
An Unambiguous Class Possessing a Complete Set. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
Topics Computational and structural complexity theory |
18 | Isabelle Gnaedig |
ELIOS-OBJ Theorem Proving in a Specification Language. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Inga Niepel, Peter Rossmanith |
Uniform Circuits and Exclusive Read PRAMs. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Klaus-Jörn Lange, Peter Rossmanith |
Characterizing Unambiguous Augmented Pushdown Automata by Circuits. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Véronique Bruyère |
On Maximal Prefix Sets of Words. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Parikh |
On Context-Free Languages. |
J. ACM |
1966 |
DBLP DOI BibTeX RDF |
|