Joram Hirschfeld

Available identifiers

zbMath Open hirshfeld.yoramWikidataQ102121466 ScholiaQ102121466MaRDI QIDQ1216296

List of research outcomes

Publication	Date of Publication	Type
The probability nesting game	2013-08-15	Paper
Continuous time temporal logic with counting	2012-05-24	Paper
Promptness in ω-Regular Automata	2010-10-04	Paper
Meadows and the equational specification of division	2009-03-25	Paper
Decidable metric logics	2009-02-03	Paper
Skew Meadows	2009-01-07	Paper
Fields, Meadows and Abstract Data Types	2008-03-25	Paper
Expressiveness of Metric modalities for continuous time	2007-10-11	Paper
An Expressive Temporal Logic for Real Time	2007-09-05	Paper
Expressiveness of Metric Modalities for Continuous Time	2007-05-02	Paper
Timer formulas and decidable metric temporal logic	2005-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4824483	2004-11-01	Paper
Future temporal logic needs infinitely many modalities	2004-08-19	Paper
Pushdown automata, multiset automata, and Petri nets	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4525284	2001-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4945224	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4938637	2000-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4938638	2000-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4222868	1998-12-20	Paper
A polynomial algorithm for deciding bisimilarity of normed context-free processes	1997-02-27	Paper
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes	1996-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4874651	1996-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4202941	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3982059	1992-06-26	Paper
The Nonstandard Treatment of Hilbert's Fifth Problem	1990-01-01	Paper
Nonstandard combinatorics	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3833596	1989-01-01	Paper
A lower bound for Ramsey's theorem	1980-01-01	Paper
Finite forcing, existential types and complete types	1980-01-01	Paper
Generalized ultrapowers	1980-01-01	Paper
Examples in the theory of existential completeness	1978-01-01	Paper
Non standard analysis and the compactification of groups	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3861362	1976-01-01	Paper
Forcing, arithmetic, division rings	1975-01-01	Paper
Models of arithmetic and recursive functions	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4078015	1975-01-01	Paper
The Model Companion of ZF	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4767317	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677484	1972-01-01	Paper
Lectures on non-standard analysis	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joram Hirschfeld