christiankissig's Hasuo:I [7 articles] Export

Recent papers posted to christiankissig's library by the author Hasuo:I. You can also see everyone's Hasuo:I.

	Tracing Anonymity with Coalgebras [My Copy] (2008) by Ichiro Hasuo posted to traces trace_theory trace_semantics coalgebra anonymity by christiankissig on 2009-10-08 17:20:19 as
	Probabilistic Anonymity Via Coalgebraic Simulations [My Copy] Programming Languages and Systems (2007), pp. 379-394. by Ichiro Hasuo, Yoshinobu Kawabe posted to anonymity coalgebra by christiankissig on 2009-06-22 15:49:10 as along with 1 person mrkoot
	Generic Trace Semantics via Coinduction [My Copy] ArXiv e-prints (October 2007) by Ichiro Hasuo, Bart Jacobs, Ana Sokolova posted to coalgebra trace_theory by christiankissig on 2009-06-17 10:36:53 as
	Context-Free Languages via Coalgebraic Trace Semantics [My Copy] Algebra and Coalgebra in Computer Science (2005), pp. 213-231. by Ichiro Hasuo, Bart Jacobs posted to coalgebra trace_theory by christiankissig on 2009-06-17 10:35:46 as along with 1 person jrw
	Generic Forward and Backward Simulations [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 406-420. by Ichiro Hasuo posted to coalgebras trace_theory by christiankissig on 2009-06-17 10:34:52 as
	Generic Trace Theory [My Copy] In International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Vol. 164 (2006), pp. 47-65. by Ichiro Hasuo, Bart Jacobs, Ana Sokolova posted to category_theory coalgebra by christiankissig on 2008-07-01 16:58:47 as
	Generic Forward and Backward Simulations [My Copy] In International Conference on Concurrency Theory (CONCUR 2006), Vol. 4137 (2006), pp. 406-420. by I. Hasuo posted to category_theory coalgebra by christiankissig on 2008-07-01 16:58:47 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/author/Hasuo:I

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
quantum_logics	14
domain_theory	14
modules	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
semirings	8
lawvere_theories	8
bicategories	8
modal_logic	8
limit-colimit-coincidence	7
higher_category_theory	7
distributive_laws	7
quantum_logic	7
hopf_algebras	6
trace_theory	6
topology	6
game_semantics	6
toposes	5
topoi	5
fibrations	5
processes	5
process_algebra	5
coalgebraic_logic	5
concurrency	5
sheaves	4
dagger_frobenius_algebras	4
algebraic_topology	4
differential_geometry	4
hopf_monads	4
functor_lifting	4
pi_calculus	4
simulation	4
software_engineering	3
isbell_conjugacy	3
toget	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
interaction_categories	3
constraint_satisfaction_problems	3
wanted	3
coinduction	3
substituion_patterns	3
functors	3
bigraphs	3
cohomology	2
examples_functors	2
elliptic_curves	2
topological_field_theory	2
closed_categories	2
graph_theory	2
geometry	2
csp	2
profinite_groups	2
reversible_computing	2
quantum_mechanics	2
anonymity	2
hopf_algebra	2
traces	2
ccs	2
algebraic_specification	2
kleene_algebras	2
homotopy	2
coalgebras	2
factorisation_systems	2
algebraic_geometry	2
linear_logic	2
trace_semantics	2
functor_representation	2
morita_duality	2
cryptography	2
polynomial_equation	2
logics	2
examples_monads	2
universal_algebra	2
monad	1
bialgebras	1
natural	1
knot_theory	1
tilings	1
mathematics	1
separation_logic	1
sos	1
computational_effects	1
predicate	1
substitution_patterns	1
cuboidal_sets	1
generalised_metric_spaces	1
hopf_mondas	1
commutative_monads	1
coalgebraic_automata_theory	1
algebraic_categories	1
bimonads	1
measure_theory	1
proof_theory	1
nominal_sets	1
homology	1
monad_strength	1
toread	1
gsos	1
file-import-09-09-22	1
expressivity	1
relation	1
tensor_categories	1
bialgebra	1
functional_programming	1
retraction	1
kleisli_category	1
substitution_systems	1
functor_presentation	1
quantaloids	1
programming	1
integration_theory	1
analysis	1
modal	1
petri_nets	1
constructive_mathematics	1
service_oriented_architectures	1
programming_languages	1
lifting	1
quantum_computing	1
categorical_logic	1
quantales	1
distributed_systems	1
subsitution_patterns	1
manifolds	1
automata	1
chu-spaces	1
stacks	1
haskell	1
domain_equations	1
number_theory	1
functional_analysis	1
mu_calculus	1
symmetric_monoidal	1
hilbert_spaces	1
multi_agent_logics	1
type_theory	1
comonads	1
complexity_theory	1
morita_equivalence	1
boolean_algebras	1

christiankissig's Hasuo:I [7 articles] Export

christiankissig's tags