vcvpaiva's watchlist [more than 800 articles] Export

Recent papers matching vcvpaiva's watchlist criteria

	Conformant plans and beyond: Principles and complexity [My Copy] Artificial Intelligence (03 November 2009) by Blai Bonet
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 1-2. by Andrea Corradini
	A Note on an Old-Fashioned Algebra for (Disconnected) Graphs [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 3-15. by Fabio Gadducci
	A Port Graph Calculus for Autonomic Computing and Invariant Verification [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 17-38. by Oana Andrei, Hélène Kirchner
	A Term Rewriting Technique for Decision Graphs [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 39-54. by Bahareh Badban
	Recursive Functions with Pattern Matching in Interaction Nets [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 55-71. by Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
	Compilation of Interaction Nets [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 73-90. by Abubakar Hassan, Ian Mackie, Shinya Sato
	Strong Joinability Analysis for Graph Transformation Systems in CHR [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 91-111. by Frank Raiser, Thom Frühwirth
	Lazy Constraint Imposing for Improving the Path Constraint [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 113-128. by Ruben D. Viegas, Francisco Azevedo
	The effective theory of Borel equivalence relations☆ [My Copy] Annals of Pure and Applied Logic (27 October 2009) by Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist
	Beyond Borel-amenability: Scales and superamenable reducibilities [My Copy] Annals of Pure and Applied Logic (16 October 2009) by L. Motto Ros
	Bounded treewidth as a key to tractability of knowledge representation and reasoning☆ [My Copy] Artificial Intelligence (20 October 2009) by Georg Gottlob, Reinhard Pichler, Fang Wei posted by 1 person fheintz
	Comparing notions of randomness [My Copy] Theoretical Computer Science (17 October 2009) by Bart Kastermans, Steffen Lempp
	Simple algorithms for minimal triangulation of a graph and backward selection of a decomposable Markov network [My Copy] Theoretical Computer Science (16 October 2009) by Mauro Mezzini, Marina Moscarini
	Simulation of one-way cellular automata by boolean circuits [My Copy] Theoretical Computer Science (15 October 2009) by Véronique Terrier
	On Lazy Bin Covering and packing problems☆ [My Copy] Theoretical Computer Science (15 October 2009) by Mingen Lin, Yang Yang, Jinhui Xu
	When ignorance helps: Graphical multicast cost sharing games☆ [My Copy] Theoretical Computer Science (15 October 2009) by Vittorio Bilò, Angelo Fanelli, Michele Flammini, Luca Moscardelli
	A shorter proof that palindromes are not a Church–Rosser language, with extensions to almost-confluent and preperfect Thue systems [My Copy] Theoretical Computer Science (15 October 2009) by Colm Dúnlaing, Natalie Schluter
	Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 3-23. by Marco Bernardo
	Discounting in Time [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 25-31. by Uli Fahrenberg, Kim G. Larsen
	An MX/G/1MX/G/1 Energetic Retrial Queue with Vacations and it's Control [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 33-44. by Amar Aissani
	On the Expressive Power of Schedulers in Distributed Probabilistic Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 45-71. by Sergio Giro, P. R. D'Argenio
	The Kantorovich Metric in Computer Science: A Brief Survey [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 73-82. by Yuxin Deng, Wenjie Du
	Exploiting non-Markovian Bio-Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 83-98. by I. Mura, D. Prandi, C. Priami, A. Romanel
	Programming with Quantum Communication [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 99-118. by Anya Tafliovich, Eric C. R. Hehner
	An Interval-based Abstraction for Quantifying Information Flow [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 119-141. by Chunyan Mu, David Clark
	Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 143-165. by Bruno Montalto, Carlos Caleiro
	From Biochemistry to Stochastic Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 167-185. by Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
	CoBiC: Context-dependent Bioambient Calculus [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 187-201. by Luca Bortolussi, Maria G. Vigliotti
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 1-2. by Christel Baier, Alessandra di Pierro
	On some definable sets over fields with analytic structure [My Copy] Annals of Pure and Applied Logic (15 October 2009) by Y. Fırat Çelı̇kler
	An AGM-style belief revision mechanism for probabilistic spatio-temporal logics [My Copy] Artificial Intelligence (14 October 2009) by John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian posted by 1 person fheintz
	A logic of delegation [My Copy] Artificial Intelligence (13 October 2009) by Timothy J. Norman, Chris Reed posted by 1 person fheintz
	On positive influence dominating sets in social networks☆ [My Copy] Theoretical Computer Science (09 October 2009) by Feng Wang, Hongwei Du, Erika Camacho, et al.Kuai Xu, Wonjun Lee, Yan Shi, Shan Shan
	Pricing commodities☆ [My Copy] Theoretical Computer Science (09 October 2009) by Robert Krauthgamer, Aranyak Mehta, Atri Rudra
	On the complexities of consistency checking for restricted UML class diagrams☆ [My Copy] Theoretical Computer Science (08 October 2009) by Ken Kaneiwa, Ken Satoh
	Priority algorithms for graph optimization problems☆ [My Copy] Theoretical Computer Science (08 October 2009) by Allan Borodin, Joan Boyar, Kim S. Larsen, Nazanin Mirmohammadi
	Canonical finite state machines for distributed systems [My Copy] Theoretical Computer Science (08 October 2009) by Robert M. Hierons posted by 1 person leonardo
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 1-3. by Ralf Huuck, Gerwin Klein, Bastian Schlich
	Separation Logic Verification of C Programs with an SMT Solver [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 5-23. by Matko Botinčan, Matthew Parkinson, Wolfram Schulte
	A Verified Shared Capability Model [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 25-44. by Andrew Boyton
	Parallel and Distributed Invariant Checking of Microcontroller Software [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 45-63. by Jörg Brauer, Bastian Schlich, Stefan Kowalewski
	Interprocedural Pointer Analysis in Goanna [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 65-83. by Jörg Brauer, Ralf Huuck, Bastian Schlich
	A Precise Yet Efficient Memory Model For C [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 85-103. by Ernie Cohen, Michał Moskal, Stephan Tobies, Wolfram Schulte posted by 1 person ajk
	Modular Checking with Model Checking [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 105-122. by Yuusuke Hashimoto, Shin Nakajima
	Formal Verification of a Reader-Writer Lock Implementation in C [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 123-141. by Mark A. Hillebrand, Dirk C. Leinenbach
	Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages☆ [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 143-160. by V. Lima, C. Talhi, D. Mouheb, M. Debbabi, L. Wang, Makan Pourzandi posted by 1 person leonardo
	State Spaces — The Locale Way [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 161-179. by Norbert Schirmer, Makarius Wenzel
	An Abstract Specification Language for Static Program Analysis [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 181-197. by Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 2. (17 October 2009), pp. 1-1. by Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Note: You may cite this page as: http://www.citeulike.org/user/vcvpaiva/watchlist

Result page: 1 2 3 4 5 6 7 8 9 10 Next

logic	43
linear	31
categorical	17
semantics	7
explicit-subs	6
modal	6
own	6
full-intuitionistic	3
knowledge	3
algebraic	2
intuitionistic	2
proofnets	2
cat	1
combination	1
combinators	1
functor	1
kripke	1
language	1
lexical	1
lextensiva	1
logical	1
nets	1
petri	1
predicates	1
review	1
sequent-calculus	1

vcvpaiva's watchlist [more than 800 articles] Export

vcvpaiva's tags