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
2790
search results - page 16 / 558
»
A generative theory of relevance
Sort
relevance
views
votes
recent
update
View
thumb
title
132
click to vote
CCS
2007
ACM
94
views
Security Privacy
»
more
CCS 2007
»
Selecting theories and nonce generation for recursive protocols
16 years 7 days ago
Download
www.informatik.uni-kiel.de
Klaas Ole Kürtz, Ralf Küsters, Thomas Wi...
claim paper
Read More »
127
click to vote
FMCO
2004
Springer
97
views
Formal Methods
»
more
FMCO 2004
»
A Theory of Predicate-Complete Test Coverage and Generation
15 years 11 months ago
Download
research.microsoft.com
Thomas Ball
claim paper
Read More »
121
click to vote
ACL
1997
76
views
Computational Linguistics
»
more
ACL 1997
»
Efficient Generation in Primitive Optimality Theory
15 years 7 months ago
Download
www.aclweb.org
Jason Eisner
claim paper
Read More »
109
click to vote
MSCS
2006
62
views
more
MSCS 2006
»
Compactly generated domain theory
15 years 6 months ago
Download
homepages.inf.ed.ac.uk
Ingo Battenfeld, Matthias Schröder, Alex Simp...
claim paper
Read More »
117
click to vote
SIGSOFT
2008
ACM
104
views
Software Engineering
»
more
SIGSOFT 2008
»
Generation of concurrency control code using discrete-event systems theory
15 years 6 months ago
Download
se.ethz.ch
Christopher Dragert, Jürgen Dingel, Karen Rud...
claim paper
Read More »
« Prev
« First
page 16 / 558
Last »
Next »
