yusuke1997/dblp-id-title huggingface dataset:
State of the Art in Applied Cryptography, Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997. Revised Lectures
A time-wise hierarchy imposed upon the use of a two-level store
Operating Systems, An Advanced Course
Unix Security & Kerberos
Formal Languages and Word-Rewriting
A Data Parallel Scientific Computing Introduction
The Application of General Net Theory - A Personal History
Lan Internetworking
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach
Parallel Inference Machines
Graph Rewriting: A Bibliographical Guide
TTPs Overview - Concepts and Review of the State of Art from a Technical Point of View
An Introduction to Software Reliability Modelling
Influence of Location over Several Classifiers in 2D and 3D Face Verification
A Cooperation Scheme for Parallel Compilation
Holistic Operations in Large-Scale Sensor Network Systems: A Probabilistic Peer-to-Peer Approach
Place/Transition Systems
3D Face Recognition Using Stereoscopic Vision
Tools for High Performance Fortran: A Survey
New Error Probability Upper Bound on Maximum Likelihood Sequence Estimation for Intersymbol Interference Channels
Cryptography Within Phase I of the EEC-RACE Programme
Notes on Timed Concurrent Constraint Programming
Bit Error Probability of a Rapidly-Adapting Rake Receiver as a Function of Dwell Time
Natural Language Systems
Timed Verification of Asynchronous Circuits
Introduction to General Net Theory
Linguistic Aspects of Natural Language Processing
Toward Self-organizing, Self-repairing and Resilient Distributed Systems
Design Issues for Secure Computer Networks
Security Aspects of the Ecash TM Payment System
Generic Programming - Advanced Lectures
Notes on distributed systems of microprocessors
Paradigms for Distributed Programs
The Cambridge Distributed Computing System
Performance of CDMA Cellular Networks with Base-Station Antenna Arrays
Support for Distributed CSCW Applications
A Formal Scheme for Avoiding Undecidable Problems - Applications to Chaotic Behaviour, Characterization and Parallel Computation
Contention Resolution Multiple Access Techniques for Handling Speech and Data Traffic on Wireless Networks
Software Engineering, An Advanced Course, Reprint of the First Edition (February 21 - March 3, 1972)
Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998
Historical Background of Gödel's Theorem
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]
Modeling and Designing Heterogeneous Systems
The Semantics of CLEAR, A Specification Language
The Evolution of Publish/Subscribe Communication Systems
Multi-Level Simulator for VLSI
Portable and Adaptable Compilers
Knowledge Acquisition for Expert Systems
Programming as an evolutionary process
Längen und Formeln
Performance Analysis of a CDMA-Based Satellite-Mobile Audio Broadcasting System
Analysis of Successive Interference Cancellation in M-ary Orthogonal DS-CDMA System with Single Path Rayleigh Fading
Elliptic Curve Public-Key Cryptosystems - An Introduction
On Efficient Reduction Algorithms for Some Trace Rewriting Systems
The Search for the Holy Grail in Quantum Cryptography
Distributed AI and its Applications
Model-Based Diagnosis: An Overview
The State of Cryptographic Hash Functions
Normalized Rewriting - Application to Ground Completion and Standard Bases
Simulation Results for a CDMA Interference Cancellation Technique in a Rayleigh Fading Channel
Fault-Tolerance in Parallel Architectures
Adaptive Multiuser Detector for Synchronous Code Division Multiple Access Applications
Towards Dependable Networks of Mobile Arbitrary Devices - Diagnosis and Scalability
Applications of Net-Based Models
Synchronization in a Layered System
Language aspects in operating systems
Formalization of Data Base Models
Task Parallelism and High-Performance Languages
A Theory of Duration Calculus with Application
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour
Issues in Kernel Design
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets
Fractional-Rate Hybrid PSK-TCM Codes for the Rayleigh Fading Channel
Deduction and Computation
Design & Analysis of Highly Parallel & Distributed Systems
Hardware Interconnection Technology
Functional Formalisms for System Description: Current Research Topics
The Surprising Power of Epidemic Communication
Securing Internet Electronic Mail
Performance Evaluation of Systems Using Nets
Local Area Networks: An Advanced Course, Glasgow, UK, July 11-22, 1983, Proceedings
Human-Machine Interaction and Role/Function/Action-Nets
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components
The Token Ring
Two-Level Grammars
Timed Automata: Semantics, Algorithms and Tools
Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975
Modular Edit Lenses
Basic Linear Algebraic Techniques for Place or Transition Nets
Matched Median Detectors for Synchronous Direct-Sequence Multiple-Access Communications
The structure of an operating system
Biometric Gait Recognition
Code Generation and Optimization
Hardware/Software Relationships in Distributed Systems
Technical Approaches to Thwart Computer Fraud
Data Parallelism and Functional Programming
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
Event Structures
Rewriting and Tree Automata
Distributed Systems - Architecture and Implementation, An Advanced Course
Data Structures for Boolean Functions
An Introduction to Functional Nets
An Example of Hierarchical Program Specification
Security of Computer Networks
Security Management - The Process
Decomposition in Asynchronous Circuit Design
Views of Distributed Systems
An Introduction to Neurocomputing and its Possible Role in AI
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
TCSP: Theory of Communicating Sequential Processes
The Word Problem for Thue Rewriting Systems
Graph Grammars and Petri Net Transformations
The Nearest Neighbor
Learning Patterns in Noisy Data: The AQ Approach
An Introduction to Automated Deduction
Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben
The Object Model: A Conceptual Tool for Structuring Software
Model Class Selection and Construction: Beyond the Procrustean Approach to Machine Learning Applications
Algorithms in Pure Mathematics
Time Swquences as a Tool for Describing Program Behaviour
Graph-Theoretical Methods in Computer Vision
Appendix: a philosophy of programming
The State Explosion Problem
Mobility and Coordination for Distributed Java Applications
Data Flow Analysis and Global Optimization
Petri Nets and Dependability
Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings
Nets in Production Systems
A Survey of Symmetrized and Complete Group Presentations
Banquet Talk
Nets in Modeling and Simulation
Concurrency in a Knowledge Base
Personal Communications
The Architecture of DOOM
Unbounded Petri Net Synthesis
Relationship of Languages to Machines
Principles and Practice of Bidirectional Programming in BiGUL
Compiler Construction, An Advanced Course, 2nd ed
Reductions of Nets and Parallel Prgrams
On Belief Functions
Notes on Current Trends in AI Planning
Explicit and Implicit Enforcing - Randomized Optimization
Modelling Architectural Features with Petri Nets
GSM: Security, Services, and the SIM
Knowledge Representation: Features of Knowledge
Microcomputer operating systems
Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research
Modeling Complexity in Secure Distributed Computing
Fourier Transforms and Quantum Computation
Petri Nets Based Models in the Specification and Verification of Protocols
Quality of Service and Electronic Newspaper: The Etel Solution
FIFO-Nets
IPC Interface and End-to-End Protocols
The Evolution of GSM
Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach
Petri Nets and Other Models of Concurrency
Petri Nets and Software Engineering
Replication of CORBA Objects
GALA (Globally Asynchronous - Locally Arbitrary) Design
Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000)
Hand Detection by Direct Convexity Estimation
Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems
Middleware for Supporting Inter-organizational Interactions
Syntax Analysis and Error Recovery
Process Algebra: A Petri-Net-Oriented Tutorial
Dynamic Cell Planning for Wireless Infrared In-House Data Transmission
Intelligent Presentation and Dialogue Management
Gaussian Processes in Machine Learning
Advanced Topics in Artificial Intelligence, International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996
An Introduction to Systolic Architectures
Simulation von Turingmaschinen mit logischen Netzen
Intelligent Techniques for Spatio-Temporal Data Analysis in Environmental Applications
Reduction, Data Flow and Control Flow Models of Computation
An exercise in proving parallel programs correct
On Axiomatic Definition of Max-Model of Concurrency
Linear Logic and Parallelism
Logic for Representing and Implementing Knowledge about System Behaviour
Generic Properties of Datatypes
Machine Learning and Intelligent Agents
Challenges in Evaluating Distributed Algorithms
Model-Based Development of Executable Business Processes for Web Services
Specification in Distributed Systems
Convolutional Codes and Finite Interleavers for the Block Erasure Channel
Untere Schranken für die Komplexität logischer Entscheidungsprobleme
Advanced Machine Learning Techniques for Computer Vision
Properties of instruction set processor
Statistical Learning Approaches with Application to Face Detection
Embedded System Description Using Petri Nets
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
Spread Spectrum Storage with Mnemosyne
Message Sequence Charts
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Data Mining in Economics, Finance, and Marketing
Linear Algebraic Techniques for Place/Transition Nets
Unsupervised Learning of Probabilistic Concept Hierarchies
Common Carrier Provided Network Interfaces
On the Semantics of Fair Parallelism
An Introduction to Dependent Type Theory
Wide Area Internetworking
Access Units
Block Ciphers - A Survey
Approaches to Inductive Logic Programming
LR Grammars and Analysers
Secret-Key Exchange with Authentication
Performance Comparison of GMSK and \pi/4-DQPSK Modulations in a Mobile Radio Environment
Primality Tests and Use of Primes in Public-Key Systems
Review of Formalisms and Notation
How to Upgrade Propositional Learners to First Order Logic: A Case Study
Logic and Databases
The Capacity of CDMA Cellular: Reverse Link Field Test Results
Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2
Slotted ALOHA with Capture in a Mobile Radio Environment
Assembly and Linkage
EDI Security
Replication Strategies for Highly Available Peer-to-Peer Storage
An Qutline of the SMoLCS Approach
Design and Performance of an 8-Dimensional Modulation Scheme
LL(1) Grammars and Analysers
Numbers Can Be a Better Form of Cash than Paper
Smart Cards - Requirements, Properties, and Applications
Engineering Bidirectional Transformations
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany
Problems in many-language systems
Compiling Ada
A Face Recognition System Based on Local Feature Characterization
Language Constructs for Distributed Programs
Practical Applications of Planning Tasks
Frequency Response Measurements of the Wireless Indoor Channel at Infrared Optics
Genetic Algorithms in Machine Learning
Applicative Modelling with RAISE
Introduction to Compiler-Compilers
AI: Introduction, Paradigms, Applications (Including CBR), Impacts, Visions
Advanced Studies in Biometrics, Summer School on Biometrics, Alghero, Italy, June 2-6, 2003, Revised Selected Lectures and Papers
Measuring Bit Errors, Clock Errors and Their Burst Characteristics in Mobile Communication Systems
Petri Nets in Performance Analysis: An Introduction
A Coloured Petri Net Approach to Protocol Verification
Symbol Table Access
Polynomiale Transformationen und Auswahlaxiom
High level sequential and concurrent programming
Machine Learning and Its Applications, Advanced Lectures
An Introduction to System Semantics
Prolog: A Step towards the Future of Programming
Issues and Tools for Protocol Specification
Mobile Communications: Advanced Systems and Components, 1994 International Zurich Seminar on Digital Communications, Zurich Switzerland, March 8-11, 1994, Proceedings
Protection Mechanisms and the Enforcement of Security Policies
On System Specifications
A Model for BER Evaluation of Indoor Frequency Selective Channels Using Multipath Measurement Results at 2.4, 4.75 and 11.5 GHz
Distributed Control
Challenges in Making Pervasive Systems Dependable
Group Communication in Partitionable Distributed Systems
Machine Learning Applications to Power Systems
Concurrency Theory
Division-Free Algorithms for the Determinant and the Pfaffian: Algebraic and Combinatorial Approaches
File Servers
Elementary Net Systems
Distributed Algorithms for Networks of Agents
Forecasting Software Reliability
LILITH: A personal computer for the software engineer
Increased Capacity of DS-CDMA Mobile Systems on Frequency-Selective Slow Fading Channels
Petri Nets, Process Algebras and Concurrent Programming Languages
The Role of Uncertainty Measures and Principles in AI
Commitment Schemes and Zero-Knowledge Protocols
Attribute Grammar Design using the Compiler Writing System HLP
Open Questions on Consensus Performance in Well-Behaved Runs
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Information Authentication: Hash Functions and Digital Signatures
Language Characteristics Programming Languages as a Tool in Writing System Software
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Stochastic Learning
Introduction to Probabilistic Methods of Knowledge Representation and Processing
Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing?
Petri-Nets from the Engineer's Viewpoint
A Programming Approach to the Design of Asynchronous Logic Blocks
Equational Reasoning with Two-Dimensional Diagrams
CCS is an (Augmented) Contact Free C/E System
Elements for the Formal Description of Systems
Atomicity of Activities
Selection of Location, Frequency, and Orientation Parameters of 2D Gabor Wavelets for Face Recognition
Design of VLSI Systems
Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course
Nets in Computer Organisation
Propagation Losses and Impulse Response of the Indoor Optical Channel: A Simulation Package
Analysing Nets by the Invariant Method
Interprocess Communication Layer: Introduction
Research Problems of Decentralized Systems with Largely Autonomous Nodes
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings
Signing Contracts and Paying Electronically
Supporting Irregular and Dynamic Computations in Data Parallel Languages
Attribute Grammars: Attribute Evaluation Methods
Machine Learning in User Modeling
Elements of General Net Theory
Acquisition-Environment
A Graph Model Based Approach to Specifications
Production Quality Ada Compilers
Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986
The Relative Strength of K-Density
Parallelism Issues in Multi-Style Computers
Error Recovery and Correction - An Introduction to the Literature
Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions
Concurrency and Hardware Design, Advances in Petri Nets
Advanced Topics in Automated Deduction
Foundations of Denotational Semantics
Testing Equivalences for Event Structures
Operational Semantics and Program Equivalence
Cellular Spectrum Efficiency of a Joint Detection C/TDMA Mobile Radio System
Interconnection Networks for Massively Parallel Computer Systems
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Word Problem for Thue Systems with a Few Relations
Multiple Access Communications Using Combinatorial Designs
Contemporary Block Ciphers
Place or Transition Petri Nets
Building a Bridge between Distributed Systems Theory and Commercial Practice
Some Aspects of Knowledge Engineering
Lattice Paths and Determinants
Bayesian Inference: An Introduction to Principles and Practice in Machine Learning
Codes over Z 4
An Introduction to HPF
Predicate/Transition Nets
Parallel programming: an axiomatic approach
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Dissecting Distributed Computations
An Automatic Knowledge Acquisition Tool
Experiments in Block-structured GOTO Modelling: exits vs. Continuations
Communicating Process Architecture: Transputers and Occam
Introduction to Rewriting
Modular Program Construction Using Abstractions
Using the CDL Compiler-Compiler
Naming and Binding of Objects
RACE-II Advanced TDMA Mobile Access Project - An Approach for UMTS
Perspective on microcomputers
DDC Delta Driven Computer - a Parallel Machine for Symbolic Processing
Stochastic Nets and Performance Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Enhancing Replica Management Services to Cope with Group Failures
Dynamic System Simulation with Qualitative Differential Equations
Cellular Neural Networks - A Tutorial on Programmable Nonlinear Dynamics in Space
Petri Nets and Production Systems
Topology-Aware Algorithms for Large-Scale Communication
Monads and Effects
Dijkstras Predicate Transformers & Smyth's Power Domaine
Object Petri Nets: Using the Nets-within-Nets Paradigm
ISO-OSI Security Architecture
Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987
Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986
Function Decomposition in Machine Learning
Monte Carlo Methods for Absolute Beginners
Performance Analysis of Asynchronous Circuits Using Markov Chains
Data Analysis and Uncertainty Processing
Key Management Techniques
Operating Systems, An Advanced Course - Introduction
Simulation of GSM Data Channels in a Safety Critical Railway Environment
Simplicity Criteria for Dynamical Systems
Responsive Protocols for Distributed Multimedia Applications
The programming language concurrent pascal
Some Extensions of Rewriting
Modelling and Control with Modules of Signal Nets
Run-Time Storage Management
Some Notes on Applied Mathematics for Machine Learning
On the Impact of Academic Distributed Systems Research on Industrial Practice
Database Replication Based on Group Communication: Implementation Issues
Application of Coloured Petri Nets in System Development
A Bit-Serial CMOS Digital IF-Filter for Mobile Radio Using an On-Chip Clock
Decidability and Complexity of Petri Net Problems - An Introduction
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras
Historical Remarks on Compiler Construction
Hebbian Unlearning
Pre- and Post-processing in Machine Learning and Data Mining
Motivations, Objectives and Characterization of Distributed Systems
System Support for Pervasive Applications
Behaviour of Elementary Net Systems
Formal Foundation for Specification and Verification
"Blob" Analysis of Biomedical Image Sequences - A Model-Based and an Inductive Approach
Mapping Discounted and Undiscounted Markov Decision Problems onto Hopfield Neural Networks
Certain Generalizations on the Slotted Collision Channel Without Feedback
Monolithic Integration of a Spread-Spectrum Transmitter and Receiver Front End for Wireless LAN Applications
Performance of Dynamic Feedback Power Control in a TDMA Radio System
Scaling Optimistic Replication
Concatenated Coding Scheme for Reliable Data Transmission in CDMA Cellular Systems
Fundamental Mechanisms in Machine Learning and Inductive Inference
Introduction to Bidirectional Transformations
Multitone Spread Spectrum Communication Systems in a Multipath Rician Fading Channel
Scheduling under Uncertainty: Bounding the Makespan Distribution
Principles of High-Level Net Theory
FlexiNet: A Flexible, Component-Oriented Middleware System
Implementing Data Parallel Programs on Commodity Clusters
Power Control on the Forward Link in Cellular CDMA
Generic Haskell: Practice and Theory
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Understanding Programming Language Concepts Via Operational Semantics
Support Vector Machines: Theory and Applications
State of the Art in Compiling HPF
Compiler Generation from Denotational Semantics
Machine Learning in Medical Applications
Unconditional Security in Cryptography
Ethernet, Pup and Violet
Towards a Parallel Architecture for Functional Languages
Template-Based Hand Detection and Tracking
Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings
Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in Texts
The Join Calculus: A Language for Distributed Mobile Programming
A 50 Mbit/s Optical Wireless LAN Link Using Novel Optical and Electronic Enabling Technologies
Computer Supported Cooperative Work and Petri Nets
An Introduction to Pattern Classification
Real-Time Protocols
Recent Developments in the Design of Conventional Cryptographic Algorithms
Contextual Constraints
Ordering vs Timeliness: Two Facets of Consistency?
Current Status of the SUIF Research Project
The Application of Reason Maintenance Systems in Planning and Scheduling
Microcomputer System Design, An Advanced Course, Trinity College Dublin, Ireland, June 1981
Automatic Groups and String Rewriting
Deploying Distributed Objects on the Internet
Hardware Issues
COSY: Its Relation to Nets and CSP
Standardization of Cryptographic Techniques
The Computational Support of Scientific Discovery
Dynamic Lookup Networks
Computing with Real Numbers
Atomic Transactions
Designing Algorithms for Dependent Process Failures
Performance of Adaptive Equalization in Typical Indoor Environments Including Non-Linear Power Amplifiers
Programming Partition-Aware Network Applications
Neural Coding - A Theoretical Vista of Mechanisms, Techniques, and Applications
Relationship Between Definition and Implementation of a Language
On the Role of Software Reliability in Software Engineering
Time in Distributed System Models and Algorithms
Uncertainty and Predictability: Can They Be Reconciled?
The National Software Works (NSW)
On the Structure of Application Programs
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems
Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979
Phase-Correcting Filter for Sub-optimal Equalizers
Link Level