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
page 229 / 60054
»
publications
Sort
relevance
views
votes
recent
update
View
thumb
title
148
click to vote
MPC
2010
Springer
156
views
Mathematics
»
more
MPC 2010
»
Compositionality of Secure Information Flow
15 years 10 months ago
Download
mpc-amast2010.fsg.ulaval.ca
Catuscia Palamidessi
claim paper
Read More »
142
click to vote
COCO
2007
Springer
101
views
Algorithms
»
more
COCO 2007
»
On Heuristic Time Hierarchies
15 years 10 months ago
Download
www.math.spbu.ru
Konstantin Pervyshev
claim paper
Read More »
169
click to vote
DBPL
2007
Springer
94
views
Database
»
more
DBPL 2007
»
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints
15 years 10 months ago
Download
w3.umh.ac.be
Jef Wijsen
claim paper
Read More »
286
click to vote
DLS
2007
293
views
Languages
»
more
DLS 2007
»
Tradeoffs in retrofitting security: an experience report
15 years 10 months ago
Download
www.dynamic-languages-symposium.org
Mark Samuel Miller
claim paper
Read More »
192
click to vote
ANTS
2010
Springer
268
views
Algorithms
»
more
ANTS 2010
»
Lattices and Spherical Designs
15 years 10 months ago
Download
ants9.org
Gabriele Nebe
claim paper
Read More »
« Prev
« First
page 229 / 60054
Last »
Next »
