yusuke1997/dblp-id-title huggingface dataset:
Task graph based system partitioning for multirate integration
Towards introducing just-in-time compilation in a Modelica compiler
Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling
Safe Compositional Equation-based Modeling of Constrained Flow Networks
On the importance of scaling in equation-based modelling
Static Validation of Modelica Models for Language Compliance and Structural Integrity
Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Set-based graph methods for fast equation sorting in large DAE systems
Are differential-algebraic equations the right tool for the object-oriented modeling of physical systems?
Towards utilizing repeating structures for constant time compilation of large Modelica models
Towards a Computer Algebra System with Automatic Differentiation for use with Object-Oriented modelling languages
Modeling with monads: extensible modeling semantics as syntactic sugar
Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems
Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup
A Framework for Licensed Digital Signatures
On a Local Heuristic for a Reverse Multicast Forwarding Game
Packet Marking with Distance Based Probabilities for IP Traceback
A Novel Algorithm for Graded Precision Localization in Wireless Sensor Networks
Just Queueing (JQ): Scheduling Algorithm for the Internet
Securing Internet Protocol (IP) Storage: A Case Study
Crowd Management with RFID and Wireless Technologies
An Energy-Conserving Topology Maintenance Algorithm for MANETs
Perceptual Features Based Isolated Digit and Continuous Speech Recognition Using Iterative Clustering Approach
A Pascal Graph Property and Computer Network Topology
The FN Quadratic Marking/Dropping Probability Function
Energy Efficient Wireless Sensor MAC Protocol for Collision Avoidance
Performance Study of Large Block FEC with Drop Tail for Video Streaming over the Internet
Service Coverage Bounds Through Efficient Load Approximation in UMTS Network Planning
A Genetic Algorithm Based Oblivious Image Watermarking Scheme Using Singular Value Decomposition (SVD)
Analysis and Proposal of Wireless Mesh Network's Routing Metric for WBAN
An Analytical Model of Multi-service Call Admission Control in Next Generation Wireless Overlay Networks
Vertical Handoff in Heterogeneous Wireless Mobile Networks
Neural Network Based Energy Efficient Clustering and Routing in Wireless Sensor Networks
AMOBIROUTE: An Advanced Mobility Based Ad Hoc Routing Protocol for Mobile Ad Hoc Networks
A Scheme for the Design and Implementation of a Distributed IDS
Multicrypt: A Provably Secure Encryption Scheme for Multicast Communication
Secure Key Exchange and Encryption Mechanism for Ad Hoc Networks
Tree-Like Peer-to-Peer Symmetric Key Management in Mobile Ad Hoc Network
Node Mobility Support Scheme Between the Mobile Network and PMIPv6 Networks
On-body Packet Routing Algorithms for Body Sensor Networks
A Self-Adjustable Rate Control in Wireless Body Area Networks
Fault Analysis of Security Policy Implementations in Enterprise Networks
On Some Sufficient Conditions for Distributed Quality-of-Service Support in Wireless Networks
An Agent Based Security Framework for Protecting Routing Layer Operations in MANET
Posture-Predictive Power Control in Body Sensor Networks Using Linear-Quadratic Gaussian Control
A Middleware Architectural framework for Vehicular Safety over VANET (InVANET)
Performance of Dominating Sets in AODV Routing Protocol for MANETs
A Graph Based Approach to Supporting Reconfiguration in Wireless Sensor Networks
Energy Based Quantization for Image Compression Using Contourlet Transform
Impact of Sink Mobility on Network Performance in Wireless Sensor Networks
iMeasure Security (iMS): A Novel Framework for Security Quantification
An Approach for Security Assessment of Network Configurations Using Attack Graph
Cricket/Mica2 Based Discrete Event Simulator for WiHoc Ver.1.0 Localization Analysis
Efficient Power-Aware Packet Scheduling for Multiantenna Packet Radio Systems
High Performance Image Steganalysis Through Stego Sensitive Feature Selection Using MBEGA
Analysis of Hierarchical Mobile IP Based Fast Mobility Management Schemes
PhishNet: Enhancing the Security Aspect of IMS Users
Anonymous but Traceable IP Address-Based Communication System
Performance Improvement of Wireless Sensor Networks Using Layered Space Time Codes
Multiple Mobile Routers Based Seamless Handover Scheme for Next Generation Heterogeneous Networks
Random Key Graphs
End-to-End Network Delay-Constrained for QoS Multicast Routing
A Status Monitoring System Design/Implementation for Home Appliances Controlled by Home Server
An Attack Vector for Deception Through Persuasion Used by Hackers and Crakers
Performance Evaluation of ADV with AODV for Mobile Ad-hoc Networks
Opportunistic Auto-Adaptive Dissemination in Vehicular Ad-hoc Networks
Performance Analysis of MANET under Blackhole Attack
Enhancing QoS and QoE in IMS Enabled Next Generation Networks
First International Conference on Networks and Communications, NetCoM 2009, Chennai, India, December 27-29, 2009
Accuracy of 3D Location Computation in GSM Through NS2
Simulation Based Performance Comparison of Community Model, GFMM, RPGM, Manhattan Model and RWP-SS Mobility Models in MANET
Supporting Negative Authorization in Spatiotemporal Role Based Access Control
Fuzzy Switching Controller for the Security in 802.11 Networks
Intelligent Clustering in Wireless Sensor Networks
An Efficient Routing Protocol Based on Position Information in Mobile Wireless Body Area Sensor Networks
Semiring Pruning for Information Dissemination in Mobile Ad Hoc Networks
K Bipartite Partitioning Algorithm for Channel Allocation Problem in Wireless Mesh Networks
Cross-Layer Interference Avoidance MAC Protocol for Dense Wireless Sensor Networks
Time Domain Equalization Technique Using RAKE-MMSE Receivers for High Data Rate UWB Communication System
A Scheduling Policy for Battery Management in Mobile Devices
Vulnerabilities in Some Recently Proposed RFID Ownership Transfer Protocols
Galaxia: A Semi-decentralized System for Implementing Secure-Group P2P Networks
Secure Mobile Multicast Handoff Mechanisms Using a Time-Limited Key
Anomaly Behavior Analysis for Web Page Inspection
An Improved Collaborative Recommender System
"Reminder: please update your details": Phishing Trends
Fairness Strategy and Scheduling Algorithm for IEEE 802.16 Wireless Access Systems
Agent Based Web Services with RuleML for Network Management
An Alternative Approach to Find the Fermat Point of a Polygonal Geographic Region for Energy Efficient Geocast Routing Protocols: Global Minima Scheme
MSTBBN: M-way Search Tree Based Base Station to Node Communication Protocol for Wireless Sensor Networks
An Improved Method of Detecting Spoofed Attack in Wireless LAN
Comparative Study of Various Cooling Schedules for Location Area Planning in Cellular Networks Using Simulated Annealing
A Handoff Management Scheme for Mobile Station in Wireless Body Area Mesh Networks
A Practical Approach for Planning WLAN Deployment under 3G Cellular Network
Constituent Structure Sets I
Tree Transformations and Dependencies
Why Letter Substitution Puzzles are Not Hard to Solve: A Case Study in Entropy and Probabilistic Search-Complexity
Introducing Structure into Neural Network-Based Semantic Models
Extracting Forbidden Factors from Regular Stringsets
Investigating Connectivity and Consistency Criteria for Phrase Pair Extraction in Statistical Machine Translation
Phonological Interpretation into Preordered Algebras
The Frobenius Anatomy of Relative Pronouns
A Refined Notion of Memory Usage for Minimalist Parsing
A Co-inductive Language and Truth Degrees
Almost All Complex Quantifiers Are Simple
A Monotonicity Calculus and Its Completeness
Regular Growth Automata: Properties of a Class of Finitely Induced Infinite Machines
Proceedings of the 13th Meeting on the Mathematics of Language, MoL 2013, Sofia, Bulgaria, August 9, 2013
Canonical Context-Free Grammars and Strong Learning: Two Approaches
How to Choose Successful Losers in Error-Driven Phonotactic Learning
General Perspective on Distributionally Learnable Classes
Output Strictly Local Functions
Creation Myths of Generative Grammar and the Mathematics of Syntactic Structures
BE Is Not the Unique Homomorphism That Makes the Partee Triangle Commute
Intersecting Adjectives in Syllogistic Logic
Learning Subregular Classes of Languages with Factored Deterministic Automata
Structure Learning in Weighted Languages
On Languages Piecewise Testable in the Strict Sense
What Is the Basic Semantic Unit of Chinese Language? A Computational Approach Based on Topic Models
On Type Coercion in Compositional and Lexical Semantics
A Synopsis of Morphoid Type Theory
Syntactic Polygraphs. A Formalism Extending Both Constituency and Dependency
Abstract Categorial Parsing as Linear Logic Programming
A Formal Foundation for A and A-bar Movement
Latent-Variable PCFGs: Background and Applications
Relational Semantics for the Lambek-Grishin Calculus
Some Interdefinability Results for Syntactic Constraint Classes
Graph Transductions and Typological Gaps in Morphological Paradigms
Distributions on Minimalist Grammar Derivations
A Note on the Complexity of Abstract Categorial Grammars
Topology of Language Classes
A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus
Insertion Minimalist Grammars: Eliminating Redundancies between Merge and Move
Deriving Syntactic Properties of Arguments and Adjuncts from Neo-Davidsonian Semantics
The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Conjunctive Categorial Grammars
A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object
A Datalog Recognizer for Almost Affine λ-CFGs
Invariance Properties of Quantifiers and Multiagent Information Exchange
Segmenting Temporal Intervals for Tense and Aspect
On Monadic Second-Order Theories of Multidominance Structures
On the Logical Complexity of Autosegmental Representations
The Algebra of Lexical Semantics
The Mathematics of Language, 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Dependency Structures Derived from Minimalist Grammars
LC Graphs for the Lambek Calculus with Product
Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power
Deforesting Logical Form
A Concatenation Operation to Derive Autosegmental Graphs
Count-Invariance Including Exponentials
Proceedings of the 15th Meeting on the Mathematics of Language, MOL 2017, London, UK, July 13-14, 2017
Lexical Semantics and Model Theory: Together at Last?
Proof-Theoretic Semantics for a Natural Language Fragment
Sortal Equivalence of Bare Grammars
A Language Theoretic Approach to Syntactic Structure
(Re)introducing Regular Graph Languages
Vowel Harmony and Subsequentiality
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars
Order and Optionality: Minimalist Grammars with Adjunction
Proceedings of the 14th Meeting on the Mathematics of Language, MoL 2015, Chicago, IL, USA, July 25-26, 2015
On the Probability Distribution of Typological Frequencies
Without Remnant Movement, MGs Are Context-Free
The Generative Power of Probabilistic and Weighted Context-Free Grammars
DAG Automata for Meaning Representation
How Many Stemmata with Root Degree k?
Grammars and Topic Models
Event Semantics and Abstract Categorial Grammar
On the Parameterized Complexity of Linear Context-Free Rewriting Systems
Approximate Bit Vectors for Fast Unification
Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers
Typeful Normalization by Evaluation
Working with Mathematical Structures in Type Theory
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic
Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
On Constructive Cut Admissibility in Deduction Modulo
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators
Constructive Substitutes for Kőnig's Lemma
Monad Translating Inductive and Coinductive Types
Constructive Type Classes in Isabelle
A Finite First-Order Presentation of Set Theory
Classical Natural Deduction from Truth Tables
Data Types with Symmetries via Action Containers
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
Categorical Models of Subtyping
On Extensibility of Proof Checkers
Investigating Streamless Sets
A Declarative Language for the Coq Proof Assistant
Testing versus proving in climate impact research
Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
The Münchhausen Method in Type Theory
Memory Management: An Abstract Formulation of Incremental Tracing
A Core Calculus of Higher-Order Mixins and Classes
A Finite First-Order Theory of Classes
On Isomorphism of Dependent Products in a Typed Logical Framework
Algorithms for Equality and Unification in the Presence of Notational Definitions
Two Applications of Logic Programming to Coq
For Finitary Induction-Induction, Induction Is Enough
Restricted Positive Quantification Is Not Elementary
A Modular Hierarchy of Logical Frameworks
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules
The General Universal Property of the Propositional Truncation
30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024
A Content Based Mathematical Search Engine: Whelp
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar)
Closure Under Alpha-Conversion
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022
27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021
An Implementation of Type: Type
Infinitary Rewriting Coinductively
Context-Relative Syntactic Categories and the Formalization of Mathematical Text
A Hybrid Linear Logic for Constrained Transition Systems
Covering Spaces in Homotopy Type Theory
A Tour with Constructive Real Numbers
Surreal Numbers in Coq
Coherence for Monoidal Groupoids in HoTT
Machine Deduction
Front Matter, Table of Contents, Preface, Externqal Reviewers
A Proof of Weak Termination of Typed lambda-sigma-Calculi
Developing Certified Programs in the System Coq - The Program Tactic
Structured Proofs in Isar/HOL
Induction and Co-induction in Sequent Calculus
Algorithmic Equality in Heyting Arithmetic Modulo
A Two-Level Approach Towards Lean Proof-Checking
I/Q Automata in Isabelle/HOL
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme
Type Theory and the Informal Language of Mathematics
Logic of Refinement Types
Formalized Metatheory with Terms Represented by an Indexed Family of Types
An Extensional Kleene Realizability Semantics for the Minimalist Foundation
Quantitative Polynomial Functors
A Co-inductive Approach to Real Numbers
An Intuitionistic Analysis of Size-change Termination
Simulating Large Eliminations in Cedille
First Order Marked Types
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
Formalisation of Dependent Type Theory: The Example of CaTT
Java as a Functional Programming Language
On Relating Type Theories and Set Theories
On Constructive Existence
The Internal Type Theory of a Heyting Pretopos
Type Inference for a Polynomial Lambda Calculus
Type Theory with Explicit Universe Polymorphism
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
Generalization in Type Theory Based Proof Assistants
A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development
The Rooster and the Syntactic Bracket
From Cubes to Twisted Cubes via Graph Morphisms in Type Theory
Program Extraction in Simply-Typed Higher Order Logic
A Modal Lambda Calculus with Iteration and Case Constructs
Verification of the Redecoration Algorithm for Triangular Matrices
A Simpler Undecidability Proof for System F Inhabitation
Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts
Making Isabelle Content Accessible in Knowledge Representation Formats
A Shallow Embedding of Pure Type Systems into First-Order Logic
Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts
Modular Structures as Dependent Types in Isabelle
Solving Two Problems in General Topology Via Types
Mathematical Quotients and Quotient Types in Coq
Consistent Ultrafinitist Logic
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers
A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle
(Co-)Iteration for Higher-Order Nested Datatypes
Merging Procedural and Declarative Proof
A Succinct Formalization of the Completeness of First-Order Logic
Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory
An Application of Constructive Completeness
19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013
A Constructive Formalization of the Fundamental Theorem of Calculus
Realizability at Work: Separating Two Constructive Notions of Finiteness
Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory
Complexity of Cubical Cofibration Logics I: coNP-Complete Examples
Conjunctive Types and SKInT
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
A Univalent Formalization of Constructive Affine Schemes
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
Dialectica Categories and Games with Bidding
Optimized Encodings of Fragments of Type Theory in First Order Logic
Verification of the Interface of a Small Proof System in Coq
A Reflection Principle for Potential Infinite Models of Type Theory
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory
Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract
On Subtyping in Type Theories with Canonical Objects
Introduction to PAF!, a Proof Assistant for ML Programs Verification
Towards a Cubical Type Theory without an Interval
Synthetic Completeness for a Terminating Seligman-Style Tableau System
A Certified Distributed Security Logic for Authorizing Code
Two Behavioural Lambda Models
Constructive Cut Elimination in Geometric Logic
First-Order Reasoning in the Calculus of Inductive Constructions
Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers
Decomposing the Univalence Axiom
Monadic Translation of Intuitionistic Sequent Calculus
Defining Trace Semantics for CSP-Agda
Semantics for Abstract Clauses
Communication Contexts: a Pragmatic Approach to Information Exchange
Constrained Polymorphic Types for a Calculus with Name Variables
On the Fair Termination of Client-Server Sessions
Eta-Equivalence in Core Dependent Haskell
Internal Type Theory
29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023
{mitten}: A Flexible Multimodal Proof Assistant
Higher-Order Linear Ramified Recurrence
A new approach to the semantics of model diagrams
The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics
Inductive Families Need Not Store Their Indices
PML2: Integrated Program Verification in ML
On the Structure of Classical Realizability Models of ZF
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus
Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers
Conservativity of Equality Reflection over Intensional Type Theory
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Syntactic Categories in the Language of Mathematics
Update Monads: Cointerpreting Directed Containers
Martin Hofmann's Case for Non-Strictly Positive Data Types
About the Formalization of Some Results by Chebyshev in Number Theory
Proving Infinitary Normalization
Proving a Real Time Algorithm for ATM in Coq
A Kripke-Style Model for the Admissibility of Structural Rules
An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol
About Effective Quotients in Constructive Type Theory
Using Theory Morphisms for Implementing Formal Methods Tools
Effective Kan Fibrations for W-Types in Homotopy Type Theory
Detecting and Removing Dead-Code using Rank 2 Intersection
General Recursion in Type Theory
Subset Coercions in Coq
Checking Algorithms for Pure Type Systems
The ALF Proof Editor and Its Proof Engine
Pi-Ware: Hardware Description and Verification in Agda
Definitional Extension in Type Theory
Inverting Inductively Defined Relations in LEGO
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts
Univalent Monoidal Categories
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
A Generic Normalisation Proof for Pure Type Systems
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes
Implicit Coercions in Type Systems
Towards Limit Computable Mathematics
A Unifying Approach to Recursive and Co-recursive Definitions
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction
26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020
In the Search of a Naive Type Theory
The Not So Simple Proof-Irrelevant Model of CC
22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016
The Three Gap Theorem (Steinhaus Conjecture)
Efficient Type Checking for Path Polymorphism
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom
Towards a Certified Reference Monitor of the Android 10 Permission System
Coercions in Hindley-Milner Systems
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types
A New Elimination Rule for the Calculus of Inductive Constructions
Formalising Formulas-as-Types-as-Objects
Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018
Dependently Sorted Logic
A Quantitative Understanding of Pattern Matching
Modules in Coq Are and Will Be Correct
On Normalization by Evaluation for Object Calculi
A Uniform and Certified Approach for Two Static Analyses
A Few Constructions on Constructors
Formalized Proof Systems for Propositional Logic
On Dynamic Lifting and Effect Typing in Circuit Description Languages
Normalization by Evaluation for Typed Weak lambda-Reduction
Characterising Strongly Normalising Intuitionistic Sequent Terms
Classification of Covering Spaces and Canonical Change of Basepoint
Proving Strong Normalization of CC by Modifying Realizability Semantics