Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
551	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
552	THE COST OF REPAIRS Gabriele Puppis LaBRI / CNRS based on joint works with Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2015-02-23 23:15:04 Formal languages Applied mathematics Computer science Finite-state machine Finite state transducer Automata theory Models of computation Theoretical computer science
553	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
554	Giuseppe F. Italiano Dipartimento di Ingegneria Civile e Ingegneria Informatica +Università di Roma “Tor Vergata” Fax +via del Politecnico 1 Add to Reading List Source URL: www.disp.uniroma2.it Language: English - Date: 2015-02-24 09:41:48 European Symposium on Algorithms SWAT and WADS conferences International Colloquium on Automata Languages and Programming Algorithm engineering Kurt Mehlhorn Algorithm Distributed computing Susanne Albers International Symposium on Graph Drawing Theoretical computer science Applied mathematics Computer science
555	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software
556	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
557	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-07-18 21:05:22 Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science
558	Logic and Automata, Assignmentmarks) Construct B¨ uchi automata accepting ω-words satisfying the following LTL formulae: (a) G F X a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-21 13:28:41 Theoretical computer science Tree automaton Computer science Automata theory Temporal logic Linear temporal logic
559	Warsaw University Faculty of Mathematics, Informatics and Mechanics Filip Murlak Eective Topological Hierarchies of Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-06-24 07:12:17 Automata theory Structure Borel hierarchy Hierarchy Abstraction Descriptive set theory Wadge hierarchy Mathematics
560	Regular Expressions for Languages over Infinite Alphabets (Extended abstract) Michael Kaminski1 and Tony Tan2 1 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Applied mathematics Computer science Regular language Symbol Alphabet Ω-automaton Formal languages Automata theory Mathematics

UPDATE