Search by property

Jump to navigation Jump to search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Paper title" with value "Partial Specifications of Component-Based Systems using Petri Nets". Since there have been only a few results, also nearby values are displayed.

Showing below up to 26 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)


    

List of results

  • Vol-3170/paper2  + (Partial Specifications of Component-Based Systems using Petri Nets)
  • Vol-3194/paper58  + (Personalized Context-Aware Recommender System for Travelers)
  • Vol-3194/paper24  + (Predicting Vehicles Parking Behaviour for EV Recharge Optimization)
  • Vol-2599  + (Preface to the Proceedings of the FirstBlockchain enabled Semantic Web Workshop(BlockSW 2019))
  • Vol-2599/paper5  + (Private Digital Identity on Blockchain)
  • Vol-3170/paper10  + (Probabilistic Communication Structured Acyclic Nets)
  • Vol-3194/paper6  + (Progressive Entity Resolution with Node Embeddings)
  • Vol-3194/paper56  + (Query Answer Explanations under Existential Rules)
  • Vol-3194/award2  + (Querying Genome Databases)
  • Vol-3197/short6  + (Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELIāŠ„)
  • Vol-3194/paper37  + (Reasoning about Smart Contracts via LTL Encoding)
  • Vol-3194/paper35  + (Reasoning in Warded Datalog+/- with Harmful Joins)
  • Vol-3194/paper72  + (Recent Advancements on Bio-Inspired Hebbian Learning for Deep Neural Networks)
  • Vol-3197/invited2  + (Rectifying Classifiers)
  • Vol-3197/paper2  + (Repairing Ontologies via Kernel Pseudo-Contraction)
  • Vol-3170/poster2  + (Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs)
  • Vol-3194/paper71  + (Risk Analysis for Unsupervised Privacy-Preserving Tools)
  • Vol-3194/invited1  + (Runtime-Optimized Analytics)
  • Vol-1878/article-05  + (Scholarly Social Machines)
  • Vol-3194/paper29  + (Semantic Shift Detection in Vatican Publications: a Case Study from Leo XIII to Francis)
  • Vol-3194/paper30  + (Shared Metrics of Sustainability: a Knowledge Graph Approach)
  • Vol-3194/paper53  + (SiMBA: Systematic Clustering-Based Methodology to Support Built Environment Analysis)
  • Vol-3197/short4  + (Situated Conditionals - A Brief Introduction)
  • Vol-3194/paper14  + (SoBigData RI: European Integrated Infrastructure for Social Mining and Big Data Analytics)
  • Vol-3194/paper63  + (SoCRATe: a Framework for Compensating Users Over Time with Limited Availability Recommendations)
  • Vol-3194/paper48  + (Supporting Big Moving Objects Tracking and Analysis: An Innovative Scan-Matching Algorithm)