Tag automata [at least 200 articles] Export

Recent papers classified by the tag automata.

	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58. by Deepak D’Souza, K. R. Raghavendra, Barbara Sprick posted to verification unwinding security model-checking maks information-flow automata 2005 by michaelbanks on 2009-10-30 10:34:52 as
	On the structure of Clifford quantum cellular automata [My Copy] (28 Apr 2008) by Dirk-M, Holger Vogts, Reinhard F. Werner posted to cellular automata by sarvepalli on 2009-10-26 16:04:32 as along with 1 person sflammia
	Theory of Self-Reproducing Automata [My Copy] by John von Neumann posted to self-reproducing automata by NitinCR on 2009-10-17 07:34:43 as
	Coinductive Counting With Weighted Automata [My Copy] (2002) by J. J. M. M. Rutten posted to trace_semantics automata by christiankissig on 2009-10-08 16:58:51 as
	The immune system, adaptation, and machine learning [My Copy] Physica D: Nonlinear Phenomena, Vol. 22, No. 1-3. (October 1986), pp. 187-204. by J. Farmer, N. Packard, A. Perelson posted to immune_system automata by tjpp on 2009-09-24 03:28:02 as
	On evolutionary spatial heterogeneous games [My Copy] Physica A: Statistical Mechanics and its Applications, Vol. 387, No. 7. (01 March 2008), pp. 1613-1620. by Hugo Fort posted to evolutionary-game automata by anarinsk on 2009-09-22 05:55:14 as along with 1 person davidchavalarias
	Spatial evolution of automata in the prisoners' dilemma [My Copy] Journal of Economic Behavior & Organization, Vol. 43, No. 2. (October 2000), pp. 239-262. by Oliver Kirchkamp posted to lattice-model evolutionary-game automata by anarinsk on 2009-09-21 02:47:45 as
	Theory of Self-Reproducing Automata [My Copy] (1966) by John Von Neumann edited by Arthur W. Burks posted to languages boolnet automata by dlobo to the group GEB on 2009-09-16 12:16:48 as along with 3 people anarinsk Bc91 peskin
	Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 492-508. by Orna Kupferman, Sarai Sheinvald-Faragy posted to word shortest automata by sgwyj on 2009-09-15 15:45:10 as
	Reasoning about online algorithms with weighted automata [My Copy] In SODA '09: Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms (2009), pp. 835-844. by Benjamin Aminof, Orna Kupferman, Robby Lampert posted to weighted online automata algorithm by sgwyj on 2009-09-15 15:03:35 as
	A Quasi-polynomial-time Algorithm for Sampling Words from a Context-Free Language [My Copy] Information and Computation, Vol. 134, No. 1. (10 April 1997), pp. 59-74. by V. Gore, M. Jerrum, S. Kannan, Z. Sweedyk, S. Mahaney posted to grammar counting automata by gkatsi on 2009-09-06 18:35:54 as
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted to semantics pi-calculus phd hra chemical-abstract-machine automata by fierykylin on 2009-09-02 05:44:22 as along with 8 people robotact scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	A New Kind of Science [My Copy] (01 May 2002) by Stephen Wolfram posted to proposal automata agent-based by anarinsk on 2009-08-31 06:41:58 as along with 15 people and 3 groups dpf Zaphod NitinCR fmatthes camster pweiland ChaTo dayjm balicea pchiusano spirit_of_numenor robertoalamino jstephens volkansevim naturalinformation dbk-lab ComplexAdaptiveSystems kwil
	On the Decidability of Model-Checking Information Flow Properties [My Copy] Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40. by Deepak D’Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick posted to property model-checking maks information-flow decidability automata 2008 by michaelbanks on 2009-08-26 13:10:50 as
	Checking timed Büchi automata emptiness on simulation graphs [My Copy] ACM Trans. Comput. Logic, Vol. 10, No. 3. (2009), pp. 1-19. by Stavros Tripakis posted to timed phd event-graph automata by fierykylin on 2009-08-26 07:09:51 as
	Simulation Support: Prototyping The Automation-Based Paradigm [My Copy] (1987) by Osman Balci, Richard E. Nance posted to phd pdes formalism des automata by fierykylin on 2009-08-22 04:59:04 as
	On the complexity of intersecting finite state automata [My Copy] Computational Complexity, 2000. Proceedings. 15th Annual IEEE Conference on In Computational Complexity, 2000. Proceedings. 15th Annual IEEE Conference on (2000), pp. 229-234. by G. Karakostas, R. J. Lipton, A. Viglas posted to automata by gkatsi on 2009-08-17 18:47:38 as
	Evolutionary stability in repeated games played by finite automata [My Copy] Journal of Economic Theory, Vol. 57, No. 2. (August 1992), pp. 278-305. by K. Binmore, L. Samuelson posted to automata cooperation costs evolution finite game_theory by vtraag on 2009-07-30 09:20:23 as
	Reformulating Global Grammar Constraints [My Copy] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2009), pp. 132-147. by George Katsirelos, Nina Narodytska, Toby Walsh posted to automata global-constraints grammar regular by gkatsi on 2009-07-20 19:19:35 as
	Automated interface synthesis [My Copy] (September 2003) by Vijay D'Silva, Arcot Sowmya, S. Ramesh posted to automata by adamarnesen on 2009-07-14 22:33:53 as along with 1 person and 1 group jcarroll BYU CHREC B1 2009
	Interface Theories for Component-Based Design [My Copy] Embedded Software (2001), pp. 148-165. by Luca de Alfaro, Thomas Henzinger posted to automata by adamarnesen to the group BYU CHREC B1 2009 on 2009-07-14 22:19:38 as
	Convertibility verification and converter synthesis: two faces of the same coin [My Copy] In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 132-139. by Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli posted to automata interface synthesis by adamarnesen on 2009-07-14 22:14:16 as along with 1 person and 1 group jcarroll BYU CHREC B1 2009
	Interface automata [My Copy] In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 109-120. by Luca de Alfaro, Thomas A. Henzinger posted to automata interface synthesis by adamarnesen on 2009-07-14 22:11:58 as along with 4 people and 2 groups jcarroll charoy jfischer newdawn BYU CHREC B1 2009 ecoo-pe
	Alternating automata and program verification [My Copy] Computer Science Today (1995), pp. 471-485. by Moshe Vardi posted to 22 automata model_checking by robotact on 2009-07-09 16:44:59 as
	Comprehensive bidding strategies with genetic programming/finite state automata [My Copy] Power Systems, IEEE Transactions on In Power Systems, IEEE Transactions on, Vol. 14, No. 4. (1999), pp. 1207-1212. by C. W. Richter, G. B. Sheble, D. Ashlock posted to automata bidding electricity geneticalgorithms markets by lcigler on 2009-07-06 08:41:10 as
	Random DFAs are Efficiently PAC Learnable [My Copy] (2 Jul 2009) by Leonid A. Kontorovich posted to automata boosting computational_learning_theory pulled by shivak on 2009-07-06 05:42:11 as
	FDR Explorer [My Copy] Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154. by Leo Freitas, Jim Woodcock posted to 2009 automata csp fdr model-checking refinement labelled-transition-system by michaelbanks on 2009-07-02 11:37:04 as along with 3 people mishra_satish newdawn leonardo
	Controlling Access to Documents: A Formal Access Control Model [My Copy] Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367. by Paul Sevinç, David Basin, Ernst-Rüdiger Olderog edited by Günter Müller posted to 2006 access-control automata csp csp-oz object-z security specification by michaelbanks on 2009-07-01 16:45:20 as
	Specifying and analyzing security automata using CSP-OZ [My Copy] In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security (2007), pp. 70-81. by David Basin, Ernst R. Olderog, Paul E. Sevinc posted to 2007 automata csp csp-oz object-z security specification by michaelbanks on 2009-07-01 16:38:14 as
	Simulation of Zeno hybrid automata [My Copy] Decision and Control, 1999. Proceedings of the 38th IEEE Conference on In Decision and Control, 1999. Proceedings of the 38th IEEE Conference on, Vol. 4 (1999), pp. 3538-3543 vol.4. by K. H. Johansson, J. Lygeros, S. Sastry, M. Egerstedt posted to automata hybrid ptolemy zeno by fierykylin on 2009-06-19 03:52:20 as
	Five Determinisation Algorithms [My Copy] Implementation and Applications of Automata (2008), pp. 161-170. by Rob van Glabbeek, Bas Ploeger posted to automata dfa minimization nfa by tmarscha on 2009-06-15 07:48:54 as along with 1 person gkatsi
	Introduction to the Theory of Computation [My Copy] (13 December 1997) by Michael Sipser posted to automata regex by adamarnesen on 2009-06-10 22:05:25 as along with 4 people and 1 group ajylha eporreca masteraka spinaltap526 contact-id
	Universal Kernel-Based Learning with Applications to Regular Languages [My Copy] Journal of Machine Learning Research, Vol. 10 (May 2009), pp. 1095-1129. by Leonid A. Kontorovich, Boaz Nadler posted to automata kernel language margin svm by mdreid to the group Statistical Machine Learning on 2009-06-06 05:28:49 as
	The Automation of Science [My Copy] Science, Vol. 324, No. 5923. (3 April 2009), pp. 85-89. by Ross D. King, Jem Rowland, Stephen G. Oliver, et al.Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa N. Soldatova, Andrew Sparkes, Kenneth E. Whelan, Amanda Clare posted to ai automata genomics loglang ontology by TobiasAbenius on 2009-05-25 20:03:19 as along with 53 people and 2 groups yyfwuhan antonkratz CulCog ckai1 jcaddy thegoose tommcdonagh tonamswish qwermish axeltan ocs CameronNeylon guhjy davidcsterratt bcondon Scis0000002 kevinemamy TRHvidsten emiko Zephyrus arne muraken vagoskar katiehumphry Effie robertknight acrmartins psique dbikard tyrell_turing Tomste renatomilani subhacom druvus ramanuja sen_cheng coela VGreiff hagechouchin443 Benja austin stober rdiaz Fortran napvasconcelos mikel_egana allysonlister dullhunk fgibson pkonings JeremyZucker jbhiatt tmmurali NaCTeM MetabolicModeling
	LTL with the Freeze Quantifier and Register Automata [My Copy] Logic in Computer Science, 2006 21st Annual IEEE Symposium on In Logic in Computer Science, 2006 21st Annual IEEE Symposium on (2006), pp. 17-26. by S. Demri, R. Lazic posted to automata ltl by streetlightios on 2009-05-12 03:58:12 as along with 1 person fheintz
	Diophantine Equations, Presburger Arithmetic and Finite Automata [My Copy] In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), pp. 30-43. by Alexandre Boudet, Hubert Comon posted to automata presburger by streetlightios on 2009-05-12 03:43:54 as along with 1 person zuleger
	Checking Finite Traces Using Alternating Automata [My Copy] Form. Methods Syst. Des., Vol. 24, No. 2. (March 2004), pp. 101-127. by Bernd Finkbeiner, Henny Sipma posted to automata by streetlightios on 2009-05-12 03:42:19 as along with 1 person fheintz
	Introduction to automata theory, languages, and computation [My Copy] (2007) by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman posted to automata by jcarroll to the group BYU CHREC B1 2009 on 2009-05-08 00:08:50 as
	Re-describing an algorithm by Hopcroft [My Copy] Theoretical Computer Science, Vol. 250, No. 1-2. (6 January 2001), pp. 333-363. by T. Knuutila posted to automata minimization by tmarscha on 2009-05-07 16:45:25 as
	Automata and Binary Decision Diagrams [My Copy] Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 1998. Revised Papers (1999), pp. 742-742. by Jean-Francis Michon, Jean-Marc Champarnaud posted to automata bdd by sgwyj on 2009-05-06 12:24:59 as
	Probing the Eddies of Dancing Emergence: Complexity and Abstract Painting [My Copy] Computational Science – ICCS 2005 (2005), pp. 428-435. by Tara Krause posted to automata bioart by trm005 on 2009-05-02 14:24:01 as
	Evidence for complex, collective dynamics and emergent, distributed computation in plants [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 101, No. 4. (27 January 2004), pp. 918-922. by David Peak, Jevin D. West, Susanna M. Messinger, Keith A. Mott posted to automata bioart by trm005 on 2009-05-02 13:41:58 as
	The power of a pebble: exploring and mapping directed graphs [My Copy] In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing (1998), pp. 269-278. by Michael A. Bender, Antonio Fernández, Dana Ron, Amit Sahai, Salil Vadhan posted to automata computerscience pebble by kamilah on 2009-04-27 00:02:01 as
	One more property of array languages [My Copy] Mathematical Methods of Specification and Synthesis of Software Systems '85 (1986), pp. 162-168. by Marek Ejsmont posted to automata pebble by kamilah on 2009-04-26 23:50:24 as
	The Power of a Pebble: Exploring and Mapping Directed Graphs [My Copy] (1998) by Michael A. Bender, Antonio Fernández, Dana Ron, Amit Sahai, Salil Vadhan posted to automata pebble by kamilah on 2009-04-26 23:48:36 as
	Reaction kinetics in intracellular environments with macromolecular crowding: simulations and rate laws1 [My Copy] Progress in Biophysics and Molecular Biology*, Vol. 85, No. 2-3. (July 2004), pp. 235-260. by S. Schnell posted to automata carlo cellular crowding dynamics kinetics macromolecular monte reaction simulation by gabe_rosser on 2009-04-24 18:27:18 as along with 5 people and 1 group mhellmann m_j schnell ras csanford IU_Informatics_CX
	Stack Cooperation in Multistack Pushdown Automata [My Copy] Journal of Computer and System Sciences, Vol. 58, No. 3. (June 1999), pp. 611-621. by J. Dassow posted to automata by kamilah on 2009-04-24 05:27:05 as
	Automata as Abstractions [My Copy] Verification, Model Checking, and Abstract Interpretation (2005), pp. 216-232. by Dennis Dams, Kedar S. Namjoshi posted to abstraction automata by sgwyj on 2009-04-17 14:57:27 as
	The complexity of tree automata and logics of programs [My Copy] Symposium on Foundations of Computer Science, Vol. 0 (1988), pp. 328-337. by E. A. Emerson, C. S. Jutla posted to automata complexity pdl by sgwyj on 2009-04-17 13:46:56 as
	Automata and Computability (Undergraduate Texts in Computer Science) [My Copy] (28 December 1999) by Dexter C. Kozen posted to automata textbook by tmarscha on 2009-04-07 10:55:04 as along with 2 people svozil BarrosH

Note: You may cite this page as: http://www.citeulike.org/tag/automata

Result page: 1 2 3 4 5 6 Next

cellular	48
computation	47
xml	35
complexity	29
logic	29
languages	22
algorithms	19
fuzzy	19
mathematics	19
algebra	13
mso	13
networks	12
streaming	12
algorithm	11
minimization	11
physics	11
theory	11
trees	10
grammar	9
quantum	9
revised	8
simulation	8
timed	8
dynamics	7
fun	7
urban	7
description	6
distributed-automata	6
graph	6
hmm	6
lp	6
pebble	6
printed	6
verification	6
agents	5
ai	5
asynchronous-cellular-automata	5
category-theory	5
causal-networks	5
cities	5
combinatorics	5
design	5
fsa	5
language	5
probabilistic	5
tree-walk	5
algorithmics	4
formalism	4
graphs	4
model-checking	4
regular	4
sequence	4
stochastic	4
systems	4
theoretical-computer-science	4
time	4
tree	4
2005	3
abstraction	3
algorithmic-information-theory	3
alternating	3
bayesian	3
bioinformatics	3
ch3	3
composition	3
copy	3
cs	3
csp	3
decidability	3
dfa	3
domain-theory	3
evolution	3
formal	3
game-semantics	3
group-theory	3
information	3
matching	3
math	3
models	3
nfa	3
omega	3
online	3
open	3
phd	3
problems	3
query	3
refs_ox	3
relativity	3
security	3
special	3
speed	3
statistical-mechanics	3
survey	3
synthesis	3
topology	3
trs	3
weighted	3
bacterial	2
discreteness	2
read	2

Tag automata [at least 200 articles] Export

Related Tags