Search results for "Famagusta"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Theodora Vardouli, Eleftheria Xanthouli, Athanassios Stathopoulos	The Recorder: A Participatory Digital Platform for the Rehabilitation of the City of Famagusta in Cyprus.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Famagusta, parametric urbanism, participatory design, memory, rehabilitation, commons
36	Benedek Nagy, Rudolf Freund (eds.)	Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2023, Famagusta, North Cyprus, 18th-19th September, 2023.	NCMA	2023	DBLP DOI BibTeX RDF
36	Benedek Nagy (eds.)	Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings	CIAA	2023	DBLP DOI BibTeX RDF
36	Nasso Chrysochou	'Orphaned' Monuments or Common Bicommunal Heritage? Conservation of four Gothic Churches in Famagusta Cyprus, Promoting Cultural Understanding, Exchange and Peace.	TMM_CH	2023	DBLP DOI BibTeX RDF
36	Martin Kutrib, Uwe Meyer 0003	Deterministic Real-Time Tree-Walking-Storage Automata.	NCMA	2023	DBLP DOI BibTeX RDF
36	Maria Radionova, Alexander Okhotin	Sweeping Permutation Automata.	NCMA	2023	DBLP DOI BibTeX RDF
36	Martin Berglund, Brink van der Merwe	Formalizing BPE Tokenization.	NCMA	2023	DBLP DOI BibTeX RDF
36	Carlo Mereghetti, Beatrice Palano, Priscilla Raucci	Latvian Quantum Finite State Automata for Unary Languages.	NCMA	2023	DBLP DOI BibTeX RDF
36	Tomás Kozár, Zbynek Krivka, Alexander Meduna	Final Sentential Forms.	NCMA	2023	DBLP DOI BibTeX RDF
36	Richard Mörbitz	Constituency Parsing as an Instance of the M-monoid Parsing Problem.	NCMA	2023	DBLP DOI BibTeX RDF
36	Ömer Egecioglu, Benedek Nagy	On Languages Generated by Signed Grammars.	NCMA	2023	DBLP DOI BibTeX RDF
36	Bianca Truthe	Merging two Hierarchies of Internal Contextual Grammars with Subregular Selection.	NCMA	2023	DBLP DOI BibTeX RDF
36	Giovanni Pighizzini, Luca Prigioniero	Forgetting 1-Limited Automata.	NCMA	2023	DBLP DOI BibTeX RDF
36	Brink van der Merwe	Ordered Context-Free Grammars Revisited.	NCMA	2023	DBLP DOI BibTeX RDF
36	Eric Andersson, Johanna Björklund, Frank Drewes, Anna Jonsson	Generating Semantic Graph Corpora with Graph Expansion Grammar.	NCMA	2023	DBLP DOI BibTeX RDF
36	Sicheol Sung, Sang-Ki Ko, Yo-Sub Han	Smaller Representation of Compiled Regular Expressions.	CIAA	2023	DBLP DOI BibTeX RDF
36	Ryoma Sin'ya	Measuring Power of Generalised Definite Languages.	CIAA	2023	DBLP DOI BibTeX RDF
36	Andreas Maletti, Andreea-Teodora Nász	Weighted Bottom-Up and Top-Down Tree Transformations Are Incomparable.	CIAA	2023	DBLP DOI BibTeX RDF
36	Olga Martynova 0001, Alexander Okhotin	A Time to Cast Away Stones.	CIAA	2023	DBLP DOI BibTeX RDF
36	Jeffrey O. Shallit, Anatoly Zavyalov	Transduction of Automatic Sequences and Applications.	CIAA	2023	DBLP DOI BibTeX RDF
36	Giovanni Pighizzini, Luca Prigioniero	Two-Way Machines and de Bruijn Words.	CIAA	2023	DBLP DOI BibTeX RDF
36	Antonio Al Serhali, Joachim Niehren	Earliest Query Answering for Deterministic Stepwise Hedge Automata.	CIAA	2023	DBLP DOI BibTeX RDF
36	Samira Attou, Ludovic Mignot, Clément Miklarz, Florent Nicart	Constrained Multi-Tildes.	CIAA	2023	DBLP DOI BibTeX RDF
36	Hermann Gruber, Markus Holzer 0001, Christian Rauch 0001	The Pumping Lemma for Regular Languages is Hard.	CIAA	2023	DBLP DOI BibTeX RDF
36	Sebastian Maneth, Martin Vu	Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer.	CIAA	2023	DBLP DOI BibTeX RDF
36	Martin Kutrib	Sweeping Input-Driven Pushdown Automata.	CIAA	2023	DBLP DOI BibTeX RDF
36	Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han	M-equivalence of Parikh Matrix over a Ternary Alphabet.	CIAA	2023	DBLP DOI BibTeX RDF
36	Václav Blazej, Jan Janousek, Stepán Plachý	On the Smallest Synchronizing Terms of Finite Tree Automata.	CIAA	2023	DBLP DOI BibTeX RDF
36	Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki	When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem.	CIAA	2023	DBLP DOI BibTeX RDF
36	Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis	Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions.	CIAA	2023	DBLP DOI BibTeX RDF
36	Viliam Geffert	Binary Coded Unary Regular Languages.	CIAA	2023	DBLP DOI BibTeX RDF
36	Friedrich Otto	A Survey on Automata with Translucent Letters.	CIAA	2023	DBLP DOI BibTeX RDF
36	Michal Hospodár, Galina Jirásková	Operational Complexity in Subregular Classes.	CIAA	2023	DBLP DOI BibTeX RDF
36	Shmuel T. Klein, Dana Shapira	Enhanced Ternary Fibonacci Codes.	CIAA	2023	DBLP DOI BibTeX RDF
36	Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull	Verified Verifying: SMT-LIB for Strings in Isabelle.	CIAA	2023	DBLP DOI BibTeX RDF
36	Szilárd Zsolt Fazekas, Robert Mercas	Sweep Complexity Revisited.	CIAA	2023	DBLP DOI BibTeX RDF
36	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Universal First-Order Quantification over Automata.	CIAA	2023	DBLP DOI BibTeX RDF
36	Cemil Atakara, Mitra Allahmoradi	Investigating the Urban Spatial Growth by Using Space Syntax and GIS - A Case Study of Famagusta City.	ISPRS Int. J. Geo Inf.	2021	DBLP DOI BibTeX RDF
36	Jérôme Durand-Lose, Benedek Nagy (eds.)	Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings	MCU	2015	DBLP DOI BibTeX RDF
36	Timo Jolivet, Anne Siegel	Decidability Problems for Self-induced Systems Generated by a Substitution.	MCU	2015	DBLP DOI BibTeX RDF
36	Martin Kutrib, Matthias Wendlandt	Reversible Limited Automata.	MCU	2015	DBLP DOI BibTeX RDF
36	Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian 0001	Non-isometric Contextual Array Grammars with Regular Control and Local Selectors.	MCU	2015	DBLP DOI BibTeX RDF
36	Martin Kutrib, Andreas Malcher, Matthias Wendlandt	Tinput-Driven Pushdown Automata.	MCU	2015	DBLP DOI BibTeX RDF
36	Frank Drewes, Markus Holzer 0001, Sebastian Jakobi, Brink van der Merwe	Tight Bounds for Cut-Operations on Deterministic Finite Automata.	MCU	2015	DBLP DOI BibTeX RDF
36	Mike Stannett	Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.	MCU	2015	DBLP DOI BibTeX RDF
36	Benedek Nagy, Sándor Vályi	A Characterization of NP Within Interval-Valued Computing.	MCU	2015	DBLP DOI BibTeX RDF
36	Simon Martiel, Bruno Martin	An Intrinsically Universal Family of Causal Graph Dynamics.	MCU	2015	DBLP DOI BibTeX RDF
36	Sergiu Ivanov 0001, Sergey Verlan	Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.	MCU	2015	DBLP DOI BibTeX RDF
36	Dmitry A. Zaitsev	Universality in Infinite Petri Nets.	MCU	2015	DBLP DOI BibTeX RDF
36	Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers	The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems.	MCU	2015	DBLP DOI BibTeX RDF
36	Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil	A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems.	MCU	2015	DBLP DOI BibTeX RDF