Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Holger Spakowski, Rahul Tripathi |
On the Power of Unambiguity in Alternating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 41(2), pp. 291-326, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
81 | Holger Spakowski, Rahul Tripathi |
On the Power of Unambiguity in Alternating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 125-136, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 147-159, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(3), pp. 364-368, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
46 | Violetta Lonati, Matteo Pradella |
Snake-Deterministic Tiling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 549-560, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 181-192, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 777-788, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Serge Abiteboul, Tova Milo, Omar Benjelloun |
Regular rewriting of active XML and unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, pp. 295-303, 2005, ACM, 1-59593-062-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Bahar Akbal-Delibas, Pruet Boonma, Junichi Suzuki |
Extensible and Precise Modeling for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 551-562, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Urszula Wybraniec-Skardowska |
Meaning and Interpretation. I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(1), pp. 105-132, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 75-86, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 36-47, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Unambiguity - Determinism, Automata and Formal Languages, Two-dimensional languages |
27 | Mikkel Thorup |
Controlled Grammatic Ambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 1024-1050, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
grammatic ambiguity, semantic unambiguity |
25 | Erik Paul |
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 35(1&2), pp. 23-49, January & February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Andreea-Teodora Nász |
Solving the Weighted HOM-Problem With the Help of Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 200-214, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tomoyuki Yamakami |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.09979, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tomoyuki Yamakami |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, pp. 77-92, 2022, Springer, 978-3-031-19134-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Colcombet, Karin Quaas, Michal Skrzypczak |
Unambiguity in Automata Theory (Dagstuhl Seminar 21452). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 11(10), pp. 57-71, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Volodymyr Shyrokov |
"Accuracy" vs "Unambiguity" in Linguistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLINS ![In: Proceedings of the 5th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2021). Volume I: Main Conference, Lviv, Ukraine, April 22-23, 2021., pp. 1-5, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Bence Nagy, Tibor Brunner, Zoltán Porkoláb |
Unambiguity of Python Language Elements for Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Luxembourg, September 27-28, 2021, pp. 70-75, 2021, IEEE, 978-1-6654-4897-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yong Li 0031, Moshe Y. Vardi, Lijun Zhang 0001 |
On the Power of Unambiguity in Büchi Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 182-198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k,l)-Unambiguity and Quasi-Deterministic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 24(1), pp. 13-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Eric Allender, Archit Chauhan, Samir Datta, Anish Mukherjee 0001 |
Planarity, Exclusivity, and Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR19, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Civ. Infrastructure Eng. ![In: Comput. Aided Civ. Infrastructure Eng. 33(2), pp. 110-123, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Erik Paul |
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, pp. 53:1-53:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-046-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 76(3), pp. 684-719, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-Way Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 26(8), pp. 1127-1146, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015, pp. 113-122, 2015, ACM, 978-1-4503-3333-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Colcombet |
Unambiguity in Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, pp. 3-18, 2015, Springer, 978-3-319-19224-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Mika Göös, Toniann Pitassi, Thomas Watson 0001 |
Zero-Information Protocols and Unambiguity in Arthur-Merlin Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.3214, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 188-200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 260-272, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Okhotin, Kai Salomaa |
Input-driven pushdown automata: nondeterminism and unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13 - August 14, 2013, Proceedings, pp. 31-33, 2013, Österreichische Computer Gesellschaft, 978-3-85403-294-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | Marcin Bilkowski, Michal Skrzypczak |
Unambiguity and uniformization problems on infinite trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy, pp. 81-100, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-60-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the power of unambiguity in log-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 21(4), pp. 643-670, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Kewei Tu, Vasant G. Honavar |
Unambiguity Regularization for Unsupervised Learning of Probabilistic Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP-CoNLL ![In: Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, EMNLP-CoNLL 2012, July 12-14, 2012, Jeju Island, Korea, pp. 1324-1334, 2012, ACL, 978-1-937284-43-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Nguyen Dinh Han, Ho Ngoc Vinh, Phan Trung Huy |
An Extension of Codes by Unambiguity of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Eighth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIH-MSP 2012, Piraeus-Athens, Greece, July 18-20, 2012, pp. 490-493, 2012, IEEE, 978-1-4673-1741-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Pascal Caron, Yo-Sub Han, Ludovic Mignot |
Generalized One-Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, pp. 129-140, 2011, Springer, 978-3-642-22320-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the Power of Unambiguity in Logspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR10, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran |
On the Power of Unambiguity in Logspace ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1001.2034, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Dora Giammarresi |
Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.0672, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Dora Giammarresi |
Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JAC ![In: Second Symposium on Cellular Automata `Journées Automates Cellulaires`, JAC 2010, Turku, Finland, December 15-17, 2010. Proceedings, pp. 8-12, 2010, Turku Center for Computer Science, 978-952-12-2503-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Chunhua Tian, Feng Li, Jing Xiao, Tie Liu, Hao Zhang 0096 |
Unambiguity verification and execution prioritization of rule set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOLI ![In: Proceedings of 2010 IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2010, Qingdao, China, 15-17 July 2010, pp. 46-51, 2010, IEEE, 978-1-4244-7118-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata |
Provably Secure Convertible Undeniable Signatures with Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks, 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings, pp. 291-308, 2010, Springer, 978-3-642-15316-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Paritosh K. Pandya, Simoni S. Shah |
Unambiguity in Timed Regular Languages: Automata and Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings, pp. 168-182, 2010, Springer, 978-3-642-15296-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Dominik D. Freydenberger, Daniel Reidenbach |
The unambiguity of segmented morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 157(14), pp. 3055-3068, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata |
Provably Secure Convertible Undeniable Signatures with Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2009, pp. 394, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 38(5), pp. 2079-2112, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Kirsten, Sylvain Lombardy |
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings, pp. 589-600, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 978-3-939897-09-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0702047, 2007. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0709.4117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Pekka Kilpeläinen, Rauno Tuhkanen |
One-unambiguity of regular expressions with numeric occurrence indicators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(6), pp. 890-916, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 327(3), pp. 349-373, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
Co-determinism and unambiguity of automata accepting finite or infinite words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Cuza Univ. ![In: Sci. Ann. Cuza Univ. 14, pp. 1-11, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Luc Goossens |
An Aggregation Based Approach to Reconcile Expressiveness and Unambiguity in Object Oriented Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Proceedings of the 1st International Conference on Enterprise Information Systems, Setubal, Portugal, 27-30 March 1999, pp. 427-434, 1999, ICEIS Secretariat, Escola Superior de Tecnologia de Setúbal, Portugal. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
25 | Andreas Neumann 0001 |
Unambiguity of SMGL Content Models - Pushdown Automata Revisited ![Search on Bibsonomy](Pics/bibsonomy.png) |
Universität Trier, Mathematik/Informatik, Forschungsbericht ![In: Universität Trier, Mathematik/Informatik, Forschungsbericht 97-05, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
RDF |
|
25 | Andreas Neumann 0001 |
Unambiguity of SGML Content Models - Pushdown Automata Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Proceedings of the 3rd International Conference Developments in Language Theory, DLT 1997, Thessaloniki, Greece, July 20-23, 1997, pp. 507-518, 1997, Aristotle University of Thessaloniki. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Juha Honkala |
A Decision Method for the Unambiguity of Sets Defined by Number Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 1(9), pp. 652-657, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Henning Fernau, Ludwig Staiger |
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 11-22, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Klaus-Jörn Lange |
Unambiguity of Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 107(1), pp. 77-94, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Anne Brüggemann-Klein |
Unambiguity of Extended Regular Expressions in SGML Document Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993, Proceedings, pp. 73-84, 1993, Springer, 3-540-57273-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Gerhard Buntrock, Birgit Jenner, Klaus-Jörn Lange, Peter Rossmanith |
Unambiguity and Fewness for Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 8th International Symposium, FCT '91, Gosen, Germany, September 9-13, 1991, Proceedings, pp. 168-179, 1991, Springer, 3-540-54458-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Maryse Pelletier |
Boolean Closure and Unambiguity of Rational Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 512-525, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Klaus-Jörn Lange |
Unambiguity of Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings: Fifth Annual Structure in Complexity Theory Conference, Universitat Politècnica de Catalunya, Barcelona, Spain, July 8-11, 1990, pp. 130-137, 1990, IEEE Computer Society, 0-8186-2072-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Tom Head |
One-Dimensional Cellular Automata: Injectivity From Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 3(4), 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
25 | Alexander Ja. Dikovsky, Larisa S. Modina |
On Three Types of Unambiguity of Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings, pp. 193-205, 1977, Springer, 3-540-08342-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
25 | N. Hojka |
On the unambiguity of n-tuple languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 15(1), pp. 71-74, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Miroslav Hladký |
Precedence relations and their connection with unambiguity of context-free grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 8(1), pp. 1-11, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
25 | Jozef Gruska |
Complexity and Unambiguity of Context-Free Grammars and Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 18(5), pp. 502-519, June 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
25 | Jozef Gruska |
Unambiguity and ambiguity of context-free grammars and languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (1) ![In: Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1 - Mathematics, Software., pp. 265-268, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP BibTeX RDF |
|
18 | Marcella Anselmo, Natasha Jonoska, Maria Madonia |
Framed Versus Unframed Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 79-92, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Johannes C. Schneider |
Unambiguous Erasing Morphisms in Free Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 473-484, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 290-302, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 544-558, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 136-145, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Nicolae Santean, Sheng Yu 0001 |
On Weakly Ambiguous Finite Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 156-167, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 428-437, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings, pp. 174-185, 2004, Springer, 3-540-22917-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, New Orleans, Louisiana, USA, November 2-8, 2003, pp. 224-231, 2003, ACM, 1-58113-723-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 348-355, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki |
AGORA: Attributed Goal-Oriented Requirements Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 13-22, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001., pp. 38-47, 2001, ACM, 1-58113-385-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(4), pp. 233-251, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 339-350, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Topics Computational and structural complexity theory |
18 | Isabelle Gnaedig |
ELIOS-OBJ Theorem Proving in a Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 182-199, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Inga Niepel, Peter Rossmanith |
Uniform Circuits and Exclusive Read PRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings, pp. 307-318, 1991, Springer, 3-540-54967-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Klaus-Jörn Lange, Peter Rossmanith |
Characterizing Unambiguous Augmented Pushdown Automata by Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 399-406, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Véronique Bruyère |
On Maximal Prefix Sets of Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 201-209, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Parikh |
On Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(4), pp. 570-581, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|