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
15777
search results - page 85 / 3156
»
Engineering in Software
Sort
relevance
views
votes
recent
update
View
thumb
title
133
click to vote
AMAST
1997
Springer
122
views
Software Engineering
»
more
AMAST 1997
»
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
15 years 10 months ago
Download
www.jos.org.cn
Bart Jacobs
claim paper
Read More »
137
click to vote
PEPM
2000
ACM
87
views
Software Engineering
»
more
PEPM 2000
»
Type-Based Useless Variable Elimination
15 years 10 months ago
Download
www.cs.ucla.edu
Naoki Kobayashi
claim paper
Read More »
143
click to vote
CSMR
1997
IEEE
89
views
Software Engineering
»
more
CSMR 1997
»
Year 2000
15 years 10 months ago
Download
www.micrel.com
Paolo Nesi
claim paper
Read More »
114
click to vote
AADEBUG
1995
Springer
93
views
Software Engineering
»
more
AADEBUG 1995
»
High-Level Views of Distributed Executions
15 years 10 months ago
Download
ccnga.uwaterloo.ca
Thomas Kunz
claim paper
Read More »
128
click to vote
AMAST
1995
Springer
114
views
Software Engineering
»
more
AMAST 1995
»
Petri Nets, Traces, and Local Model Checking
15 years 10 months ago
Download
www.brics.dk
Allan Cheng
claim paper
Read More »
« Prev
« First
page 85 / 3156
Last »
Next »
