Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Helmut Seidl |
Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 269-284, 1990, Springer, 3-540-52590-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
71 | Eiman 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](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 335-346, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fairness, shared memory systems, system performance, multi-core systems |
71 | Zhenzhou Chen, Lei Li |
Generalized Foley-Sammon Transform with Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I, pp. 817-823, 2005, Springer, 3-540-25912-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | P. John Paul, P. N. Girija |
A Novel VLSI Architecture for Image Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Eigth IEEE International Symposium on Multimedia (ISM 2006), 11-13 December 2006, San Diego, CA, USA, pp. 794-795, 2006, IEEE Computer Society, 0-7695-2746-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
FHT, FCT, FST, Hybrid Transform, VLSI, FFT |
53 | André Kempe |
Factorization of Ambiguous Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, pp. 170-181, 2000, Springer, 3-540-42491-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Daisuke Ura, Kotaro Masumoto, Koichi Osuka |
FST-Convoy: A Leader Tracking Control of Vehicles Connected by Shape Sensor FST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 33(3), pp. 610-617, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Iñ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](Pics/bibsonomy.png) |
FSMNLP ![In: Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers, pp. 295-296, 2005, Springer, 3-540-35467-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Elaine Uí Dhonnchadha, Josef van Genabith |
Scaling an Irish FST Morphology Engine for Use on Unrestricted Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers, pp. 247-258, 2005, Springer, 3-540-35467-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Simon M. Lucas, T. Jeff Reynolds |
Learning Finite-State Transducers: Evolution Versus Heuristic State Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 11(3), pp. 308-325, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Odile Piton, Klara Lagji, Remzi Përnaska |
Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings, pp. 407-413, 2007, Springer, 978-3-540-73350-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Albanian Language, Automatic Processing of Open Lists of Words, Morphological Analysis, Finite State Transducer, Electronic Dictionary |
35 | Jung-Fung Chen |
Service Quality Design Via Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 466-469, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fuzzy optimization model, linear programming, customer satisfaction |
35 | Yongqiao Xiao, Jenq-Foung Yao, Zhigang Li 0001, Margaret H. Dunham |
Efficient Data Mining for Maximal Frequent Subtrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 379-386, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Jorge Baptista |
Evaluation of Finite-State Lexical Transdurcers of Temporal Adverbs for Lexical Analysis of Portuguese Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Computational Processing of the Portuguese Language, 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings, pp. 235-242, 2003, Springer, 3-540-40436-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Michael A. Sipe, David P. Casasent |
Feature Space Trajectory Methods for Active Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(12), pp. 1634-1643, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
classification, object recognition, pose estimation, Active vision |
35 | André Kempe |
Extraction of epsilon-Cyclesfrom Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers, pp. 190-201, 2001, Springer, 3-540-00400-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | André Kempe |
Part-of-Speech Tagging with Two Sequential Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, pp. 337-339, 2000, Springer, 3-540-42491-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Huaxiang Song |
FST-EfficientNetV2: Exceptional Image Classification for Remote Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 46(3), pp. 3959-3978, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Irina Aleksandrova, Elena Koresheva |
Estimation of the FST-Layering Time for Shock Ignition ICF Targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(7), pp. 1322, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Bieito Beceiro, Jorge González-Domínguez, Juan Touriño |
Parallel-FST: A feature selection library for multicore clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 169, pp. 106-116, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Antoine 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.11867, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Adnan Haider, Tim Ng, Zhen Huang 0001, Xingyu Na, Antti-Veikko Rosti |
A Treatise On FST Lattice Based MMI Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.08918, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Antoine 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](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2022, Virtual and Singapore, 23-27 May 2022, pp. 6107-6111, 2022, IEEE, 978-1-6654-0541-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Douglas Cenzer, Richard Krogman |
The Isomorphism Problem for FST Injection Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, pp. 25-36, 2022, Springer, 978-3-030-93099-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Andrés Chandía |
A Mapudüngun FST Morphological Analyser and its Web Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Thirteenth Language Resources and Evaluation Conference, LREC 2022, Marseille, France, 20-25 June 2022, pp. 6540-6547, 2022, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Yun 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06959, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Andrés Chandía |
FST Morphological Analyser and Generator for Mapudüngun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.09176, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Yun 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](Pics/bibsonomy.png) |
IWSLT ![In: Proceedings of the 18th International Conference on Spoken Language Translation, IWSLT 2021, Bangkok, Thailand (online), August 5-6, 2021, pp. 131-137, 2021, Association for Computational Linguistics, 978-1-954085-74-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Min 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](Pics/bibsonomy.png) |
ICTAI ![In: 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021, pp. 536-543, 2021, IEEE, 978-1-6654-0898-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Juienze Melchiore Magolou-Magolou, Abdellatif Hair |
Assessment of Lifestyle and Mental Health: Case Study of the FST Beni Mellal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI ![In: Business Intelligence - 6th International Conference, CBI 2021, Beni Mellal, Morocco, May 27-29, 2021, Proceedings, pp. 83-93, 2021, Springer, 978-3-030-76507-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jack Rueter, Mika Hämäläinen |
FST Morphology for the Endangered Skolt Sami Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.04803, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Jack Rueter, Mika Hämäläinen |
FST Morphology for the Endangered Skolt Sami Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLTU-CCURL@LREC ![In: Proceedings of the 1st Joint Workshop on Spoken Language Technologies for Under-resourced languages and Collaboration and Computing for Under-Resourced Languages, SLTU-CCURL@LREC 2020, Marseille, France, May 2020, pp. 250-257, 2020, European Language Resources association, 979-10-95546-35-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Zheng Yuan 0003, Felix Stahlberg, Marek Rei, Bill Byrne, Helen Yannakoudakis |
Neural and FST-based approaches to grammatical error correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEA@ACL ![In: Proceedings of the Fourteenth Workshop on Innovative Use of NLP for Building Educational Applications, BEA@ACL 2019, Florence, Italy, August 2, 2019., pp. 228-239, 2019, Association for Computational Linguistics, 978-1-950737-34-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Bastian Pfeifer, Martin J. Lercher |
BlockFeST: Bayesian calculation of region-specific FST to detect local adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 34(18), pp. 3205-3207, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ekaterina Egorova, Lukás Burget |
Out-of-Vocabulary Word Recovery using FST-Based Subword Unit Clustering in a Hybrid ASR System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018, pp. 5919-5923, 2018, IEEE, 978-1-5386-4658-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Richard 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](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 33(9), pp. 1414-1415, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Razieh Ehsani, Berke Özenç, Ercan Solak |
A FST Description of Noun and Verb Morphology of Azarbaijani Turkish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Proceedings of the 13th International Conference on Finite State Methods and Natural Language Processing, FSMNLP 2017, Umeå, Sweden, September 2017, pp. 62-68, 2017, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Marco 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](Pics/bibsonomy.png) |
Accuracy and Fuzziness ![In: Accuracy and Fuzziness. A Life in Science and Politics - A Festschrift book to Enric Trillas Ruiz, pp. 149-158, 2015, Springer, 978-3-319-18605-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Somchai Nuanprasert, Yoshiaki Adachi, Takashi Suzuki |
Fst-Filter: A flexible spatio-temporal filter for biomedical multichannel data denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 2767-2770, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Justin 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](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2014, 15th Annual Conference of the International Speech Communication Association, Singapore, September 14-18, 2014, pp. 2784-2788, 2014, ISCA. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Deepak Kumar, Manjeet Singh, Seema Shukla |
FST Based Morphological Analyzer for Hindi Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.5409, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Chuan-Ching Sue, Wei-Nung Sung |
Fitting Scheduling Timing-Elastic Weighted Granting (FST-EWG): An EPON DBA Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 4(6), pp. 468-479, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Chao Liu, Dong Wang 0013, Javier Tejedor |
N-gram FST Indexing for Spoken Term Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2012, 13th Annual Conference of the International Speech Communication Association, Portland, Oregon, USA, September 9-13, 2012, pp. 2093-2096, 2012, ISCA. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Frederick L. Crabbe |
Efficiently Finding (Nearly) Minimal FST of Repetitive Unsegmented Demonstration Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Vilamoura, Algarve, Portugal, 6-8 February, 2012, pp. 673-678, 2012, SciTePress, 978-989-8425-95-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Khaled Shaalan, Mohammed Attia |
Handling Unknown Words in Arabic FST Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Proceedings of the 10th International Workshop on Finite State Methods and Natural Language Processing, FSMNLP 2012, Donostia-San Sebastiían, Spain, July 23-25, 2012, pp. 20-24, 2012, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Aingeru Mayor, Mans Hulden, Gorka Labaka |
Developing an Open-Source FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Proceedings of the 10th International Workshop on Finite State Methods and Natural Language Processing, FSMNLP 2012, Donostia-San Sebastiían, Spain, July 23-25, 2012, pp. 65-69, 2012, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Suresh Jagannathan, Jeevan Eranti |
High Quality of Service on Video Streaming in P2P Networks using FST-MDC ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.5641, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Lauri Karttunen |
Beyond Morphology: Pattern Matching with FST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFCM ![In: Systems and Frameworks for Computational Morphology - Second International Workshop, SFCM 2011, Zurich, Switzerland, August 26, 2011. Proceedings, pp. 1-13, 2011, Springer, 978-3-642-23137-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Carmen Galvez |
Standardization of Terms Applying Finite-State Transducers (FST). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Research on Digital Libraries ![In: Handbook of Research on Digital Libraries: Design, Development, and Impact, pp. 102-112, 2009, IGI Global, 9781599048796. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Tiago 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](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 9, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Anna Ramírez-Soriano, Francesc Calafell |
FABSIM: a software for generating FST distributions with various ascertainment biases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(23), pp. 2790-2791, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Yong 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](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 19(11), pp. 1441-1442, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Paritosh 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](Pics/bibsonomy.png) |
FSTTCS ![Springer, 3-540-20680-9 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Nicolas Biri, Didier Galmiche |
A Separation Logic for Resource Distribution: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 23-37, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz |
Pushdown Games with Unboundedness and Regular Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 88-99, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Maneth |
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 326-337, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Gregor Gößler, Joseph Sifakis |
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 420-433, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Jochen Könemann, R. Ravi 0001 |
Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 289-301, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta |
Randomized Time-Space Tradeoffs for Directed Graph Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 208-216, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Randal E. Bryant |
Reasoning about Infinite State Systems Using Boolean Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 399-407, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ahmed Bouajjani, Tayssir Touili |
Reachability Analysis of Process Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 74-87, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Mikolaj Bojanczyk |
1-Bounded TWA Cannot Be Determinized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 62-73, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Avi Wigderson |
Zigzag Products, Expander Constructions, Connections, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 443, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Christof Löding, Philipp Rohde |
Model Checking and Satisfiability for Sabotage Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 302-313, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Gudmundsson, Giri Narasimhan, Michiel H. M. Smid |
Distance-Preserving Approximations of Polygonal Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 217-228, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Arnaud Carayol, Stefan Wöhrle |
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 112-123, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Emmanuel Coquery, François Fages |
Subtyping Constraints in Quasi-lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 136-148, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky |
An Equational Theory for Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 38-49, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Devdatt 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](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 168-182, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ramaswamy Ramanujam, S. P. Suresh |
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 363-374, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Zoltán Ésik, Pascal Weil |
On Logically Defined Recognizable Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 195-207, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Telikepalli Kavitha |
Efficient Algorithms for Abelian Group Isomorphism and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 277-288, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Volker Diekert, Markus Lohrey |
Word Equations over Graph Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 156-167, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | S. Muthukrishnan 0001, Martin Strauss 0001 |
Maintenance of Multidimensional Histograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 352-362, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Meena Mahajan, Raghavan Rama 0001, Venkatesh Raman 0001, Vijayakumar Sundarrajan |
Merging and Sorting By Strip Moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 314-325, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Michael Backes 0001, Birgit Pfitzmann |
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 1-12, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Baltz, Gerold Jäger, Anand Srivastav |
Constructions of Sparse Asymmetric Connectors: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 13-22, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Jin-yi Cai, Osamu Watanabe 0001 |
Stringent Relativization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 408-419, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sumanta Guha |
Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 229-243, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Stephen L. Bloom, Zoltán Ésik |
Axioms for Regular Words: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 50-61, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Funda Ergün, S. Muthukrishnan 0001, Süleyman Cenk Sahinalp |
Comparing Sequences with Segment Rearrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 183-194, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Anupam Gupta 0001, Aravind Srinivasan |
On the Covering Steiner Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 244-251, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Véronique Bruyère, Jean-François Raskin |
Real-Time Model-Checking: Parameters Everywhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 100-111, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Yannick 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](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 124-135, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Nikhil R. Devanur, Vijay V. Vazirani |
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 149-155, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Holger Spakowski, Mayur Thakur, Rahul Tripathi |
Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 375-386, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 252-264, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Srinivas R. Kashyap, Samir Khuller |
Algorithms for Non-uniform Size Data Placement on Parallel Disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 265-276, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Swarup Mohalik, Igor Walukiewicz |
Distributed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 338-351, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Maik Weinard, Georg Schnitger |
On the Greedy Superstring Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 387-398, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Moni Naor |
Moderately Hard Functions: From Complexity to Spam Fighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 434-442, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Franck 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](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 30(1), pp. 94-97, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Manindra 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](Pics/bibsonomy.png) |
FSTTCS ![Springer, 3-540-00225-1 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Joan Feigenbaum, Arvind Krishnamurthy, Rahul Sami, Scott Shenker |
Hardness Results for Multicast Cost Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 133-144, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Maneth |
The Complexity of Compositions of Deterministic Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 265-276, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Deterministic Macro Tree Transducers, Complexity |
26 | Carsten Fritz, Thomas Wilke |
State Space Reductions for Alternating Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 157-168, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Yogish Sabharwal, Nishant Sharma, Sandeep Sen |
Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 311-323, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Demri, Deepak D'Souza |
An Automata-Theoretic Approach to Constraint LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 121-132, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Küsters, Thomas Wilke |
Deciding the First Level of the µ-Calculus Alternation Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 241-252, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | C.-H. Luke Ong |
Model Checking Algol-Like Languages Using Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 33-36, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay |
Dynamic Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 253-264, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|