Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
852
search results - page 13 / 171
»
entcs 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
58
click to vote
ENTCS
2007
83
views
more
ENTCS 2007
»
On Dynamic Distribution of Private Keys over MANETs
15 years 3 months ago
Download
www.argreenhouse.com
Vanesa Daza, Paz Morillo, Carla Ràfols
claim paper
Read More »
54
Voted
ENTCS
2007
63
views
more
ENTCS 2007
»
Conformal Field Theory as a Nuclear Functor
15 years 3 months ago
Download
www.cs.mcgill.ca
Richard Blute, Prakash Panangaden, Dorette Pronk
claim paper
Read More »
84
click to vote
ENTCS
2007
73
views
more
ENTCS 2007
»
What You Lose is What You Leak: Information Leakage in Declassification Policies
15 years 3 months ago
Download
profs.sci.univr.it
Anindya Banerjee, Roberto Giacobazzi, Isabella Mas...
claim paper
Read More »
92
click to vote
ENTCS
2007
80
views
more
ENTCS 2007
»
Relational Parametricity for Control Considered as a Computational Effect
15 years 3 months ago
Download
homepages.inf.ed.ac.uk
Rasmus Ejlers Møgelberg, Alex Simpson
claim paper
Read More »
108
click to vote
ENTCS
2007
90
views
more
ENTCS 2007
»
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
15 years 3 months ago
Download
santos.cis.ksu.edu
David A. Schmidt
claim paper
Read More »
« Prev
« First
page 13 / 171
Last »
Next »