keigoi's watchlist [more than 800 articles] Export

Recent papers matching keigoi's watchlist criteria

	A computer scientist's view of life, the universe, and everything [My Copy] Foundations of Computer Science (1997), pp. 201-208. by Jürgen Schmidhuber posted to physics by msakai on 2009-11-10 14:04:23 as
	Efficient incremental run-time specialization for free [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292. by Renaud Marlet, Charles Consel, Philippe Boinot posted to specialization by msakai on 2009-11-06 00:08:52 as along with 3 people marcoil dynamic nikomatsakis
	What is a recursive module? [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63. by Karl Crary, Robert Harper, Sidd Puri posted to module-system by msakai on 2009-11-06 00:07:04 as along with 1 person and 1 group dherman NU-PRL
	Improving performance by branch reordering [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 130-141. by Minghui Yang, Gang R. Uh, David B. Whalley posted to optimization by msakai on 2009-11-06 00:01:22 as
	Run-time code generation and modal-ML [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235. by Philip Wickline, Peter Lee, Frank Pfenning posted to stage-calculus specialization modal-logic by msakai on 2009-11-06 00:00:41 as along with 1 person magr
	Regaining Cut Admissibility in Deduction Modulo using Abstract Completion [My Copy] Information and Computation (30 October 2009) by Guillaume Burel, Claude Kirchner
	Axiomatizing the Equational Theory of Regular Tree Languages [My Copy] Journal of Logic and Algebraic Programming (26 October 2009) by Z. Ésik
	Ldiff: An enhanced line differencing tool [My Copy] Software Engineering, International Conference on, Vol. 0 (2009), pp. 595-598. by Gerardo Canfora, Luigi Cerulo, Massimiliano Di Penta posted to diff by msakai on 2009-10-29 15:57:29 as
	On the Expressiveness of TPTL and MTL [My Copy] Information and Computation (23 October 2009) by Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
	Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177. by Robert Brummayer, Armin Biere posted to smt by msakai on 2009-10-25 13:02:49 as along with 1 person rhishi
	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
	Knowledge representation, the World Wide Web, and the evolution of logic [My Copy] Synthese by Christopher Menzel posted to no-tag by msakai on 2009-10-20 07:02:51 as
	Polymorphic Fractional Capabilities [My Copy] Static Analysis (2009), pp. 36-51. by Hirotoshi Yasuoka, Tachio Terauchi posted to region linear-programming by msakai on 2009-10-14 03:06:14 as
	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
	Quasi-Boolean Encodings and Conditionals in Algebraic Specification [My Copy] Journal of Logic and Algebraic Programming (08 October 2009) by Răzvan Diaconescu
	Compositional verification and 3-Valued abstractions join forces [My Copy] Information and Computation (06 October 2009) by Sharon Shoham, Orna Grumberg
	Parameterized Computational Complexity of Dodgson and Young Elections [My Copy] Information and Computation (04 October 2009) by Nadja Betzler, Jiong Guo, Rolf Niedermeier
	Static Analysis of Topology-dependent Broadcast Networks [My Copy] Information and Computation (04 October 2009) by Sebastian Nanz, Flemming Nielson, Hanne R. Nielson
	Path auctions with multiple edge ownership☆ [My Copy] Theoretical Computer Science (06 October 2009) by Ye Du, Rahul Sami, Yaoyun Shi
	On the computational power of BlenX [My Copy] Theoretical Computer Science (06 October 2009) by Alessandro Romanel, Corrado Priami
	On a special class of primitive words☆ [My Copy] Theoretical Computer Science (06 October 2009) by Elena Czeizler, Lila Kari, Shinnosuke Seki
	Definable transductions and weighted logics for texts [My Copy] Theoretical Computer Science (06 October 2009) by Christian Mathissen
	Itineraries of rigid rotations and diffeomorphisms of the circle [My Copy] Theoretical Computer Science (06 October 2009) by David Richeson, Paul Winkler, Jim Wiseman
	Towards practical feasibility of core computation in data exchange☆ [My Copy] Theoretical Computer Science (06 October 2009) by Reinhard Pichler, Vadim Savenkov
	On the stability of sand piles model [My Copy] Theoretical Computer Science (04 October 2009) by Phan T. Duong, Tran T. Huong
	Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms [My Copy] Information and Computation (30 September 2009) by Murdoch J. Gabbay, Dominic P. Mulligan
	Mechanism design for set cover games with selfish element agents☆ [My Copy] Theoretical Computer Science (26 September 2009) by Xiang-Yang Li, Zheng Sun, WeiZhao Wang, Xiaowen Chu, ShaoJie Tang, Ping Xu
	Variations on a theme by Akl and Taylor: Security and tradeoffs☆ [My Copy] Theoretical Computer Science (26 September 2009) by Paolo D’Arco, Alfredo De Santis, Anna L. Ferrara, Barbara Masucci
	Fixed points of the RSA encryption algorithm [My Copy] Theoretical Computer Science (26 September 2009) by Andrzej Chmielowiec
	On-line multiple-strip packing [My Copy] Theoretical Computer Science (26 September 2009) by Deshi Ye, Xin Han, Guochuan Zhang
	Compositions of maximal codes☆ [My Copy] Theoretical Computer Science (26 September 2009) by Yun Liu
	Maximal width learning of binary functions [My Copy] Theoretical Computer Science (25 September 2009) by Martin Anthony, Joel Ratsaby
	The relevant prefixes of coloured Motzkin walks: An average case analysis [My Copy] Theoretical Computer Science (25 September 2009) by D. Merlini, R. Sprugnoli
	New algorithms for approximate nash equilibria in bimatrix games☆ [My Copy] Theoretical Computer Science (25 September 2009) by Hartwig Bosse, Jaroslaw Byrka, Evangelos Markakis
	Maximum likelihood analysis of algorithms and data structures [My Copy] Theoretical Computer Science (25 September 2009) by Ulrich Laube, Markus E. Nebel
	Optimal algorithms for the online time series search problem☆ [My Copy] Theoretical Computer Science (25 September 2009) by Yinfeng Xu, Wenming Zhang, Feifeng Zheng
	Whole program paths [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 259-269. by James R. Larus posted to machine-learning context-free-grammer by msakai on 2009-10-02 17:18:42 as
	並列プログラミングモデル Molatomium [My Copy] by Motohiro Takayama, Ryuji Sakai, Nobuhiro Kato, Tomofumi Shimada posted to parallel-programming by msakai on 2009-09-29 16:34:37 as
	NP-hard and linear variants of hypergraph partitioning [My Copy] Theoretical Computer Science (24 September 2009) by Laurent Lyaudet
	Preface [My Copy] Theoretical Computer Science (24 September 2009) by Boting Yang, Cao A. Wang
	Three results on frequency assignment in linear cellular networks [My Copy] Theoretical Computer Science (22 September 2009) by Marek Chrobak, Jiří Sgall

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

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

concurrency	78
picalculus	77
haskell	41
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
fundeps	6
java	6
metaprogramming	6
typeclass	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's watchlist [more than 800 articles] Export

keigoi's tags