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
9888
search results - page 92 / 1978
»
compute 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
131
click to vote
FOSSACS
2009
Springer
98
views
Software Engineering
»
more
FOSSACS 2009
»
Logics and Bisimulation Games for Concurrency, Causality and Conflict
16 years 15 days ago
Download
homepages.inf.ed.ac.uk
Julian Gutierrez
claim paper
Read More »
145
click to vote
WIMOB
2009
IEEE
139
views
Communications
»
more
WIMOB 2009
»
Characterizing the Influence of Human Presence on Bistatic Passive RFID-System
16 years 13 days ago
Download
www.imd.uni-rostock.de
Dominik Lieckfeldt, Jiaxi You, Dirk Timmermann
claim paper
Read More »
103
click to vote
RTSS
2009
IEEE
148
views
Control Systems
»
more
RTSS 2009
»
Component-Based Abstraction Refinement for Timed Controller Synthesis
16 years 13 days ago
Download
www.informatik.uni-freiburg.de
Hans-Jörg Peter, Robert Mattmüller
claim paper
Read More »
131
click to vote
RTSS
2009
IEEE
171
views
Control Systems
»
more
RTSS 2009
»
Symbolic Robustness Analysis
16 years 13 days ago
Download
www.cds.caltech.edu
Rupak Majumdar, Indranil Saha
claim paper
Read More »
121
click to vote
WOLLIC
2009
Springer
88
views
Artificial Intelligence
»
more
WOLLIC 2009
»
Mathematical Logic for Life Science Ontologies
16 years 9 days ago
Download
lc2009.fmi.uni-sofia.bg
Carsten Lutz, Frank Wolter
claim paper
Read More »
« Prev
« First
page 92 / 1978
Last »
Next »
