The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FST with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-2000 (57) 2001 (31) 2002 (35) 2003 (44) 2004-2007 (16) 2008-2012 (15) 2014-2021 (16) 2022-2023 (8)
Publication types (Num. hits)
article(27) incollection(2) inproceedings(189) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 51 occurrences of 49 keywords

Results
Found 222 publication records. Showing 222 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Helmut Seidl Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
71Eiman Ebrahimi, Chang Joo Lee, Onur Mutlu, Yale N. Patt Fairness via source throttling: a configurable and high-performance fairness substrate for multi-core memory systems. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fairness, shared memory systems, system performance, multi-core systems
71Zhenzhou Chen, Lei Li Generalized Foley-Sammon Transform with Kernels. Search on Bibsonomy ISNN (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55P. John Paul, P. N. Girija A Novel VLSI Architecture for Image Compression. Search on Bibsonomy ISM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FHT, FCT, FST, Hybrid Transform, VLSI, FFT
53André Kempe Factorization of Ambiguous Finite-State Transducers. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52Daisuke Ura, Kotaro Masumoto, Koichi Osuka FST-Convoy: A Leader Tracking Control of Vehicles Connected by Shape Sensor FST. Search on Bibsonomy J. Robotics Mechatronics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Iñaki Alegria, Arantza Díaz de Ilarraza Sánchez, Gorka Labaka, Mikel Lersundi, Aingeru Mayor, Kepa Sarasola An FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System. Search on Bibsonomy FSMNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Elaine Uí Dhonnchadha, Josef van Genabith Scaling an Irish FST Morphology Engine for Use on Unrestricted Text. Search on Bibsonomy FSMNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Simon M. Lucas, T. Jeff Reynolds Learning Finite-State Transducers: Evolution Versus Heuristic State Merging. Search on Bibsonomy IEEE Trans. Evol. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Odile Piton, Klara Lagji, Remzi Përnaska Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language. Search on Bibsonomy NLDB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Albanian Language, Automatic Processing of Open Lists of Words, Morphological Analysis, Finite State Transducer, Electronic Dictionary
35Jung-Fung Chen Service Quality Design Via Fuzzy Approach. Search on Bibsonomy ICICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fuzzy optimization model, linear programming, customer satisfaction
35Yongqiao Xiao, Jenq-Foung Yao, Zhigang Li 0001, Margaret H. Dunham Efficient Data Mining for Maximal Frequent Subtrees. Search on Bibsonomy ICDM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Jorge Baptista Evaluation of Finite-State Lexical Transdurcers of Temporal Adverbs for Lexical Analysis of Portuguese Texts. Search on Bibsonomy PROPOR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Michael A. Sipe, David P. Casasent Feature Space Trajectory Methods for Active Computer Vision. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF classification, object recognition, pose estimation, Active vision
35André Kempe Extraction of epsilon-Cyclesfrom Finite-State Transducers. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35André Kempe Part-of-Speech Tagging with Two Sequential Transducers. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Huaxiang Song FST-EfficientNetV2: Exceptional Image Classification for Remote Sensing. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Irina Aleksandrova, Elena Koresheva Estimation of the FST-Layering Time for Shock Ignition ICF Targets. Search on Bibsonomy Symmetry The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Bieito Beceiro, Jorge González-Domínguez, Juan Touriño Parallel-FST: A feature selection library for multicore clusters. Search on Bibsonomy J. Parallel Distributed Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Antoine Bruguier, Duc Le, Rohit Prabhavalkar, Dangna Li, Zhe Liu 0011, Bo Wang, Eun Chang, Fuchun Peng, Ozlem Kalinli, Michael L. Seltzer Neural-FST Class Language Model for End-to-End Speech Recognition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
26Adnan Haider, Tim Ng, Zhen Huang 0001, Xingyu Na, Antti-Veikko Rosti A Treatise On FST Lattice Based MMI Training. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Antoine Bruguier, Duc Le, Rohit Prabhavalkar, Dangna Li, Zhe Liu 0011, Bo Wang, Eun Chang, Fuchun Peng, Ozlem Kalinli, Michael L. Seltzer Neural-FST Class Language Model for End-to-End Speech Recognition. Search on Bibsonomy ICASSP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Douglas Cenzer, Richard Krogman The Isomorphism Problem for FST Injection Structures. Search on Bibsonomy LFCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Andrés Chandía A Mapudüngun FST Morphological Analyser and its Web Interface. Search on Bibsonomy LREC The full citation details ... 2022 DBLP  BibTeX  RDF
26Yun Tang 0002, Hongyu Gong, Xian Li, Changhan Wang, Juan Miguel Pino, Holger Schwenk, Naman Goyal FST: the FAIR Speech Translation System for the IWSLT21 Multilingual Shared Task. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
26Andrés Chandía FST Morphological Analyser and Generator for Mapudüngun. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
26Yun Tang 0002, Hongyu Gong, Xian Li, Changhan Wang, Juan Miguel Pino, Holger Schwenk, Naman Goyal FST: the FAIR Speech Translation System for the IWSLT21 Multilingual Shared Task. Search on Bibsonomy IWSLT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Min Zhang, Xiaohan Liu, Chenyu Liu, Xueqi Zhang, Haiyong Xie 0001 FST-Net: Exploiting Frequency Spatial Temporal Information for Low-Quality Fake Video Detection. Search on Bibsonomy ICTAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Juienze Melchiore Magolou-Magolou, Abdellatif Hair Assessment of Lifestyle and Mental Health: Case Study of the FST Beni Mellal. Search on Bibsonomy CBI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Jack Rueter, Mika Hämäläinen FST Morphology for the Endangered Skolt Sami Language. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Jack Rueter, Mika Hämäläinen FST Morphology for the Endangered Skolt Sami Language. Search on Bibsonomy SLTU-CCURL@LREC The full citation details ... 2020 DBLP  BibTeX  RDF
26Zheng Yuan 0003, Felix Stahlberg, Marek Rei, Bill Byrne, Helen Yannakoudakis Neural and FST-based approaches to grammatical error correction. Search on Bibsonomy BEA@ACL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Bastian Pfeifer, Martin J. Lercher BlockFeST: Bayesian calculation of region-specific FST to detect local adaptation. Search on Bibsonomy Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Ekaterina Egorova, Lukás Burget Out-of-Vocabulary Word Recovery using FST-Based Subword Unit Clustering in a Hybrid ASR System. Search on Bibsonomy ICASSP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Richard H. Adams, Drew R. Schield, Daren C. Card, Heath Blackmon, Todd A. Castoe GppFst: genomic posterior predictive simulations of FST and dXY for identifying outlier loci from population genomic data. Search on Bibsonomy Bioinform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Razieh Ehsani, Berke Özenç, Ercan Solak A FST Description of Noun and Verb Morphology of Azarbaijani Turkish. Search on Bibsonomy FSMNLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Marco Elio Tabacchi In the Future Everyone Will Be a Fuzzy Set: Enric Trillas, FST as an Experimental Science and the Relationship with Theory of Concepts. Search on Bibsonomy Accuracy and Fuzziness The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Somchai Nuanprasert, Yoshiaki Adachi, Takashi Suzuki Fst-Filter: A flexible spatio-temporal filter for biomedical multichannel data denoising. Search on Bibsonomy EMBC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Justin T. Chiu, Yun Wang, Jan Trmal, Daniel Povey, Guoguo Chen, Alexander I. Rudnicky Combination of FST and CN search in spoken term detection. Search on Bibsonomy INTERSPEECH The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Deepak Kumar, Manjeet Singh, Seema Shukla FST Based Morphological Analyzer for Hindi Language Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
26Chuan-Ching Sue, Wei-Nung Sung Fitting Scheduling Timing-Elastic Weighted Granting (FST-EWG): An EPON DBA Algorithm. Search on Bibsonomy JOCN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Chao Liu, Dong Wang 0013, Javier Tejedor N-gram FST Indexing for Spoken Term Detection. Search on Bibsonomy INTERSPEECH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Frederick L. Crabbe Efficiently Finding (Nearly) Minimal FST of Repetitive Unsegmented Demonstration Data. Search on Bibsonomy ICAART (1) The full citation details ... 2012 DBLP  BibTeX  RDF
26Khaled Shaalan, Mohammed Attia Handling Unknown Words in Arabic FST Morphology. Search on Bibsonomy FSMNLP The full citation details ... 2012 DBLP  BibTeX  RDF
26Aingeru Mayor, Mans Hulden, Gorka Labaka Developing an Open-Source FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System. Search on Bibsonomy FSMNLP The full citation details ... 2012 DBLP  BibTeX  RDF
26Suresh Jagannathan, Jeevan Eranti High Quality of Service on Video Streaming in P2P Networks using FST-MDC Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
26Lauri Karttunen Beyond Morphology: Pattern Matching with FST. Search on Bibsonomy SFCM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Carmen Galvez Standardization of Terms Applying Finite-State Transducers (FST). Search on Bibsonomy Handbook of Research on Digital Libraries The full citation details ... 2009 DBLP  BibTeX  RDF
26Tiago Antao, Ana Lopes, Ricardo J. Lopes, Albano Beja-Pereira, Gordon Luikart LOSITAN: A workbench to detect molecular adaptation based on a Fst-outlier method. Search on Bibsonomy BMC Bioinform. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Anna Ramírez-Soriano, Francesc Calafell FABSIM: a software for generating FST distributions with various ascertainment biases. Search on Bibsonomy Bioinform. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yong Li 0011, Mario G. Rosso, Nicolai Strizhov, Prisca Viehoever, Bernd Weisshaar GABI-Kat SimpleSearch: A Flanking Sequence Tag (FST) Database for the Identification of T-DNA Insertion Mutants in Arabidopsis Thaliana. Search on Bibsonomy Bioinform. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Nicolas Biri, Didier Galmiche A Separation Logic for Resource Distribution: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz Pushdown Games with Unboundedness and Regular Conditions. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Sebastian Maneth The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Gregor Gößler, Joseph Sifakis Component-Based Construction of Deadlock-Free Systems: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Jochen Könemann, R. Ravi 0001 Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta Randomized Time-Space Tradeoffs for Directed Graph Connectivity. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Randal E. Bryant Reasoning about Infinite State Systems Using Boolean Methods. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Ahmed Bouajjani, Tayssir Touili Reachability Analysis of Process Rewrite Systems. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Mikolaj Bojanczyk 1-Bounded TWA Cannot Be Determinized. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Avi Wigderson Zigzag Products, Expander Constructions, Connections, and Applications. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Christof Löding, Philipp Rohde Model Checking and Satisfiability for Sabotage Modal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Joachim Gudmundsson, Giri Narasimhan, Michiel H. M. Smid Distance-Preserving Approximations of Polygonal Paths. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Arnaud Carayol, Stefan Wöhrle The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Emmanuel Coquery, François Fages Subtyping Constraints in Quasi-lattices. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky An Equational Theory for Transactions. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Devdatt P. Dubhashi, Luigi Laura, Alessandro Panconesi Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Ramaswamy Ramanujam, S. P. Suresh Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Zoltán Ésik, Pascal Weil On Logically Defined Recognizable Tree Languages. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Telikepalli Kavitha Efficient Algorithms for Abelian Group Isomorphism and Related Problems. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Volker Diekert, Markus Lohrey Word Equations over Graph Products. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26S. Muthukrishnan 0001, Martin Strauss 0001 Maintenance of Multidimensional Histograms. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Meena Mahajan, Raghavan Rama 0001, Venkatesh Raman 0001, Vijayakumar Sundarrajan Merging and Sorting By Strip Moves. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Michael Backes 0001, Birgit Pfitzmann A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Andreas Baltz, Gerold Jäger, Anand Srivastav Constructions of Sparse Asymmetric Connectors: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Jin-yi Cai, Osamu Watanabe 0001 Stringent Relativization. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Sumanta Guha Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Stephen L. Bloom, Zoltán Ésik Axioms for Regular Words: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Funda Ergün, S. Muthukrishnan 0001, Süleyman Cenk Sahinalp Comparing Sequences with Segment Rearrangements. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Anupam Gupta 0001, Aravind Srinivasan On the Covering Steiner Problem. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Véronique Bruyère, Jean-François Raskin Real-Time Model-Checking: Parameters Everywhere. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Nikhil R. Devanur, Vijay V. Vazirani An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Holger Spakowski, Mayur Thakur, Rahul Tripathi Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi Minimality Results for the Spatial Logics. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Srinivas R. Kashyap, Samir Khuller Algorithms for Non-uniform Size Data Placement on Parallel Disks. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Swarup Mohalik, Igor Walukiewicz Distributed Games. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Maik Weinard, Georg Schnitger On the Greedy Superstring Conjecture. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Moni Naor Moderately Hard Functions: From Complexity to Spam Fighting. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Franck Samson, Véronique Brunaud, Sandrine Balzergue, B. Dubreucq, L. Lepiniec, G. Pelletier, Michel Caboche, Alain Lecharny FLAGdb/FST: a database of mapped flanking insertion sites (FSTs) of Arabidopsis thaliana T-DNA transformants. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Manindra Agrawal, Anil Seth (eds.) FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Joan Feigenbaum, Arvind Krishnamurthy, Rahul Sami, Scott Shenker Hardness Results for Multicast Cost Sharing. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sebastian Maneth The Complexity of Compositions of Deterministic Tree Transducers. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Deterministic Macro Tree Transducers, Complexity
26Carsten Fritz, Thomas Wilke State Space Reductions for Alternating Büchi Automata. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Yogish Sabharwal, Nishant Sharma, Sandeep Sen Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Stéphane Demri, Deepak D'Souza An Automata-Theoretic Approach to Constraint LTL. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ralf Küsters, Thomas Wilke Deciding the First Level of the µ-Calculus Alternation Hierarchy. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26C.-H. Luke Ong Model Checking Algol-Like Languages Using Game Semantics. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay Dynamic Message Sequence Charts. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 222 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license