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 37 / 171
»
entcs 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
100
Voted
ENTCS
1998
67
views
more
ENTCS 1998
»
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
15 years 3 months ago
Download
webpages.cs.luc.edu
Christopher Colby, Lalita Jategaonkar, Radha Jagad...
claim paper
Read More »
107
Voted
ENTCS
2008
97
views
more
ENTCS 2008
»
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
15 years 3 months ago
Download
anna.fi.muni.cz
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...
claim paper
Read More »
74
click to vote
ENTCS
2010
80
views
more
ENTCS 2010
»
OOPS: An S5n Prover for Educational Settings
15 years 29 days ago
Download
gertvv.nl
Gert van Valkenhoef, Elske van der Vaart, Rineke V...
claim paper
Read More »
65
click to vote
ENTCS
2010
67
views
more
ENTCS 2010
»
A Pure Object-Oriented Embedding of Attribute Grammars
15 years 29 days ago
Download
swerl.tudelft.nl
Anthony M. Sloane, Lennart C. L. Kats, Eelco Visse...
claim paper
Read More »
117
Voted
ENTCS
2010
110
views
more
ENTCS 2010
»
Domain-Specific Languages for Composable Editor Plugins
15 years 29 days ago
Download
swerl.tudelft.nl
Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco V...
claim paper
Read More »
« Prev
« First
page 37 / 171
Last »
Next »